José Miguel Paiva Proença
AuthID: R-006-JRF
1
TÃTULO: Overview and Roadmap of Team Automata
AUTORES: Maurice H ter Beek; Rolf Hennicker; José Proença;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.13589
AUTORES: Maurice H ter Beek; Rolf Hennicker; José Proença;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2501.13589
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Introduction to the Special Collection from FACS 2022 Full Text
AUTORES: Tarifa, Silvia Lizeth Tapia; Proenca, Jose; Oliveira, Jose ;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 2
AUTORES: Tarifa, Silvia Lizeth Tapia; Proenca, Jose; Oliveira, Jose ;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 2
3
TÃTULO: Animating Rebeca
AUTORES: Maurice H ter Beek; José Proença;
PUBLICAÇÃO: 2025, FONTE: Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, VOLUME: 15560
AUTORES: Maurice H ter Beek; José Proença;
PUBLICAÇÃO: 2025, FONTE: Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, VOLUME: 15560
4
TÃTULO: RebeCaos
AUTORES: José Proença; Maurice H ter Beek;
PUBLICAÇÃO: 2025, FONTE: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 in Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings, VOLUME: 15731
AUTORES: José Proença; Maurice H ter Beek;
PUBLICAÇÃO: 2025, FONTE: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 in Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings, VOLUME: 15731
5
TÃTULO: Reactive Graphs in Action
AUTORES: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
AUTORES: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
6
TÃTULO: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool Full Text
AUTORES: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLICAÇÃO: 2024, FONTE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 411
AUTORES: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLICAÇÃO: 2024, FONTE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 411
