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

2022

  1. A Simple Rewrite System for the Normalization of Linear Temporal Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 208-227

  2. On the limits of graph neural networks for the early diagnosis of Alzheimer’s disease

    Scientific Reports, Vol. 12, Núm. 1

2020

  1. Message from A-MOST 2020 Chairs

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020

2019

  1. Message from the a- Most 2019 chairs

    Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019

2004

  1. Authoring and dynamic generation of adaptive E-courses

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