Publications

DBLP

• Borel Determinacy of Concurrent Games
  In CONCUR, LNCS, 2013.
  
  
• Iterated Boolean Games
  In IJCAI, 2013.
  
  
• On the Determinacy of Concurrent Games on Event Structures with Infinite Winning Sets
  In Journal of Computer and System Sciences, 2013.
  
  
• Imperfect Information in Logic and Concurrent Games
  In Computation, Logic, Games, and Quantum Foundations, LNCS, 2013.
  
  
• The Winning Ways of Concurrent Games
  In LICS, 2012.
  
  
• The Mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
  In GANDALF, EPTCS, 2012.
  
  
• Concurrent Logic Games on Partial Orders
  In WoLLIC, LNCS, 2011.
  
  
• Model-Checking Games for Fixpoint Logics with Partial Order Models
  In Information and Computation, 2011.
  
  
• Model-Checking Games for Fixpoint Logics with Partial Order Models
  In CONCUR, LNCS, 2009.
  
  
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
  In FOSSACS, LNCS, 2009.
  
  
• Timed Concurrent Constraint Programming for Analysing Biological Systems
  In ENTCS, 2007.
  
  

Theses

• On Bisimulation and Model-Checking for Concurrent Systems with Partial Order Semantics
  Ph.D. thesis. LFCS, School of Informatics, University of Edinburgh, 2011.
  
  
• Estudio Exploratorio de la Aplicacion de la Programacion Concurrente por Restricciones en Bioinformatica
  B.Sc. thesis. Pontificia Universidad Javeriana, Cali. Colombia. 2006.
  
  

Miscellaneous

• Logics and Games for True Concurrency (Info)
  In Informatics Report Series, Technical report, LFCS, School of Informatics, University of Edinburgh. Edinburgh, UK. 2010.
  
• Hintikka Games for Model-Checking Partial Order Models of Concurrency (Info)
  In Dagstuhl Seminar, Game Semantics and Program Verification. Dagstuhl, Germany. 2010.
  
• Logics and Bisimulation Games for Concurrency, Causality and Conflict (Info)
  In BCTCS, 25th British Colloquium for Theoretical Computer Science. Warwick, UK. 2009.
  
• Games for Logics with Partial Order Models (Info)
  In GaLoP, 4th International Workshop on Games for Logic and Programming Languages. York, UK. 2009.
  
• Process Calculi to Analyze Emerging Applications in Concurrency (Info)
  Unpublished manuscript. Colombia. 2008.
  
• Timed CCP in Systems Biology (Info)
  In The ALP Newsletter, Association for Logic Programming (ALP). 2006.
  
• A Generic Framework to Model, Simulate and Verify Genetic Regulatory Networks (Info)
  In CLEI, 32nd Latinamerican Conference on Informatics. Santiago, Chile. 2006.
  
• Modelamiento de Sistemas Biologicos usando Calculos de Procesos Concurrentes (Info)
  In Epiciclos Scientific Journal, 4(1):79-101, ISSN 1657-5636. Cali, Colombia. 2005.