Publicacións en colaboración con investigadores/as de Universidad Complutense de Madrid (15)

2019

  1. Global distribution of earthworm diversity

    Science, Vol. 366, Núm. 6464, pp. 480-485

2016

  1. Mapping earthworm communities in Europe

    Applied Soil Ecology, Vol. 97, pp. 98-111

  2. Tackling probiotic and gut microbiota functionality through proteomics

    Journal of Proteomics, Vol. 147, pp. 28-39

2014

  1. INGENIAS with the unified development process

    Handbook on Agent-Oriented Design Processes (Springer Berlin Heidelberg), pp. 371-405

  2. INGENIAS-Scrum

    Handbook on Agent-Oriented Design Processes (Springer Berlin Heidelberg), pp. 219-251

  3. INGENIAS-Scrum

    Handbook on Agent-Oriented Design Processes (Springer Alemania), pp. 219-251

2010

  1. A technique fordefining agent-oriented engineering processes with tool support

    Engineering Applications of Artificial Intelligence, Vol. 23, Núm. 3, pp. 432-444

2009

  1. Definition of process models for agent-based development

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

  2. INGENIAS-SCRUM Development Process for Multi-Agent Development

    INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008

  3. Modeling Processes of AOSE Methodologies by Means of a New Editor

    INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008

1999

  1. Approach to declarative programming based on a rewriting logic

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 47-87

  2. Semantics and types in functional logic programming

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

1996

  1. A rewriting logic for declarative programming

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

1993

  1. On the completeness of narrowing as the operational semantics of functional logic programming

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