José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações a aguardar confirmação

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
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: Introduction to the Special Collection from FACS 2022
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença; José N Oliveira;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
3
TÍTULO: Animating Rebeca
AUTORES: Maurice H ter Beek; José Proença;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science, VOLUME: 15560 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
4
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
INDEXADO EM: Scopus WOS CrossRef: 1
5
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
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP

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

Links Úteis

Ajuda

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