Iterated Boolean Games
In Information and Computation, Forthcoming.
Preliminary version here (In IJCAI, 2013).
On Fixpoint Logics and Equivalences for Processes with Restricted Nondeterminism
In Journal of Logic and Computation, Forthcoming.
The Mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
In Theoretical Computer Science, 2014.
Preliminary version here (In GANDALF, EPTCS, 2012).
On the Determinacy of Concurrent Games on Event Structures with Infinite Winning Sets
In Journal of Computer and System Sciences, 2014.
Equilibria of Concurrent Games on Event Structures
In LICS+CSL, 2014.
Reasoning about Equilibria in Game-like Concurrent Systems
In KR, 2014.
On the Structure of Events in Boolean Games
In LOFT, 2014.
Borel Determinacy of Concurrent Games
In CONCUR, LNCS, 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.
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.
Preliminary version here (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.
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.