Publicaciones en colaboración con investigadoras/es de Universidad Complutense de Madrid (8)

2020

  1. Students' selection of teamwork tools in software engineering education: Lessons learned

    International Journal of Engineering Education, Vol. 36, Núm. 1 B, pp. 309-316

2019

  1. Value chains of road freight transport operations: An agent-based modelling proposal

    Procedia Computer Science

2011

  1. Negative results on learning multivalued dependencies with queries

    Information Processing Letters, Vol. 111, Núm. 19, pp. 968-972

2010

  1. A complete axiomatization of strict equality

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

2006

  1. Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

    Journal of Universal Computer Science

1999

  1. Learning minimal covers of functional dependencies with queries

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

1990

  1. A first order logic for partial functions

    Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69

1988

  1. Some general incompleteness results for partial correctness logics

    Information and Computation, Vol. 79, Núm. 1, pp. 22-42