Publicaciones en colaboración con investigadores/as de Utrecht University (6)

2019

  1. Live studies at REFSQ 2019

    CEUR Workshop Proceedings

2017

  1. Multi-messenger observations of a binary neutron star merger

    Astrophysical Journal Letters, Vol. 848, Núm. 2

2015

  1. AB= BA: Execution equivalence as a new type of testing oracle

    Proceedings of the ACM Symposium on Applied Computing

2013

  1. 4th international workshop automating test case design, selection and evaluation

    2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013

  2. Blocking Delaunay triangulations

    Computational Geometry: Theory and Applications

2010

  1. Blocking delaunay triangulations

    Proceedings of the 22nd Annual Canadian Conference on Computational Geometry, CCCG 2010