| 2022 | IWINAC | Doughnut Computing in City Planning for Achieving Human and Planetary Rights. | Vernica Dahl, Juan Jos Moreno-Navarro |
| 2013 | PPDP | Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. | lvaro Garca-Prez, Pablo Nogueira, Juan Jos Moreno-Navarro |
| 2009 | FMICS | Modeling Concurrent Systems with Shared Resources. | ngel Herranz-Nieva, Julio Mario, Manuel Carro, Juan Jos Moreno-Navarro |
| 2008 | ICFP | Bialgebra views: a way for polytypic programming to cohabit with data abstraction. | Pablo Nogueira, Juan Jos Moreno-Navarro |
| 2008 | PADL | Automatic Coding Rule Conformance Checking Using Logic Programming. | Guillem Marpons-Ucero, Julio Mario-Carballo, Manuel Carro, ngel Herranz-Nieva, Juan Jos Moreno-Navarro, Lars-ke Fredlund |
| 2004 | FLOPS | Constructive Intensional Negation. | Susana Muoz-Hernndez, Julio Mario, Juan Jos Moreno-Navarro |
| 2004 | ICLP | Implementation Results in Classical Constructive Negation. | Susana Muoz-Hernndez, Juan Jos Moreno-Navarro |
| 2004 | JELIA | Soundness and Completeness of an "Efficient" Negation for Prolog. | Juan Jos Moreno-Navarro, Susana Muoz-Hernndez |
| 2003 | ICLP | A Real Implementation for Constructive Negation. | Susana Muoz-Hernndez, Juan Jos Moreno-Navarro |
| 2003 | RSP | Rapid Prototyping and Incremental Evolution Using SLAM. | ngel Herranz-Nieva, Juan Jos Moreno-Navarro |
| 2001 | LPAR | Efficient Negation Using Abstract Interpretation. | Susana Muoz-Hernndez, Juan Jos Moreno-Navarro, Manuel V. Hermenegildo |
| 2000 | PADL | Using Static Analysis to Compile Non-sequential Functional Logic Programs. | Julio Mario, Juan Jos Moreno-Navarro |
| 2000 | PADL | How to Incorporate Negation in a Prolog Compiler. | Juan Jos Moreno-Navarro, Susana Muoz-Hernndez |
| 1999 | ICLP | Using Static Analysis to Compile Non-sequential Functional Logic Programs. | Julio Mario, Juan Jos Moreno-Navarro |
| 1995 | ICLP | Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. | Juan Jos Moreno-Navarro |
| 1994 | ICLP | Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. | Juan Jos Moreno-Navarro |
| 1992 | ICLP | Implementing a Lazy Functional Logic Language with Disequality Constraints. | Herbert Kuchen, Francisco Javier Lpez-Fraguas, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |
| 1992 | LOPSTR | Efficient Compilation of Lazy Narrowing into Prolog. | Jos Andr Jimnez-Martin, Julio Mario-Carballo, Juan Jos Moreno-Navarro |
| 1992 | LPAR | FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. | Julio Garca Marrtn, Juan Jos Moreno-Navarro |
| 1990 | ESOP | Graph-based Implementation of a Functional Logic Langugage. | Herbert Kuchen, Rita Loogen, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |