José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 86



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: 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
5
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
6
TITLE: Introduction to the Special Collection from FACS 2022
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
7
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
8
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
9
TITLE: RebeCaos
AUTHORS: Proenca, Jose ; ter Beek, Maurice H.;
PUBLISHED: 2025, SOURCE: 27th International Conference on Coordination Models and Languages-COORDINATION-Annual in COORDINATION MODELS AND LANGUAGES, COORDINATION 2025, VOLUME: 15731
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
10
TITLE: RebeCaos Artefact
AUTHORS: José Proença ; Maurice H ter Beek;
PUBLISHED: 2025
INDEXED IN: DBLP
Page 1 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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