Jorge Andres Perez Parra
AuthID: R-001-WNN
21
TÃTULO: Bioactivity, mechanical properties and drug delivery ability of bioactive glass-ceramic scaffolds coated with a natural-derived polymer Full Text
AUTORES: Araújo, M; Viveiros, R; Philippart, A; Miola, M; Doumett, S; Baldi, G; Perez, J; Boccaccini, AR; Aguiar Ricardo, A; Verné, E;
PUBLICAÇÃO: 2017, FONTE: Materials Science and Engineering C, VOLUME: 77
AUTORES: Araújo, M; Viveiros, R; Philippart, A; Miola, M; Doumett, S; Baldi, G; Perez, J; Boccaccini, AR; Aguiar Ricardo, A; Verné, E;
PUBLICAÇÃO: 2017, FONTE: Materials Science and Engineering C, VOLUME: 77
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef22
TÃTULO: Linearity, Control Effects, and Behavioral Types
AUTORES: Luís Caires ; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 in Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
AUTORES: Luís Caires ; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 in Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
23
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
24
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
25
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
26
TÃTULO: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTORES: Luis Caires ; Jorge A Perez;
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: Luis Caires ; Jorge A Perez;
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
27
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
28
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
29
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
ORCID30
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
