Jorge Andres Perez Parra
AuthID: R-001-WNN
31
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
ORCID32
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
33
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
ORCID34
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
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 - 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
36
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
37
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
38
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
39
TÃTULO: Declarative interpretations of session-based concurrency
AUTORES: Cano, M; Rueda, C; López, HA; Pérez, JA;
PUBLICAÇÃO: 2015, FONTE: 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 in Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
AUTORES: Cano, M; Rueda, C; López, HA; Pérez, JA;
PUBLICAÇÃO: 2015, FONTE: 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 in Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
40
TÃTULO: Combining behavioural types with security analysis
AUTORES: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 6
AUTORES: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 6
