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