Publications in collaboration with researchers from University of Kent (7)

2016

  1. Making property-based testing easier to read for humans

    Computing and Informatics, Vol. 35, Núm. 4, pp. 890-913

2015

  1. Evolutionary and biologically inspired music, sound, art and design 4th international conference, evoMUSART 2015 Copenhagen, Denmark, april 8-10, 2015 proceedings

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

2004

  1. Translating Erlang to μCRL

    Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

2002

  1. Genetic algorithms in visual art and music

    Leonardo, Vol. 35, Núm. 2, pp. 175-184