José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 83



1
TITLE: An Adequate While-Language for Stochastic Hybrid Computation
AUTHORS: Renato Neves ; José Proença ; Juliana Souza;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.15913
INDEXED IN: DBLP
IN MY: DBLP
2
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
3
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
IN MY: ORCID | DBLP
4
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
5
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
6
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
7
TITLE: RebeCaos Artefact
AUTHORS: José Proença ; Maurice H ter Beek;
PUBLISHED: 2025
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: The CAOS framework for Scala: Computer-aided design of SOS
AUTHORS: Proenca, Jose ; Edixhoven, Luc;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
9
TITLE: Branching pomsets: Design, expressiveness and applications to choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
10
TITLE: MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
AUTHORS: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar ;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
Page 1 of 9. Total results: 83.

footer slogan

Useful Links

Get Help

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