Jorge Andres Perez Parra
AuthID: R-001-WNN
21
TÃTULO: Efficient compensation handling via subjective updates
AUTORES: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
AUTORES: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
22
TÃTULO: Session-based concurrency, reactively
AUTORES: Mauricio Cano; Jaime Arias; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10321 LNCS
AUTORES: Mauricio Cano; Jaime Arias; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10321 LNCS
23
TÃTULO: Reversibility in session-based concurrency: A fresh look
AUTORES: Claudio Antares Mezzina; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 90
AUTORES: Claudio Antares Mezzina; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 90
24
TÃTULO: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTORES: Caires, L ; Pérez, JA;
PUBLICAÇÃO: 2016, FONTE: 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems(FORTE) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), VOLUME: 9688
AUTORES: Caires, L ; Pérez, JA;
PUBLICAÇÃO: 2016, FONTE: 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems(FORTE) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), VOLUME: 9688
25
TÃTULO: Dynamic role authorization in multiparty conversations Full Text
AUTORES: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Formal Aspects of Computing, VOLUME: 28, NÚMERO: 4
AUTORES: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Formal Aspects of Computing, VOLUME: 28, NÚMERO: 4
26
TÃTULO: A typed model for dynamic authorizations Full Text
AUTORES: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
AUTORES: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
27
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
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID28
TÃTULO: Reversible sessions using monitors
AUTORES: Claudio A Mezzina; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 211
AUTORES: Claudio A Mezzina; Jorge A Pérez;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 211
29
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
ORCID30
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
ORCID