BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. - Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (ALP, 1988)

CC-modula: a modula-2 tool to teach concurrent programming. - R. Morales-Fernandez; Juan José Moreno-Navarro (ACM SIGCSE Bull., 1989)

Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica. - Juan José Moreno-Navarro (1989)

Lazy Narrowing in a Graph Machine. - Juan José Moreno-Navarro; Herbert Kuchen; Rita Loogen; Mario Rodríguez-Artalejo (ALP, 1990)

Graph-based Implementation of a Functional Logic Langugage. - Herbert Kuchen; Rita Loogen; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (ESOP, 1990)

Implementing a Lazy Functional Logic Language with Disequality Constraints. - Herbert Kuchen; Francisco Javier López-Fraguas; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (JICSLP, 1992)

Efficient Compilation of Lazy Narrowing into Prolog. - José André Jimènez-Martin; Julio Mariño-Carballo; Juan José Moreno-Navarro (LOPSTR, 1992)

FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. - Julio García Marrtín; Juan José Moreno-Navarro (LPAR, 1992)

Independent AND-Parallel Implementation of Narrowing. - Herbert Kuchen; Juan José Moreno-Navarro; Manuel V. Hermenegildo (PLILP, 1992)

Logic Programming with Functions and Predicates: The Language BABEL. - Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (J. Log. Program., 1992)

Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. - Julio García-Martín; Juan José Moreno-Navarro (AADEBUG, 1993)

A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). - Julio García-Martín; Juan José Moreno-Navarro (AMAST, 1993)

Efficient Lazy Narrowing using Demandedness Analysis. - Juan José Moreno-Navarro; Herbert Kuchen; Julio Mariño-Carballo; Stephan Winkler; Werner Hans (PLILP, 1993)

Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. - Juan José Moreno-Navarro (ICLP, 1994)

Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic Languages. - Andrés del Pozo-Prieto; Juan José Moreno-Navarro (PASCO, 1994)

Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. - Juan José Moreno-Navarro; Julio García-Martín; Andrés del Pozo-Prieto (GULP-PRODE, 1995)

Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. - Juan José Moreno-Navarro (ICLP, 1995)

Workshop on Integration of Declarative Paradigms. - Juan José Moreno-Navarro (Knowl. Eng. Rev., 1995)

Adding Type Classes to Functional-Logic Languages. - Juan José Moreno-Navarro; Julio Mariño; Andrés del Pozo-Prieto; Ángel Herranz-Nieva; Julio García-Martín (APPIA-GULP-PRODE, 1996)

Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages. - Juan José Moreno-Navarro (ELP, 1996)

The Functional Logic Language BABEL and Its Implementation on a Graph Machine. - Herbert Kuchen; Rita Loogen; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (New Gener. Comput., 1996)

Recovering Sequentiality in Functional-Logic Programs. - Julio Mariño; Juan José Moreno-Navarro (APPIA-GULP-PRODE, 1998)

On the Practical Use of Negation in a Prolog Compiler. - Juan José Moreno-Navarro; Susana Muñoz-Hernández (APPIA-GULP-PRODE, 1998)

Using Static Analysis to Compile Non-sequential Functional Logic Programs. - Julio Mariño; Juan José Moreno-Navarro (ICLP, 1999)

Generation of and Debugging with Logical Pre and Post-Conditions. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (AADEBUG, 2000)

Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (JISBD, 2000)

How to Incorporate Negation in a Prolog Compiler. - Juan José Moreno-Navarro; Susana Muñoz-Hernández (PADL, 2000)

On the Role of Functional-logic Languages for the Debugging of Imperative Programs. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (WFLP, 2000)

Partial Predicates for Demand Analysis. - Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (WFLP, 2000)

Efficient Negation Using Abstract Interpretation. - Susana Muñoz-Hernández; Juan José Moreno-Navarro; Manuel V. Hermenegildo (LPAR, 2001)

Constructive negation for Prolog: A real implementation. - Susana Muñoz-Hernández; Juan José Moreno-Navarro (APPIA-GULP-PRODE, 2002)

Declarative Reflection and its Application as a Pattern Language. - Ángel Herranz-Nieva; Juan José Moreno-Navarro; N. Maya (WFLP, 2002)

A Real Implementation for Constructive Negation. - Susana Muñoz-Hernández; Juan José Moreno-Navarro (ICLP, 2003)

Rapid Prototyping and Incremental Evolution Using SLAM. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (IEEE International Workshop on Rapid System Prototyping, 2003)

Formal Extreme (and Extremely Formal) Programming. - Ángel Herranz-Nieva; Juan José Moreno-Navarro (XP, 2003)

Constructive Intensional Negation. - Susana Muñoz-Hernández; Julio Mariño; Juan José Moreno-Navarro (FLOPS, 2004)

Implementation Results in Classical Constructive Negation. - Susana Muñoz-Hernández; Juan José Moreno-Navarro (ICLP, 2004)

Soundness and Completeness of an "Efficient" Negation for Prolog. - Juan José Moreno-Navarro; Susana Muñoz-Hernández (JELIA, 2004)

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. - Manuel Carro; Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (TFM, 2004)

De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo. - Juan José Moreno-Navarro (JISBD, 2005)

Automatic Coding Rule Conformance Checking Using Logic Programs - Guillem Marpons-Ucero; Julio Mariño; Ángel Herranz-Nieva; Lars-Åke Fredlund; Manuel Carro; Juan José Moreno-Navarro (CoRR, 2007)

Demand analysis with partial predicates. - Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (Theory Pract. Log. Program., 2007)

Bialgebra views: a way for polytypic programming to cohabit with data abstraction. - Pablo Nogueira; Juan José Moreno-Navarro (ICFP-WGP, 2008)

Modelling Mash-up Resources. - Ivan Perez 001; Ángel Herranz-Nieva; Susana Muñoz-Hernández; Juan José Moreno-Navarro (JISBD, 2008)

Automatic Coding Rule Conformance Checking Using Logic Programming. - Guillem Marpons-Ucero; Julio Mariño-Carballo; Manuel Carro; Ángel Herranz-Nieva; Juan José Moreno-Navarro; Lars-Åke Fredlund (PADL, 2008)

A Coding Rule Conformance Checker Integrated into GCC. - Guillem Marpons-Ucero; Julio Mariño; Manuel Carro; Ángel Herranz-Nieva; Lars-Åke Fredlund; Juan José Moreno-Navarro; Álvaro Polo (PROLE, 2008)

Extending Constructive Logic Negation with Types. - Susana Muñoz-Hernández; Juan José Moreno-Navarro (WFLP, 2008)

Implementing Constructive Intensional Negation. - Julio Mariño; Juan José Moreno-Navarro; Susana Muñoz-Hernández (New Gener. Comput., 2008)

Modeling Concurrent Systems with Shared Resources. - Ángel Herranz-Nieva; Julio Mariño; Manuel Carro; Juan José Moreno-Navarro (FMICS, 2009)

Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. - Toufik Taibi; Ángel Herranz-Nieva; Juan José Moreno-Navarro (J. Object Technol., 2009)

Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. - Álvaro García-Pérez; Pablo Nogueira; Juan José Moreno-Navarro (PPDP, 2013)

Doughnut Computing in City Planning for Achieving Human and Planetary Rights. - Verónica Dahl; Juan José Moreno-Navarro (IWINAC (1), 2022)