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