Publicaciones en colaboración con investigadores/as de French Institute for Research in Computer Science and Automation (6)

2023

  1. Applying Ising Machines to Multi-objective QUBOs

    PROCEEDINGS OF THE 2023 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION, GECCO 2023 COMPANION

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

  2. Slicing from formal semantics: Chisel—a tool for generic program slicing

    International Journal on Software Tools for Technology Transfer, Vol. 20, Núm. 6, pp. 739-769

2011

  1. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Introduction

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

  2. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Introduction

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