Jorge A. Pérez

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 97

Top Venues

ACM SIGLOG News

CoRR

J. Log. Algebraic Methods Program.

Inf. Comput.

Publications

Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Around Classical and Intuitionistic Linear Processes. CONCUR (2024)
Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Around Classical and Intuitionistic Linear Processes. CoRR (2024)
Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc
Minimal session types for the π-calculus. Inf. Comput. 297 (2024)
Bas van den Heuvel, Jorge A. Pérez
Comparing Session Type Systems derived from Linear Logic. CoRR (2024)
Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez
Session-based concurrency in Maude: Executable semantics and type checking. J. Log. Algebraic Methods Program. 133 (2023)
Alen Arslanagic, Jorge A. Pérez, Dan Frumin
A Minimal Formulation of Session Types. CoRR (2023)
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
Monitoring Blackbox Implementations of Multiparty Session Protocols. RV (2023)
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Typed Non-determinism in Functional and Concurrent Calculi. APLAS (2023)
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
Termination in Concurrency, Revisited. PPDP (2023)
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
Termination in Concurrency, Revisited. CoRR (2023)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Bit-Vector Typestate Analysis. Formal Aspects Comput. 35 (3) (2023)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). Log. Methods Comput. Sci. 19 (4) (2023)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 9 (3) (2022)
Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda
Session-based concurrency, declaratively. Acta Informatica 59 (1) (2022)
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency. CoRR (2022)
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. WRLA@ETAPS (2022)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Scalable Typestate Analysis using Bit-Vector Machines. CoRR (2022)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Scalable Typestate Analysis for Low-Latency Environments. IFM (2022)
Bas van den Heuvel, Jorge A. Pérez
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version). CoRR (2022)
Bas van den Heuvel, Jorge A. Pérez
A decentralized analysis of multiparty protocols. Sci. Comput. Program. 222 (2022)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 9 (1) (2022)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 9 (2) (2022)
Bas van den Heuvel, Jorge A. Pérez
Asynchronous Functional Sessions: Cyclic and Concurrent. EXPRESS/SOS (2022)
Ornela Dardha, Jorge A. Pérez
Comparing type systems for deadlock freedom. J. Log. Algebraic Methods Program. 124 (2022)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Functions as Processes: The Case of Collapsing Non-determinism. CoRR (2022)
Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez
Minimal Session Types for the π-calculus. PPDP (2021)
Bas van den Heuvel, Jorge A. Pérez
Deadlock Freedom for Asynchronous and Cyclic Process Networks. ICE (2021)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. ESOP (2021)
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
On primitives for compensation handling as adaptable processes. J. Log. Algebraic Methods Program. 121 (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). CoRR (2021)
Claudio Antares Mezzina, Jorge A. Pérez
Causal Consistency for Reversible Multiparty Protocols. Log. Methods Comput. Sci. 17 (4) (2021)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 8 (4) (2021)
Bas van den Heuvel, Jorge A. Pérez
A Decentralized Analysis of Multiparty Protocols. CoRR (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. TYPES (2021)
Bas van den Heuvel, Jorge A. Pérez
Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version). CoRR (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Non-Deterministic Functions as Non-Deterministic Processes. FSCD (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version). CoRR (2021)
Jorge A. Pérez, Simone Tini
Preface to Special Issue: EXPRESS/SOS 2018. Inf. Comput. 281 (2021)
Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez
Minimal Session Types for the π-calculus (Extended Version). CoRR (2021)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 7 (1) (2020)
Mark Soelman, Vasilios Andrikopoulos, Jorge A. Pérez, Vasileios Theodosiadis, Karel Goense, Arne Rutjes
Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains. DAPPS (2020)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 7 (3) (2020)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 7 (2) (2020)
Bas van den Heuvel, Jorge A. Pérez
Session Type Systems based on Linear Logic: Classical versus Intuitionistic. PLACES@ETAPS (2020)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. CoRR (2020)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Pearl). ECOOP (2019)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 6 (4) (2019)
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Domain-Aware Session Types (Extended Version). CoRR (2019)
Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. 29 (1) (2019)
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
Minimal Session Types (Extended Version). CoRR (2019)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
On the relative expressiveness of higher-order session processes. Inf. Comput. 268 (2019)
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Domain-Aware Session Types. CONCUR (2019)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 6 (3) (2019)
Jorge A. Pérez
Conference Reports. ACM SIGLOG News 6 (1) (2019)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 5 (2) (2018)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 5 (3) (2018)
Ornela Dardha, Jorge A. Pérez
Comparing Type Systems for Deadlock-Freedom. CoRR (2018)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 5 (4) (2018)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 5 (1) (2018)
Daniele Nantes, Jorge A. Pérez
Relating Process Languages for Security and Communication Correctness (Extended Abstract). FORTE (2018)
Folkert de Vries, Jorge A. Pérez
Reversible Session-Based Concurrency in Haskell. TFP (2018)
Claudio Antares Mezzina, Jorge A. Pérez
Causally Consistent Reversible Choreographies. CoRR (2017)
Jorge A. Pérez
Report on CWI lectures in honor of Adriaan van Wijngaarden. ACM SIGLOG News 4 (1) (2017)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
Characteristic bisimulation for higher-order session processes. Acta Informatica 54 (3) (2017)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 4 (3) (2017)
Claudio Antares Mezzina, Jorge A. Pérez
Reversibility in session-based concurrency: A fresh look. J. Log. Algebraic Methods Program. 90 (2017)
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
Efficient compensation handling via subjective updates. SAC (2017)
Claudio Antares Mezzina, Jorge A. Pérez
Causally consistent reversible choreographies: a monitors-as-memories approach. PPDP (2017)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 4 (1) (2017)
Mauricio Cano, Jaime Arias, Jorge A. Pérez
Session-Based Concurrency, Reactively. FORTE (2017)
Luís Caires, Jorge A. Pérez
Linearity, Control Effects, and Behavioral Types. ESOP (2017)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 4 (2) (2017)
Jorge A. Pérez
The Challenge of Typed Expressiveness in Concurrency. FORTE (2016)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. 28 (4) (2016)
Luís Caires, Jorge A. Pérez
Multiparty Session Types Within a Canonical Binary Theory, and Beyond. FORTE (2016)
Jorge A. Pérez
Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. ACM SIGLOG News 3 (1) (2016)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28 (4) (2016)
Claudio Antares Mezzina, Jorge A. Pérez
Reversible Sessions Using Monitors. PLACES (2016)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 3 (1) (2016)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
On the Relative Expressiveness of Higher-Order Session Processes. ESOP (2016)
Cinzia Di Giusto, Jorge A. Pérez
Event-based run-time adaptation in communication-centric systems. Formal Aspects Comput. 28 (4) (2016)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 3 (2) (2016)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 3 (4) (2016)
Jorge A. Pérez
Conference reports. ACM SIGLOG News 3 (3) (2016)
Cinzia Di Giusto, Jorge A. Pérez
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. WS-FM (2015)
Ornela Dardha, Jorge A. Pérez
Comparing Deadlock-Free Session Typed Processes. EXPRESS/SOS (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. CoRR (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. CoRR (2015)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
A Typed Model for Dynamic Authorizations. PLACES (2015)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
Characteristic Bisimulation for Higher-Order Session Processes. CONCUR (2015)
Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez
Declarative interpretations of session-based concurrency. PPDP (2015)
Cinzia Di Giusto, Jorge A. Pérez
Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97 (2015)
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
On Compensation Primitives as Adaptable Processes. EXPRESS/SOS (2015)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic Role Authorization in Multiparty Conversations. BEAT (2014)
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239 (2014)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT (2014)

Jorge A. Pérez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jorge A. Pérez