Implementing Semiring-Based Constraints Using Mozart. - Alberto Delgado; Carlos Alberto Olarte; Jorge Andrés Pérez; Camilo Rueda (MOZ, 2004)

An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. - Alberto Delgado; Jorge Andrés Pérez; Gustavo Pabón; Rafael Jordan; Juan Francisco Díaz; Camilo Rueda (MOZ, 2004)

Implementing an Abstraction Framework for Soft Constraints. - Alberto Delgado; Jorge Andrés Pérez; Camilo Rueda (SARA, 2005)

A Declarative Framework for Security: Secure Concurrent Constraint Programming. - Hugo A. López 001; Catuscia Palamidessi; Jorge Andrés Pérez; Camilo Rueda; Frank D. Valencia (ICLP, 2006)

Timed Concurrent Constraint Programming for Analysing Biological Systems. - Julian Gutierrez 001; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (MeCBIC@ICALP, 2006)

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. - Jesús Aranda; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (ICLP, 2008)

Non-determinism and Probabilities in Timed Concurrent Constraint Programming. - Jorge A. Pérez 001; Camilo Rueda (ICLP, 2008)

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. - Jesús Aranda; Gérard Assayag; Carlos Olarte; Jorge A. Pérez 001; Camilo Rueda; Mauricio Toro; Frank D. Valencia (ICLP, 2009)

On the Expressiveness of Forwarding in Higher-Order Communication. - Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (ICTAC, 2009)

Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. - Cinzia Di Giusto; Jorge A. Pérez 001 (ICTCS, 2009)

On the Expressiveness of Polyadicity in Higher-Order Process Calculi. - Ivan Lanese; Jorge A. Pérez 001; Davide Sangiorgi; Alan Schmitt (ICTCS, 2009)

Towards a Unified Framework for Declarative Structured Communications - Hugo A. López 001; Carlos Olarte; Jorge A. Pérez 001 (PLACES, 2009)

Steps on the Road to Component Evolvability. - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (FACS, 2010)

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. - Ivan Lanese; Jorge A. Pérez 001; Davide Sangiorgi; Alan Schmitt (ICALP (2), 2010)

Higher-Order Concurrency: Expressiveness and Decidability. - Jorge A. Pérez 001 (Bull. EATCS, 2010)

Type-Based Access Control in Data-Centric Systems. - Luís Caires; Jorge A. Pérez 001; João Costa Seco; Hugo Torres Vieira; Lúcio Ferrão (ESOP, 2011)

Adaptable Processes (Extended Abstract). - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (FMOODS/FORTE, 2011)

Time and Exceptional Behavior in Multiparty Structured Interactions. - Hugo A. López 001; Jorge A. Pérez 001 (WS-FM, 2011)

On the expressiveness and decidability of higher-order process calculi. - Ivan Lanese; Jorge A. Pérez 001; Davide Sangiorgi; Alan Schmitt (Inf. Comput., 2011)

Linear Logical Relations for Session-Based Concurrency. - Jorge A. Pérez 001; Luís Caires; Frank Pfenning; Bernardo Toninho (ESOP, 2012)

Towards the Verification of Adaptable Processes. - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (ISoLA (1), 2012)

Adaptable processes - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2012)

Behavioral Polymorphism and Parametricity in Session-Based Communication. - Luís Caires; Jorge A. Pérez 001; Frank Pfenning; Bernardo Toninho (ESOP, 2013)

Disciplined structured communications with consistent runtime adaptation. - Cinzia Di Giusto; Jorge A. Pérez 001 (SAC, 2013)

Towards Global and Local Types for Adaptation. - Mario Bravetti; Marco Carbone; Thomas T. Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A. Pérez 001; Gianluigi Zavattaro (SEFM Workshops, 2013)

Session Types with Runtime Adaptation: Overview and Examples. - Cinzia Di Giusto; Jorge A. Pérez 001 (PLACES, 2013)

Towards Formal Interaction-Based Models of Grid Computing Infrastructures. - Carlos Alberto Ramírez Restrepo; Jorge A. Pérez 001; Jesús Aranda; Juan Francisco Díaz (DCM, 2013)

A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions. - Luís Caires; Jorge A. Pérez 001 (CoRR, 2014)

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A. Pérez 001 (BEAT, 2014)

Linear logical relations and observational equivalences for session-based concurrency. - Jorge A. Pérez 001; Luís Caires; Frank Pfenning; Bernardo Toninho (Inf. Comput., 2014)

Declarative interpretations of session-based concurrency. - Mauricio Cano; Camilo Rueda; Hugo A. López 001; Jorge A. Pérez 001 (PPDP, 2015)

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. - Cinzia Di Giusto; Jorge A. Pérez 001 (WS-FM, 2015)

Comparing Deadlock-Free Session Typed Processes. - Ornela Dardha; Jorge A. Pérez 001 (EXPRESS/SOS, 2015)

