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: Silvia Lizeth Tapia Tarifa; José Proença; Jose Oliveira;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects of Computing, VOLUME: 37, NÚMERO: 2
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença; Jose Oliveira;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects of Computing, VOLUME: 37, NÚMERO: 2
3
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
4
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
