Jesus Alexander Aranda Bueno

I am an INRIA  and Colciencias funded PhD student at Laboratoire d'Informatique de l'Ecole Polytechnique (LiX) (Paris, France) and the Universidad del Valle (Cali, Colombia).

My Phd work is under supervision of Catuscia Palamidessi, Frank Valencia and Juan Francisco Diaz.

My research interests are Process Calculi,  Expressiveness, Computability, Bioinformatics. My Ph.D is on the expressiveness of CCS and Pi calculus fragments.

I am also lecturer at Universidad del Valle Cali, Colombia and member of AVISPA research group.

Publications

1. J. Aranda, F. Valencia and C. Versari. On the Expressive Power of Restriction and Priorities in CCS with Replication. In FoSSaCS'09.

   © Springer-Verlag. 2009.

2. J. Aranda, J. A. Perez, C. Rueda and F. Valencia. Stochastic Behaviour and Explicit Discrete Time in Concurrent Constraint Programming. In ICLP'08 © Springer-Verlag. 2008.

3. J. Aranda, C. Di Giusto, C. Palamidessi and F. Valencia. On Recursion and Scope Mechanisms in Process Calculi. in FMCO'06 © Springer-Verlag. 2007.

4. J. Aranda, C. Di Giusto, M. Nielsen and F. Valencia. CCS with replication in the Chomsky Hierarchy: The expressive Power of Divergence. in APLAS'07: 383-398. © Springer-Verlag. 2007.

5. D. Cacciagrano, F. Corradini, J. Aranda and F. Valencia. Persistence and Testing Semantics in the Asynchronous Pi Calculus. in EXPRESS'07. ENTCS 194(2): 59-84 © Elsevier 2007.  

6. Jesús Aranda, James Ortiz and Juan Francisco Díaz.  The Problem of Assigning Evaluators to the Articles Submitted in an Academia Event: A Practical Solution Incorporating Constraint Programming and Heuristics in: Second Internacional Mozart/OZ Conference, 2004, Charleroi, Belgium,  volume 3389 of  LNCS,  pages 305-316  © Springer-Verlag, 2005. 

7. Jesús Aranda, James Ortiz, Juan Francisco Díaz. El Problema de la Asignación de Evaluadores para los Artículos Presentados a un Evento Académico: Modelamiento e Implementación de dos Soluciones Usando Programación por Restricciones. In Proc. of Latin American Informatics Conference CLEI 2004, Arequipa  Perú, ISBN: 9972-9876-2-0, © CLEI, 2004.

8. Marta Millán, Hector Cadavid, Ferley Castro, Guillermo Aponte, Maria Eugenia Valencia, Mauricio Gaona, Jesús Aranda. Descubrimiento de Conocimiento en Bases de Datos de Pruebas de Corto Circuito. In: V Jornadas Latinoamericanas en Alta Tensión,  La Habana Cuba, 2001..

9. Jesús Aranda, Marta Millán. Un método para sustitución de valores desconocidos. In Proc. of Latin American Informatics Conference CLEI 2001, Mérida Venezuela, ISBN: 980-11-0528-3, © CLEI, 2001.

10. Jesús  Aranda,  Juan Francisco Díaz,  James Jerson Ortiz. CREAR: Consejero para la repartición de Artículos y Evaluadores en Eventos. Ingeniería y Competitividad. v.1, n.1, p.53 - 62, ISSN: 0123-3033, 2004.  

11. Maria Eugenia Valencia, Marta Millán, Mauricio Gaona, Jesús Aranda. Arquitectura de Software para Descubrimiento de Conocimiento. Revista Energía y Computación, ISSN: 0121-5299, 2001.

12. Jesús Aranda, Marta Millán. Un Método para Sustitución  Completa de Valores  Desconocidos. In: Sistemas de Información e Ingeniería de Software. ©Centro  de Estudios en Informática de Mérida, Venezuela, ISBN: 980-12-0585-7, 2004.