José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 88



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: Renato Neves ; José Proença ; Juliana Souza;
PUBLICAÇÃO: 2025, FONTE: 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025 in CoRR, VOLUME: abs/2507.15913
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
4
TÍTULO: Animating Rebeca
AUTORES: Maurice H ter Beek; José Proença ;
PUBLICAÇÃO: 2025, FONTE: Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, VOLUME: 15560
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
5
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
6
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
7
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
NO MEU: DBLP
8
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
NO MEU: DBLP
9
TÍTULO: RebeCaos
AUTORES: Proenca, Jose ; ter Beek, Maurice H.;
PUBLICAÇÃO: 2025, FONTE: 27th International Conference on Coordination Models and Languages-COORDINATION-Annual in COORDINATION MODELS AND LANGUAGES, COORDINATION 2025, VOLUME: 15731
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
10
TÍTULO: RebeCaos Artefact
AUTORES: José Proença ; Maurice H ter Beek;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 9. Total de resultados: 88.

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