Jorge A. Perez

Peer-Reviewed Contributions

You can also check out my DBLP entry

1. 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) HERE

2. Languages for Concurrency Featuring Quantitative Information: An Overview and New Perspectives
   (with J. Aranda)
   To appear in Newsletter of the ALP.
   DOWNLOAD draft as PDF (soon to come)
3. Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
   (with J. Aranda, C. Rueda and F. Valencia)
   To appear in Proc. of 24th International Conference on Logic Programming (ICLP 2008).
   DOWNLOAD draft as PDF (soon to come)
4. Non-determinism and Probabilities in Timed Concurrent Constraint Programming
(with C. Rueda)
To appear in Proc. of 24th International Conference on Logic Programming (ICLP 2008).
DOWNLOAD draft as PDF (soon to come)
5. Process Calculi to Analyze Emerging Applications in Concurrency
   (with A. Arbeláez, A Aristizabal, J. Gutiérrez, H. A. Lopez, C. Rueda and F. Valencia)
   To appear in Matematicas: Enseñanza Universitaria ISSN: 0120-6788 (Printed Version)
   DOWNLOAD draft as PDF.
6. Timed Concurrent Constraint Programming in Systems Biology
   (with A. Arbeláez and J. Gutiérrez).
   ALP Newsletter, Vol. 19 n. 4, November/December 2006.
   DOWNLOAD draft as PDF.
7. 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
8. 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
9. Modelling Biological Systems using Process Calculi
   (In Spanish, with J. Gutierrez and C. Rueda.)
   Epiciclos Journal, Vol. 4 (1), 79-101. (2005). ISSN: 1657-5636.
   DOWNLOAD draft as PDF
10. Semiring-based Fuzzy Constraints in Concurrent Constraint Programming.
    (with A. Delgado, C. Olarte and C. Rueda.)
    XXXI Latin American Computing Conference (CLEI 2005). ISBN: 958-670-426-2. ©CLEI, 2005.
    DOWNLOAD draft as PDF
11. 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
12. 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
13. 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
14. Implementing Semiring-Based Constraints using a Concurrent Constraint Programming Language
    (with A. Delgado, C. Olarte and C. Rueda).
    Sixth International Workshop on Preferences and Soft Constraints. Part of CP 2004. September 2004.
    DOWNLOAD draft as PDF

Thesis -- Engineering Degree in Computer Science.

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