On Compensation Primitives as Adaptable Processes. - Jovana Dedeic; Jovanka Pantovic; Jorge A. Pérez 001 (EXPRESS/SOS, 2015)

A Typed Model for Dynamic Authorizations. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Jorge A. Pérez 001; Hugo Torres Vieira (PLACES, 2015)

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (CoRR, 2015)

Combining behavioural types with security analysis. - Massimo Bartoletti; Ilaria Castellani; Pierre-Malo Deniélou; Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez 001; Peter Thiemann 001; Bernardo Toninho; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2015)

Disciplined structured communications with disciplined runtime adaptation. - Cinzia Di Giusto; Jorge A. Pérez 001 (Sci. Comput. Program., 2015)

Multiparty Session Types Within a Canonical Binary Theory, and Beyond. - Luís Caires; Jorge A. Pérez 001 (FORTE, 2016)

The Challenge of Typed Expressiveness in Concurrency. - Jorge A. Pérez 001 (FORTE, 2016)

Towards A Practical Model of Reactive Communication-Centric Software. - Jaime Arias 001; Mauricio Cano; Jorge Andrés Pérez (ICTCS, 2016)

Reversible Semantics in Session-based Concurrency. - Claudio Antares Mezzina; Jorge Andrés Pérez (ICTCS, 2016)

Reversible Sessions Using Monitors. - Claudio Antares Mezzina; Jorge A. Pérez 001 (PLACES, 2016)

Self-adaptation and secure information flow in multiparty communications. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A. Pérez 001 (Formal Aspects Comput., 2016)

Dynamic role authorization in multiparty conversations. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Jorge A. Pérez 001; Hugo Torres Vieira (Formal Aspects Comput., 2016)

Event-based run-time adaptation in communication-centric systems. - Cinzia Di Giusto; Jorge A. Pérez 001 (Formal Aspects Comput., 2016)

Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. - Jorge A. Pérez 001 (ACM SIGLOG News, 2016)

Linearity, Control Effects, and Behavioral Types. - Luís Caires; Jorge A. Pérez 001 (ESOP, 2017)

Session-Based Concurrency, Reactively. - Mauricio Cano; Jaime Arias 001; Jorge A. Pérez 001 (FORTE, 2017)

Causally consistent reversible choreographies: a monitors-as-memories approach. - Claudio Antares Mezzina; Jorge A. Pérez 001 (PPDP, 2017)

Efficient compensation handling via subjective updates. - Jovana Dedeic; Jovanka Pantovic; Jorge A. Pérez 001 (SAC, 2017)

Characteristic bisimulation for higher-order session processes. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (Acta Informatica, 2017)

Causally Consistent Reversible Choreographies. - Claudio Antares Mezzina; Jorge A. Pérez 001 (CoRR, 2017)

Reversibility in session-based concurrency: A fresh look. - Claudio Antares Mezzina; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2017)

Report on CWI lectures in honor of Adriaan van Wijngaarden. - Jorge A. Pérez 001 (ACM SIGLOG News, 2017)

Relating Process Languages for Security and Communication Correctness (Extended Abstract). - Daniele Nantes; Jorge A. Pérez 001 (FORTE, 2018)

Reversible Session-Based Concurrency in Haskell. - Folkert de Vries; Jorge A. Pérez 001 (TFP, 2018)

Runtime Verification for Decentralised and Distributed Systems. - Adrian Francalanza; Jorge A. Pérez 001; César Sánchez 001 (Lectures on Runtime Verification, 2018)

Domain-Aware Session Types. - Luís Caires; Jorge A. Pérez 001; Frank Pfenning; Bernardo Toninho (CONCUR, 2019)

Minimal Session Types (Pearl). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (ECOOP, 2019)

Minimal Session Types (Extended Version). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (CoRR, 2019)

Domain-Aware Session Types (Extended Version). - Luís Caires; Jorge A. Pérez 001; Frank Pfenning; Bernardo Toninho (CoRR, 2019)

Minimal Session Types (Artifact). - Alen Arslanagic; Jorge A. Pérez 001; Erik Voogd (Dagstuhl Artifacts Ser., 2019)

On the relative expressiveness of higher-order session processes. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (Inf. Comput., 2019)

Preface to special issue: ICTAC 2015. - Martin Leucker; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (Math. Struct. Comput. Sci., 2019)

Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains. - Mark Soelman; Vasilios Andrikopoulos; Jorge A. Pérez 001; Vasileios Theodosiadis; Karel Goense; Arne Rutjes (DAPPS, 2020)

Session Type Systems based on Linear Logic: Classical versus Intuitionistic. - Bas van den Heuvel 001; Jorge A. Pérez 001 (PLACES@ETAPS, 2020)

Conference reports. - Jorge A. Pérez 001 (ACM SIGLOG News, 2020)

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. - Alex C. Keizer; Henning Basold; Jorge A. Pérez 001 (ESOP, 2021)

Non-Deterministic Functions as Non-Deterministic Processes. - Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (FSCD, 2021)

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. - Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (TYPES, 2021)

