Jorge A. Perez

Peer-Reviewed Contributions

You can also check out my DBLP entry

1. On the Expressiveness of Forwarding in Higher-Order Communication
   (with C. Di Giusto and G. Zavattaro)
   To appear in Proc. of ICTAC'09 (6th International Colloquium on Theoretical Aspects of Computing).
   More information (long version with proofs, slides) HERE
2. Towards a Unified Framework for Declarative Structured Communications
   (with H. A. Lopez and C. Olarte)
   Proc. of PLACES'09: Second Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (Part of ETAPS'09)
   To appear in EPTCS (Electronic Proceedings in Theoretical Computer Science).
   DOWNLOAD draft as PDF
3. On the Expressiveness and Decidability of Higher-Order Process Calculi
   (with I. Lanese, D. Sangiorgi and A. Schmitt)
   Proc. of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008), pp 145--155.
   More information (abstract, long version with proofs) HERE
4. Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
   (with J. Aranda, C. Rueda and F. Valencia)
   Proc. of 24th International Conference on Logic Programming (ICLP 2008).
   DOWNLOAD draft as PDF
5. Non-determinism and Probabilities in Timed Concurrent Constraint Programming
(with C. Rueda)
Proc. of 24th International Conference on Logic Programming (ICLP 2008).
An extended version (20pp), with examples, can be downloaded as PDF
6. Timed Concurrent Constraint Programming for Analysing Biological Systems
   (with J. Gutiérrez, C. Rueda and F. Valencia).
   Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 06) (Part of ICALP'06). Electronic Notes in Theoretical Computer Science (ENTCS), Vol 171/2 pp 117-137. Elsevier, 2007.
   DOWNLOAD draft as PDF
7. A Declarative Framework for Security: Secure Concurrent Constraint Programming (Poster)
   (with H. López, C. Palamidessi, C. Rueda and F. Valencia).
   Twenty Second International Conference on Logic Programming (ICLP'06)
   Lecture Notes in Computer Science Vol. 4079, Springer 2006.
   DOWNLOAD draft as PDF
8. Implementing an Abstraction Scheme for Soft Constraints
   (with A. Delgado and C. Rueda).
   Symposium on Abstraction, Reformulation and Approximation (SARA 2005). Lecture Notes in Computer Science Vol. 3607, Springer-Verlag 2005.
   DOWNLOAD draft as PDF
9. Implementing Semiring-Based Constraints using Mozart
   (with A. Delgado, C. Olarte and C. Rueda ).
   Multiparadigm Programming in Mozart/Oz: Extended Proceedings of MOZ 2004. Lecture Notes in Computer Science Vol. 3389, Springer-Verlag 2005.
   DOWNLOAD draft as PDF
10. An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.
    (with A. Delgado, G. Pabon, R. Jordan, C. Rueda and J.F. Di­az.)
    Multiparadigm Programming in Mozart/Oz: Extended Proceedings of MOZ 2004. Lecture Notes in Computer Science Vol. 3389, Springer-Verlag 2005.
    DOWNLOAD draft as PDF
    

Thesis -- Engineering Degree in Computer Science.

Degree obtained at the Universidad Javeriana (Colombia), February 2006.