Jorge Andres Perez Parra
AuthID: R-001-WNN
31
TÃTULO: Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface
AUTORES: César A Muñoz; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 204
AUTORES: César A Muñoz; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 204
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID32
TÃTULO: Reversible semantics in session-based concurrency
AUTORES: Claudio Antares Mezzina; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: CEUR Workshop Proceedings, VOLUME: 1720
AUTORES: Claudio Antares Mezzina; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: CEUR Workshop Proceedings, VOLUME: 1720
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID33
TÃTULO: Towards a practical model of reactive communication-centric software
AUTORES: Jaime Arias; Mauricio Cano; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: CEUR Workshop Proceedings, VOLUME: 1720
AUTORES: Jaime Arias; Mauricio Cano; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: CEUR Workshop Proceedings, VOLUME: 1720
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID34
TÃTULO: The challenge of typed expressiveness in concurrency
AUTORES: Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9688
AUTORES: Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9688
35
TÃTULO: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
AUTORES: Cinzia Di Giusto; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
AUTORES: Cinzia Di Giusto; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID36
TÃTULO: On the relative expressiveness of higher-order session processes
AUTORES: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9632
AUTORES: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9632
37
TÃTULO: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
AUTORES: Cinzia Di Giusto; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types
AUTORES: Cinzia Di Giusto; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types
38
TÃTULO: Event-based run-time adaptation in communication-centric systems
AUTORES: Cinzia Di Giusto; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Formal Aspects of Computing, VOLUME: 28, NÚMERO: 4
AUTORES: Cinzia Di Giusto; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Formal Aspects of Computing, VOLUME: 28, NÚMERO: 4
39
TÃTULO: Self-adaptation and secure information flow in multiparty communications
AUTORES: Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Formal Aspects of Computing, VOLUME: 28, NÚMERO: 4
AUTORES: Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Formal Aspects of Computing, VOLUME: 28, NÚMERO: 4
40
TÃTULO: Characteristic bisimulation for higher-order session processes
AUTORES: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: Acta Informatica, VOLUME: 54, NÚMERO: 3
AUTORES: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: Acta Informatica, VOLUME: 54, NÚMERO: 3
