José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 83



1
TÍTULO: An Adequate While-Language for Stochastic Hybrid Computation
AUTORES: Renato Neves ; José Proença ; Juliana Souza;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.15913
INDEXADO EM: DBLP
NO MEU: DBLP
2
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
3
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 | DBLP
4
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
5
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
6
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
7
TÍTULO: RebeCaos Artefact
AUTORES: José Proença ; Maurice H ter Beek;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: The CAOS framework for Scala: Computer-aided design of SOS
AUTORES: Proenca, Jose ; Edixhoven, Luc;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
9
TÍTULO: Branching pomsets: Design, expressiveness and applications to choreographies
AUTORES: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
10
TÍTULO: MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
AUTORES: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar ;
PUBLICAÇÃO: 2024, FONTE: 22nd IEEE International Conference on Industrial Informatics, INDIN 2024 in 22nd IEEE International Conference on Industrial Informatics, INDIN 2024, Beijing, China, August 18-20, 2024
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
Página 1 de 9. Total de resultados: 83.

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

Links Úteis

Ajuda

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