José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 87



1
TÍTULO: Preface
AUTORES: José Proença ; Raul Fervari; Manuel António Martins ; Reinhard Kahle; Graham Pluck;
PUBLICAÇÃO: 2026, FONTE: 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
INDEXADO EM: Scopus
2
3
TÍTULO: An adequate while-language for stochastic hybrid computation
AUTORES: Neves, Renato ; Proenca, Jose ; Souza, Juliana;
PUBLICAÇÃO: 2025, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
4
TÍTULO: Analyzing Many Simulations of Hybrid Programs in Lince  Full Text
AUTORES: Arrieta, Reydel; Proenca, Jose ; Yomsi, Patrick Meumeu;
PUBLICAÇÃO: 2025, FONTE: 7th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2511.14436, NÚMERO: 436
INDEXADO EM: Scopus WOS DBLP
5
TÍTULO: Animating Rebeca
AUTORES: Maurice H ter Beek; José Proença ;
PUBLICAÇÃO: 2025, FONTE: Rebeca for Actor Analysis in Action, VOLUME: 15560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
6
TÍTULO: CoMPSeT: A Framework for Comparing Multiparty Session Types  Full Text
AUTORES: Ribeiro, Telmo; Proenca, Jose ; Florido, Mario ;
PUBLICAÇÃO: 2025, FONTE: 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, NÚMERO: 433
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
7
TÍTULO: Correction to: RebeCaos
AUTORES: José Proença ; Maurice H ter Beek;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Coordination Models and Languages
INDEXADO EM: CrossRef
NO MEU: ORCID
8
TÍTULO: Introduction to the Special Collection from FACS 2022  Full Text
AUTORES: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
9
TÍTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXADO EM: Scopus WOS DBLP
10
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
Página 1 de 9. Total de resultados: 87.

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

Links Úteis

Ajuda

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