José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 86



21
TÍTULO: Caos: A Reusable Scala Web Animator of Operational Semantics
AUTORES: Proenca, Jose ; Edixhoven, Luc;
PUBLICAÇÃO: 2023, FONTE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
22
TÍTULO: Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AUTORES: José Proença ; Luc Edixhoven;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.14901
INDEXADO EM: DBLP
23
TÍTULO: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTORES: José Proença ;
PUBLICAÇÃO: 2023, FONTE: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, VOLUME: 14485
INDEXADO EM: DBLP
NO MEU: DBLP
24
TÍTULO: Realisability of Global Models of Interaction
AUTORES: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2023, FONTE: ICTAC, VOLUME: 14446 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
25
TÍTULO: Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
AUTORES: Giann Spilere Nandi; David Pereira ; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLICAÇÃO: 2023, FONTE: Open Research Europe, VOLUME: 3
INDEXADO EM: CrossRef: 2
NO MEU: ORCID
26
TÍTULO: Spreadsheet-based Configuration of Families of Real-Time Specifications
AUTORES: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLICAÇÃO: 2023, FONTE: TiCSA@ETAPS, VOLUME: 392
INDEXADO EM: Scopus DBLP
27
TÍTULO: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: ECOOP, VOLUME: 222
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
28
TÍTULO: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTORES: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLICAÇÃO: 2022, FONTE: Dagstuhl Artifacts Ser., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: ORCID
29
TÍTULO: Branching Pomsets for Choreographies
AUTORES: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Cledou, Guillermina ;
PUBLICAÇÃO: 2022, FONTE: 15th Interaction and Concurrency Experience in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 365, NÚMERO: 365
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
30
TÍTULO: Can we Communicate? Using Dynamic Logic to Verify Team Automata
AUTORES: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, VOLUME: 14000 LNCS
INDEXADO EM: Scopus DBLP
Página 3 de 9. Total de resultados: 86.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service