José Miguel Paiva Proença
AuthID: R-006-JRF
1
TITLE: CoMPSeT: A Framework for Comparing Multiparty Session Types Full Text
AUTHORS: Ribeiro, Telmo; Proenca, Jose; Florido, Mario ;
PUBLISHED: 2025, SOURCE: 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, ISSUE: 433
AUTHORS: Ribeiro, Telmo; Proenca, Jose; Florido, Mario ;
PUBLISHED: 2025, SOURCE: 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, ISSUE: 433
2
TITLE: Analyzing Many Simulations of Hybrid Programs in Lince Full Text
AUTHORS: Arrieta, Reydel; Proenca, Jose; Yomsi, Patrick Meumeu;
PUBLISHED: 2025, SOURCE: 7th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2511.14436, ISSUE: 436
AUTHORS: Arrieta, Reydel; Proenca, Jose; Yomsi, Patrick Meumeu;
PUBLISHED: 2025, SOURCE: 7th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2511.14436, ISSUE: 436
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP