José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 72



1
TÍTULO: Branching pomsets: Design, expressiveness and applications to choreographies
AUTORES: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
2
TÍTULO: Message from the VERDI Workshop Chairs; DSN-W 2024
AUTORES: David Pereira; José Proença ; Behrooz Sangchoolie;
PUBLICAÇÃO: 2024, FONTE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Workshops, Brisbane, Australia, June 24-27, 2024
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTORES: Proença, J ;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, VOLUME: 14485
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
4
TÍTULO: Reactive Graphs in Action
AUTORES: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença ;
PUBLICAÇÃO: 2024, FONTE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: Team Automata: Overview and Roadmap
AUTORES: ter Beek, Maurice H.; Hennicker, Rolf; Proenca, Jose ;
PUBLICAÇÃO: 2024, FONTE: 26th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2024, VOLUME: 14676
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID | DBLP
6
TÍTULO: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTORES: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000
INDEXADO EM: WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
7
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
NO MEU: ORCID | DBLP
8
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
NO MEU: DBLP
9
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
10
TÍTULO: Realisability of Global Models of Interaction
AUTORES: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2023, FONTE: 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023 in Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, VOLUME: 14446
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 1 de 8. Total de resultados: 72.

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

Links Úteis

Ajuda

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