Jorge A. Pérez

According to our database1, Jorge A. Pérez
  • authored at least 67 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Conference reports.
SIGLOG News, 2017

Conference reports.
SIGLOG News, 2017

Report on CWI lectures in honor of Adriaan van Wijngaarden.
SIGLOG News, 2017

Conference reports.
SIGLOG News, 2017

Reversibility in session-based concurrency: A fresh look.
J. Log. Algebr. Meth. Program., 2017

Causally Consistent Reversible Choreographies.
CoRR, 2017

Characteristic bisimulation for higher-order session processes.
Acta Inf., 2017

Efficient compensation handling via subjective updates.
Proceedings of the Symposium on Applied Computing, 2017

Causally consistent reversible choreographies: a monitors-as-memories approach.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Session-Based Concurrency, Reactively.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Linearity, Control Effects, and Behavioral Types.
Proceedings of the Programming Languages and Systems, 2017

2016
Conference reports.
SIGLOG News, 2016

Conference reports.
SIGLOG News, 2016

Conference reports.
SIGLOG News, 2016

Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing.
SIGLOG News, 2016

Conference reports.
SIGLOG News, 2016

Event-based run-time adaptation in communication-centric systems.
Formal Asp. Comput., 2016

Dynamic role authorization in multiparty conversations.
Formal Asp. Comput., 2016

Self-adaptation and secure information flow in multiparty communications.
Formal Asp. Comput., 2016

Reversible Sessions Using Monitors.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Reversible Semantics in Session-based Concurrency.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Towards A Practical Model of Reactive Communication-Centric Software.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

The Challenge of Typed Expressiveness in Concurrency.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Multiparty Session Types Within a Canonical Binary Theory, and Beyond.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

On the Relative Expressiveness of Higher-Order Session Processes.
Proceedings of the Programming Languages and Systems, 2016

2015
Disciplined structured communications with disciplined runtime adaptation.
Sci. Comput. Program., 2015

Combining behavioural types with security analysis.
J. Log. Algebr. Meth. Program., 2015

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.
CoRR, 2015

A Typed Model for Dynamic Authorizations.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

On Compensation Primitives as Adaptable Processes.
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Comparing Deadlock-Free Session Typed Processes.
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Combining behavioural types with security analysis.
CoRR, 2015

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems.
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Declarative interpretations of session-based concurrency.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Characteristic Bisimulation for Higher-Order Session Processes.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Linear logical relations and observational equivalences for session-based concurrency.
Inf. Comput., 2014

Dynamic Role Authorization in Multiparty Conversations.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions.
CoRR, 2014

2013
Towards Formal Interaction-Based Models of Grid Computing Infrastructures.
Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

Session Types with Runtime Adaptation: Overview and Examples.
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Towards Global and Local Types for Adaptation.
Proceedings of the Software Engineering and Formal Methods, 2013

Disciplined structured communications with consistent runtime adaptation.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Behavioral Polymorphism and Parametricity in Session-Based Communication.
Proceedings of the Programming Languages and Systems, 2013

2012
Adaptable processes
Logical Methods in Computer Science, 2012

Towards the Verification of Adaptable Processes.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Linear Logical Relations for Session-Based Concurrency.
Proceedings of the Programming Languages and Systems, 2012

2011
On the expressiveness and decidability of higher-order process calculi.
Inf. Comput., 2011

Time and Exceptional Behavior in Multiparty Structured Interactions.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Adaptable Processes (Extended Abstract).
Proceedings of the Formal Techniques for Distributed Systems, 2011

Type-Based Access Control in Data-Centric Systems.
Proceedings of the Programming Languages and Systems, 2011

2010
Higher-Order Concurrency: Expressiveness and Decidability.
Bulletin of the EATCS, 2010

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Steps on the Road to Component Evolvability.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009
Towards a Unified Framework for Declarative Structured Communications
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

On the Expressiveness of Polyadicity in Higher-Order Process Calculi.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

On the Expressiveness of Forwarding in Higher-Order Communication.
Proceedings of the Theoretical Aspects of Computing, 2009

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
On the Expressiveness and Decidability of Higher-Order Process Calculi.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Non-determinism and Probabilities in Timed Concurrent Constraint Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

2007
Timed Concurrent Constraint Programming for Analysing Biological Systems.
Electr. Notes Theor. Comput. Sci., 2007

2006
A Declarative Framework for Security: Secure Concurrent Constraint Programming.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
Implementing an Abstraction Framework for Soft Constraints.
Proceedings of the Abstraction, 2005

2004
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Implementing Semiring-Based Constraints Using Mozart.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004


  Loading...