José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 88



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: Renato Neves ; José Proença ; Juliana Souza;
PUBLISHED: 2025, SOURCE: 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025 in CoRR, VOLUME: abs/2507.15913
INDEXED IN: Scopus 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 - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, VOLUME: 15560
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
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  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
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
IN MY: 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
IN MY: 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 | DBLP
10
TITLE: RebeCaos Artefact
AUTHORS: José Proença ; Maurice H ter Beek;
PUBLISHED: 2025
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 9. Total results: 88.

footer slogan

Useful Links

Get Help

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