Jorge A. Perez: Home  PostDoc researcher at the Computer Science Department, FCT - New University of Lisbon, working under Luís Caires in the Carnegie-Mellon|Portugal lead project INTERFACES. I am also part of the PLASTIC research team. During 2007 - 2009, I was a PhD Student at the Department of Computer Science, University of Bologna. My supervisor was Davide Sangiorgi. Before that, during 2002 - 2006, I was with the AVISPA Research Group, Universidad Javeriana (Cali, Colombia). I worked with Camilo Rueda and Frank D. Valencia.  My current research interests are in concurrency theory: process calculi, their expressiveness and decidability properties, and associated verification/proof techniques, such as logics and bisimulation. I also invest waste time maintaining a personal blog with ramblings.   Latest News 23/06/2010: Trip to France: visit to SARDES at INRIA Grenoble, and then ICALP at Bordeaux. 14/06/2010: The revised version of our LICS'08 paper has been accepted for publication in Elsevier's Information and Computation. 20/05/2010: A survey paper based on selected results of my PhD thesis has appeared in the June issue of the Concurrency Column of the Bulletin of the EATCS. 13/05/2010: João has given a short presentation on our ongoing work (Type-based access control to database entities) at RADICAL 2010. See the slides here. A technical report will appear soon. 05/05/2010: Returning to Bologna for the final thesis defense 06/04/2010: Paper accepted at ICALP (Track B): On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Lanese, Pérez, Sangiorgi, Schmitt)  30/03/2010: Moved to Lisbon!

Peer-Reviewed Contributions

1. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
   (with I. Lanese, D. Sangiorgi and A. Schmitt)  
   To appear in Proc. of 37th International Colloquium on Automata, Languages and Programming (ICALP'10)
   DOWNLOAD draft as PDF
2. 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
3. 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)
   EPTCS (Electronic Proceedings in Theoretical Computer Science), Vol 17, pp 1--16.
   DOWNLOAD draft as PDF
4. 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
5. 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
6. 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
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. 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
10. 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
11. 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