Publicaciones en colaboración con investigadores/as de Eindhoven University of Technology (4)

2018

  1. Multicriteria optimization approach to deploy humanitarian logistic operations integrally during floods

    International Transactions in Operational Research, Vol. 25, Núm. 3, pp. 1053-1079

2017

  1. Games for bisimulations and abstraction

    Logical Methods in Computer Science, Vol. 13, Núm. 4

2016

  1. Branching bisimulation games

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)