Publicaciones en colaboración con investigadores/as de Osaka University (5)

2021

  1. Preface

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

  2. Preface

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

2015

  1. A survey on formal active and passive testing with applications to the cloud

    Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 85-93

  2. Ortho and para hydrogen dimers on G/SiC(0001): Combined STM and DFT study

    Langmuir, Vol. 31, Núm. 1, pp. 233-239

  3. Special issue on formal active and passive testing of distributed and networked systems

    Annales des Telecommunications/Annals of Telecommunications