Jorge Andres Perez Parra
AuthID: R-001-WNN
21
TITLE: Bioactivity, mechanical properties and drug delivery ability of bioactive glass-ceramic scaffolds coated with a natural-derived polymer Full Text
AUTHORS: Araújo, M; Viveiros, R; Philippart, A; Miola, M; Doumett, S; Baldi, G; Perez, J; Boccaccini, AR; Aguiar Ricardo, A; Verné, E;
PUBLISHED: 2017, SOURCE: Materials Science and Engineering C, VOLUME: 77
AUTHORS: Araújo, M; Viveiros, R; Philippart, A; Miola, M; Doumett, S; Baldi, G; Perez, J; Boccaccini, AR; Aguiar Ricardo, A; Verné, E;
PUBLISHED: 2017, SOURCE: Materials Science and Engineering C, VOLUME: 77
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef22
TITLE: Linearity, Control Effects, and Behavioral Types
AUTHORS: Luís Caires ; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: 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
AUTHORS: Luís Caires ; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: 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
TITLE: Efficient compensation handling via subjective updates
AUTHORS: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
AUTHORS: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
24
TITLE: Session-based concurrency, reactively
AUTHORS: Mauricio Cano; Jaime Arias; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10321 LNCS
AUTHORS: Mauricio Cano; Jaime Arias; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10321 LNCS
25
TITLE: Reversibility in session-based concurrency: A fresh look
AUTHORS: Claudio Antares Mezzina; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 90
AUTHORS: Claudio Antares Mezzina; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 90
26
TITLE: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTHORS: Luis Caires ; Jorge A Perez;
PUBLISHED: 2016, SOURCE: 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
AUTHORS: Luis Caires ; Jorge A Perez;
PUBLISHED: 2016, SOURCE: 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
TITLE: Dynamic role authorization in multiparty conversations Full Text
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Formal Aspects of Computing, VOLUME: 28, ISSUE: 4
28
TITLE: A typed model for dynamic authorizations Full Text
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
29
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
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID30
TITLE: Reversible sessions using monitors
AUTHORS: Claudio A Mezzina; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 211
AUTHORS: Claudio A Mezzina; Jorge A Pérez;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 211
