Jorge Andres Perez Parra
AuthID: R-001-WNN
31
TITLE: Towards a practical model of reactive communication-centric software
AUTHORS: Jaime Arias; Mauricio Cano; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: CEUR Workshop Proceedings, VOLUME: 1720
AUTHORS: Jaime Arias; Mauricio Cano; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: CEUR Workshop Proceedings, VOLUME: 1720
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID32
TITLE: The challenge of typed expressiveness in concurrency
AUTHORS: Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9688
AUTHORS: Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9688
33
TITLE: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID34
TITLE: On the relative expressiveness of higher-order session processes
AUTHORS: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9632
AUTHORS: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9632
35
TITLE: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types
36
TITLE: Event-based run-time adaptation in communication-centric systems
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
AUTHORS: Cinzia Di Giusto; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
37
TITLE: Self-adaptation and secure information flow in multiparty communications
AUTHORS: Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
AUTHORS: Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
38
TITLE: Characteristic bisimulation for higher-order session processes
AUTHORS: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: Acta Informatica, VOLUME: 54, ISSUE: 3
AUTHORS: Dimitrios Kouzapas; Jorge A Pérez; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: Acta Informatica, VOLUME: 54, ISSUE: 3
39
TITLE: Declarative interpretations of session-based concurrency
AUTHORS: Cano, M; Rueda, C; López, HA; Pérez, JA;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Cano, M; Rueda, C; López, HA; Pérez, JA;
PUBLISHED: 2015, SOURCE: 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
TITLE: Combining behavioural types with security analysis
AUTHORS: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 6
AUTHORS: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 6
