José Miguel Paiva Proença
AuthID: R-006-JRF
1
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
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
2
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
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
Scopus WOS DBLP