José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 87



1
TITLE: Preface
AUTHORS: José Proença ; Raul Fervari; Manuel António Martins ; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Lecture Notes in Computer Science, VOLUME: 15551 LNCS
INDEXED IN: Scopus
2
3
TITLE: An adequate while-language for stochastic hybrid computation
AUTHORS: Neves, Renato ; Proenca, Jose ; Souza, Juliana;
PUBLISHED: 2025, SOURCE: 27th International Symposium on Principles and Practice of Declarative Programming-PPDP in PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2025
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
4
TITLE: Analyzing Many Simulations of Hybrid Programs in Lince  Full Text
AUTHORS: Arrieta, Reydel; Proenca, Jose ; Yomsi, Patrick Meumeu;
PUBLISHED: 2025, SOURCE: 7th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2511.14436, ISSUE: 436
INDEXED IN: Scopus WOS DBLP
5
TITLE: Animating Rebeca
AUTHORS: Maurice H ter Beek; José Proença ;
PUBLISHED: 2025, SOURCE: Rebeca for Actor Analysis in Action, VOLUME: 15560 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
6
TITLE: CoMPSeT: A Framework for Comparing Multiparty Session Types  Full Text
AUTHORS: Ribeiro, Telmo; Proenca, Jose ; Florido, Mario ;
PUBLISHED: 2025, SOURCE: 32nd International Workshop on Expressiveness in Concurrency (EXPRESS) / 22nd Workshop on Structural Operational Semantics (SOS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2510.24205, ISSUE: 433
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
7
TITLE: Correction to: RebeCaos
AUTHORS: José Proença ; Maurice H ter Beek;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Coordination Models and Languages
INDEXED IN: CrossRef
IN MY: ORCID
8
TITLE: Introduction to the Special Collection from FACS 2022  Full Text
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
9
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXED IN: Scopus WOS DBLP
10
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
Page 1 of 9. Total results: 87.

footer slogan

Useful Links

Get Help

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