José Miguel Paiva Proença


AuthID: R-006-JRF

Publications Requiring Validation

1
TITLE: Overview and Roadmap of Team Automata
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.13589
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Introduction to the Special Collection from FACS 2022  Full Text
AUTHORS: Silvia Lizeth Tapia Tarifa; José Proença; Jose Oliveira;
PUBLISHED: 2025, SOURCE: Formal Aspects of Computing, VOLUME: 37, ISSUE: 2
INDEXED IN: CrossRef
IN MY: ORCID
3
TITLE: Animating Rebeca
AUTHORS: Maurice H ter Beek; José Proença;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Rebeca for Actor Analysis in Action
INDEXED IN: CrossRef
IN MY: ORCID
4
TITLE: Reactive Graphs in Action
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool  Full Text
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service