Publications

DBLP

• Nash Equilibrium and Bisimulation Invariance
  In Logical Methods in Computer Science, LMCS, 2019.
  Preliminary version here (In CONCUR, Lipics, 2017).
  
  
• On Computational Tractability for Rational Verification
  In IJCAI, AAAI Publications, 2019.
  
  
• Equilibrium Design for Concurrent Games
  In CONCUR, Lipics, 2019.
  
  
• Cooperative Concurrent Games
  In AAMAS, ACM, 2019.
  
  
• Multi-Player Games with LDL Goals over Finite Traces
  In Information and Computation, Elsevier, 2019.
  Preliminary version here (In AAMAS, ACM, 2017).
  
  
• Imperfect Information in Reactive Modules Games
  In Information and Computation, Elsevier, 2018.
  Preliminary version here (In KR, AAAI Publications, 2016).
  
  
• EVE: A Tool for Temporal Equilibrium Analysis
  In ATVA, LNCS, Springer, 2018.
  
  
• Local Equilibria in Logic-Based Multi-Player Games
  In AAMAS, ACM, 2018.
  
  
• From Model Checking to Equilibrium Checking: Reactive Modules for Rational Verification
  In Artificial Intelligence, Elsevier, 2017.
  
  
• Reasoning About Equilibria in Game-like Concurrent Systems
  In Annals of Pure and Applied Logic, Elsevier, 2017.
  Preliminary version here (In KR, AAAI Publications, 2014).
  
  
• Nash Equilibria in Concurrent Games with Lexicographic Preferences
  In IJCAI, AAAI Publications, 2017.
  
  
• Iterated Boolean Games for Rational Verification
  In AAMAS, ACM, 2017.
  
  
• Partial-Order Boolean Games
  In Synthese, Springer, 2016.
  Preliminary version here (In LOFT, 2014).
  
  
• Expressiveness and Nash Equilibrium in Iterated Boolean Games
  In AAMAS, ACM, 2016.
  
  
• Rational Verification: From Model Checking to Equilibrium Checking
  In AAAI, AAAI publications, 2016.
  
  
• Iterated Boolean Games
  In Information and Computation, Elsevier, 2015.
  Preliminary version here (In IJCAI, AAAI Publications, 2013).
  
  
• On Fixpoint Logics and Equivalences for Processes with Restricted Nondeterminism
  In Journal of Logic and Computation, Oxford University Press, 2015.
  
  
• Expressiveness and Complexity Results for Strategic Reasoning
  In CONCUR, Lipics, 2015.
  
  
• A Mathematical Game Semantics of Concurrency and Nondeterminism
  In ICTAC, LNCS, Springer, 2015.
  
  
• A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
  In ICTAC, LNCS, Springer, 2015.
  
  
• The Mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
  In Theoretical Computer Science, Elsevier, 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, Elsevier, 2014.
  
  
• Equilibria of Concurrent Games on Event Structures
  In LICS+CSL, ACM, 2014.
  
  
• Borel Determinacy of Concurrent Games
  In CONCUR, LNCS, Springer, 2013.
  
  
• Imperfect Information in Logic and Concurrent Games
  In Computation, Logic, Games, and Quantum Foundations, LNCS, Springer, 2013.
  
  
• The Winning Ways of Concurrent Games
  In LICS, IEEE, 2012.
  
  
• Concurrent Logic Games on Partial Orders
  In WoLLIC, LNCS, Springer, 2011.
  
  
• Model-Checking Games for Fixpoint Logics with Partial Order Models
  In Information and Computation, Elsevier, 2011.
  Preliminary version here (In CONCUR, LNCS, Springer, 2009).
  
  
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
  In FOSSACS, LNCS, Springer, 2009.
  
  
• Timed Concurrent Constraint Programming for Analysing Biological Systems
  In ENTCS, Elsevier, 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.