Minimal Session Types for the π-calculus (Extended Version). - Alen Arslanagic; Anda-Amelia Palamariuc; Jorge A. Pérez 001 (CoRR, 2021)

Deadlock Freedom for Asynchronous and Cyclic Process Networks. - Bas van den Heuvel 001; Jorge A. Pérez 001 (ICE, 2021)

Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version). - Bas van den Heuvel 001; Jorge A. Pérez 001 (CoRR, 2021)

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version). - Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (CoRR, 2021)

Preface to Special Issue: EXPRESS/SOS 2018. - Jorge A. Pérez 001; Simone Tini (Inf. Comput., 2021)

On primitives for compensation handling as adaptable processes. - Jovana Dedeic; Jovanka Pantovic; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2021)

Causal Consistency for Reversible Multiparty Protocols. - Claudio Antares Mezzina; Jorge A. Pérez 001 (Log. Methods Comput. Sci., 2021)

Scalable Typestate Analysis for Low-Latency Environments. - Alen Arslanagic; Pavle Subotic; Jorge A. Pérez 001 (IFM, 2022)

Executable Semantics and Type Checking for Session-Based Concurrency in Maude. - Carlos Alberto Ramírez Restrepo; Jorge A. Pérez 001 (WRLA@ETAPS, 2022)

Session-based concurrency, declaratively. - Mauricio Cano; Hugo A. López 001; Jorge A. Pérez 001; Camilo Rueda (Acta Informatica, 2022)

Scalable Typestate Analysis using Bit-Vector Machines. - Alen Arslanagic; Pavle Subotic; Jorge A. Pérez 001 (CoRR, 2022)

Functions as Processes: The Case of Collapsing Non-determinism. - Bas van den Heuvel 001; Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (CoRR, 2022)

Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version). - Bas van den Heuvel 001; Jorge A. Pérez 001 (CoRR, 2022)

Asynchronous Functional Sessions: Cyclic and Concurrent. - Bas van den Heuvel 001; Jorge A. Pérez 001 (EXPRESS/SOS, 2022)

Comparing type systems for deadlock freedom. - Ornela Dardha; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2022)

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. - Dan Frumin; Emanuele D'Osualdo; Bas van den Heuvel 001; Jorge A. Pérez 001 (Proc. ACM Program. Lang., 2022)

A decentralized analysis of multiparty protocols. - Bas van den Heuvel 001; Jorge A. Pérez 001 (Sci. Comput. Program., 2022)

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. - Alex C. Keizer; Henning Basold; Jorge A. Pérez 001 (ACM Trans. Program. Lang. Syst., 2022)

Typed Non-determinism in Functional and Concurrent Calculi. - Bas van den Heuvel 001; Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (APLAS, 2023)

Termination in Concurrency, Revisited. - Joseph W. N. Paulus; Jorge A. Pérez 001; Daniele Nantes-Sobrinho (PPDP, 2023)

Monitoring Blackbox Implementations of Multiparty Session Protocols. - Bas van den Heuvel 001; Jorge A. Pérez 001; Rares A. Dobre (RV, 2023)

A Minimal Formulation of Session Types. - Alen Arslanagic; Jorge A. Pérez 001; Dan Frumin (CoRR, 2023)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). - Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (Log. Methods Comput. Sci., 2023)

Session-based concurrency in Maude: Executable semantics and type checking. - Carlos Alberto Ramírez Restrepo; Juan C. Jaramillo; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2023)

Bit-Vector Typestate Analysis. - Alen Arslanagic; Pavle Subotic; Jorge A. Pérez 001 (Formal Aspects Comput., 2023)

Around Classical and Intuitionistic Linear Processes. - Juan C. Jaramillo; Dan Frumin; Jorge A. Pérez 001 (CONCUR, 2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way. - Bas van den Heuvel 001; Daniele Nantes-Sobrinho; Joseph W. N. Paulus; Jorge A. Pérez 001 (CoRR, 2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing. - Bas van den Heuvel 001; Jorge A. Pérez 001 (ICE, 2024)

Minimal session types for the π-calculus. - Alen Arslanagic; Jorge A. Pérez 001; Anda-Amelia Palamariuc (Inf. Comput., 2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks. - Bas van den Heuvel 001; Jorge A. Pérez 001 (Log. Methods Comput. Sci., 2024)

Contrasting Deadlock-Free Session Processes. - Juan C. Jaramillo; Jorge A. Pérez 001 (ECOOP, 2025)

Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020. - Ornela Dardha; Jorge A. Pérez 001; Jurriaan Rot (Inf. Comput., 2025)

Comparing session type systems derived from linear logic. - Bas van den Heuvel 001; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2025)

Contrasting Deadlock-Free Session Processes (Extended Version). - Juan C. Jaramillo; Jorge A. Pérez 001 (CoRR, 2025)

Deadlock-free Context-free Session Types. - Andreia Mordido; Jorge A. Pérez 001 (CoRR, 2025)