Jorge Andres Perez Parra
AuthID: R-001-WNN
1
TITLE: Comparing session type systems derived from linear logic
AUTHORS: Bas van den Heuvel; Jorge A Pérez;
PUBLISHED: 2025, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 142
AUTHORS: Bas van den Heuvel; Jorge A Pérez;
PUBLISHED: 2025, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 142
2
TITLE: Session-based concurrency in Maude: Executable semantics and type checking
AUTHORS: Carlos Alberto Ramírez Restrepo; Juan C Jaramillo; Jorge A Pérez;
PUBLISHED: 2023, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 133
AUTHORS: Carlos Alberto Ramírez Restrepo; Juan C Jaramillo; Jorge A Pérez;
PUBLISHED: 2023, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 133
3
TITLE: Bit-Vector Typestate Analysis
AUTHORS: Alen Arslanagić; Pavle Subotić; Jorge A Pérez;
PUBLISHED: 2023, SOURCE: Formal Aspects of Computing, VOLUME: 35, ISSUE: 3
AUTHORS: Alen Arslanagić; Pavle Subotić; Jorge A Pérez;
PUBLISHED: 2023, SOURCE: Formal Aspects of Computing, VOLUME: 35, ISSUE: 3
4
TITLE: Monitoring Blackbox Implementations of Multiparty Session Protocols
AUTHORS: Bas van den Heuvel; Jorge A Pérez; Rares A Dobre;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Runtime Verification
AUTHORS: Bas van den Heuvel; Jorge A Pérez; Rares A Dobre;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Runtime Verification
5
TITLE: Termination in Concurrency, Revisited
AUTHORS: Joseph W N Paulus; Jorge A Pérez; Daniele Nantes-Sobrinho;
PUBLISHED: 2023, SOURCE: International Symposium on Principles and Practice of Declarative Programming
AUTHORS: Joseph W N Paulus; Jorge A Pérez; Daniele Nantes-Sobrinho;
PUBLISHED: 2023, SOURCE: International Symposium on Principles and Practice of Declarative Programming
6
TITLE: Typed Non-determinism in Functional and Concurrent Calculi
AUTHORS: Bas van den Heuvel; Joseph W N Paulus; Daniele Nantes-Sobrinho; Jorge A Pérez;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Programming Languages and Systems
AUTHORS: Bas van den Heuvel; Joseph W N Paulus; Daniele Nantes-Sobrinho; Jorge A Pérez;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Programming Languages and Systems
7
TITLE: Spontaneous Intracranial Hypotension and Multi-Level Cervical and Lumbar Epidural Blood Patches: A Case Report
AUTHORS: Parra, Andre; Relvas, Flavia; Pereira, Paulo M.; Carrilho, Alexandre;
PUBLISHED: 2022, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 14, ISSUE: 8
AUTHORS: Parra, Andre; Relvas, Flavia; Pereira, Paulo M.; Carrilho, Alexandre;
PUBLISHED: 2022, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 14, ISSUE: 8
INDEXED IN: 
WOS
WOS8
TITLE: Comparing type systems for deadlock freedom
AUTHORS: Ornela Dardha; Jorge A Pérez;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 124
AUTHORS: Ornela Dardha; Jorge A Pérez;
PUBLISHED: 2022, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 124
9
TITLE: A decentralized analysis of multiparty protocols
AUTHORS: Bas van den Heuvel; Jorge A Pérez;
PUBLISHED: 2022, SOURCE: Science of Computer Programming, VOLUME: 222
AUTHORS: Bas van den Heuvel; Jorge A Pérez;
PUBLISHED: 2022, SOURCE: Science of Computer Programming, VOLUME: 222
10
TITLE: Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
AUTHORS: Alex C Keizer; Henning Basold; Jorge A Pérez;
PUBLISHED: 2022, SOURCE: ACM Transactions on Programming Languages and Systems, VOLUME: 44, ISSUE: 3
AUTHORS: Alex C Keizer; Henning Basold; Jorge A Pérez;
PUBLISHED: 2022, SOURCE: ACM Transactions on Programming Languages and Systems, VOLUME: 44, ISSUE: 3
