Jorge Andres Perez Parra
AuthID: R-001-WNN
11
TÃTULO: Executable Semantics and Type Checking for Session-Based Concurrency in Maude
AUTORES: Carlos Alberto Ramírez Restrepo; Jorge A Pérez;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Rewriting Logic and Its Applications
AUTORES: Carlos Alberto Ramírez Restrepo; Jorge A Pérez;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Rewriting Logic and Its Applications
12
TÃTULO: A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
AUTORES: Dan Frumin; Emanuele D’Osualdo; Bas van den Heuvel; Jorge A Pérez;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 6, NÚMERO: OOPSLA2
AUTORES: Dan Frumin; Emanuele D’Osualdo; Bas van den Heuvel; Jorge A Pérez;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 6, NÚMERO: OOPSLA2
13
TÃTULO: Aquae pluviae et caducae. Drainage and Waterproofing Systems to Avoid Surface Runoff in Augusta Emerita (Merida, Spain) and Mirobriga (Santiago do Cacem, Portugal)
AUTORES: Perez, JA; Felicio, C;
PUBLICAÇÃO: 2021, FONTE: ZEPHYRUS-REVISTA DE PREHISTORIA Y ARQUEOLOGIA, VOLUME: 88
AUTORES: Perez, JA; Felicio, C;
PUBLICAÇÃO: 2021, FONTE: ZEPHYRUS-REVISTA DE PREHISTORIA Y ARQUEOLOGIA, VOLUME: 88
INDEXADO EM: 
WOS
WOS14
TÃTULO: Session-based concurrency, declaratively
AUTORES: Mauricio Cano; Hugo A López; Jorge A Pérez; Camilo Rueda;
PUBLICAÇÃO: 2021, FONTE: Acta Informatica, VOLUME: 59, NÚMERO: 1
AUTORES: Mauricio Cano; Hugo A López; Jorge A Pérez; Camilo Rueda;
PUBLICAÇÃO: 2021, FONTE: Acta Informatica, VOLUME: 59, NÚMERO: 1
15
TÃTULO: Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
AUTORES: Alex C Keizer; Henning Basold; Jorge A Pérez;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science - Programming Languages and Systems
AUTORES: Alex C Keizer; Henning Basold; Jorge A Pérez;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science - Programming Languages and Systems
16
TÃTULO: On primitives for compensation handling as adaptable processes
AUTORES: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLICAÇÃO: 2021, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 121
AUTORES: Jovana Dedeić; Jovanka Pantović; Jorge A Pérez;
PUBLICAÇÃO: 2021, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 121
17
TÃTULO: Reversible Session-Based Concurrency in Haskell
AUTORES: Folkert de Vries; Jorge A Pérez;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science - Trends in Functional Programming
AUTORES: Folkert de Vries; Jorge A Pérez;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science - Trends in Functional Programming
18
TÃTULO: Relating Process Languages for Security and Communication Correctness (Extended Abstract)
AUTORES: Daniele Nantes; Jorge A Pérez;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science - Formal Techniques for Distributed Objects, Components, and Systems
AUTORES: Daniele Nantes; Jorge A Pérez;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science - Formal Techniques for Distributed Objects, Components, and Systems
19
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 CrossRef20
TÃTULO: Linearity, Control Effects, and Behavioral Types
AUTORES: Luís Caires ; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: ESOP, VOLUME: 10201 LNCS
AUTORES: Luís Caires ; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: ESOP, VOLUME: 10201 LNCS
