Jorge Andrés Pérez

Publication Activity (10 Years)

Years Active: 2004-2016
Publications (10 Years): 2

Top Topics

Logical Language

Concurrency Control

Conceptual Model

Top Venues

Publications

Jaime Arias, Mauricio Cano, Jorge Andrés Pérez
Towards A Practical Model of Reactive Communication-Centric Software. ICTCS (2016)
Claudio Antares Mezzina, Jorge Andrés Pérez
Reversible Semantics in Session-based Concurrency. ICTCS (2016)
Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP (2006)
Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda
Implementing an Abstraction Framework for Soft Constraints. SARA (2005)
Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. MOZ (2004)
Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda
Implementing Semiring-Based Constraints Using Mozart. MOZ (2004)