Moreno Navarro, Juan Jose juanjose.moreno@upm.es
Actividades
- Artículos 31
- Libros 6
- Capítulos de libro 7
- Congresos 193
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 44
- Tesis dirigidas 5
- Patentes o licencias de software 0
W. on Integration of Declarative Paradigms
- J.J. Moreno Navarro
The Knowledge Engineering Review (p. 205-208) - 1/2/1995
- iMarina
Turing year in Spain
- Moreno Navarro, Juan José
Ercim News - 1/10/2012
- iMarina
Turing cambió el mundo
- Moreno Navarro, Juan José
El Cultural. Diario El Mundo - 1/6/2012
- iMarina
The functional logic language BABEL and its implementation on a graph machine
- Kuchen, H
- Loogen, R
- MorenoNavarro, JJ
- RodriguezArtalejo, M;
New Generation Computing (p. 391-427) - 1/1/1996
10.1007/bf03037211 Ver en origen
- ISSN 02883635
Teaching how to derive correct concurrent programs from state-based specifications and code patterns
- Carro, M
- Marino, J
- Herranz, A
- Moreno-Navarro, JJ;
Lecture Notes In Computer Science (p. 85-106) - 1/1/2004
- ISSN 03029743
- iMarina
Stepwise refinement validation of design patterns formalized in TLA+ using the TLC model checker
- Taibi T
- Herranz A
- Moreno-Navarro J
Journal Of Object Technology (p. 137-161) - 1/1/2009
10.5381/jot.2009.8.2.a3 Ver en origen
- ISSN 16601769
Special Issue on Extensions on Logic Programming
- J.J. Moreno Navarro y Lars-Henrik Ericsson
Computer Languages (p. 2-4) - 1/1/1997
- iMarina
Retos de la Universidad española
- Moreno Navarro, Juan José
Revista Formación Xxi - 1/7/2010
- iMarina
Photochemical air pollution model for the Madrid area
- San Jose R
- Rodriguez L
- Moreno J
- Sanz M
- Delgado M
(p. 79-88) - 1/1/1994
- iMarina
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
- Matilde Celma Giménez
- Oscar Pastor Acosta
- Natalia Juristo Juzgado
- Juan José Moreno Navarro
1/1/2002
- ISBN 8468802069
- iMarina
Una Introducción a la Programación Orientada a Objetos
- T. Budd
- traductor Judith L. García González
1/1/1994
- iMarina
ProDe'92 (Primer Congreso Nacional de Programación Declarativa)
- Varios autores
1/1/1992
- iMarina
III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003
- Juan José Moreno Navarro
- Manuel Palomar Sanz
1/1/2003
- iMarina
Estructuras de datos: realización en PASCAL
- Manuel Collado
- Juan José Moreno Navarro
- Rafael Morales Fernández
1/1/1987
- ISBN 8486251702
- iMarina
Simulación de un procesador ARM para la enseñanza de Estructura de Computadores
- Savins Puertas Martín
- Juan José Moreno Navarro
- Francisco J Orts
- Nicolás C Cruz
- Juana López Redondo
- Ester Martín Garzón
- Pilar Martínez Ortigosa
Avances En Arquitectura Y Tecnología De Computadores: Actas De Jornadas Sarteco, Cáceres, 18 A 20 De Septiembre De 2019| (p. 235-240) - 1/1/2019
- iMarina
Programación lógica y programación funcional
- Juan José Moreno Navarro
Estudios Sobre Programación Lógica Y Sus Aplicaciones (p. 35-77) - 1/1/1996
- iMarina
Modeling and reasoning about design patterns in SLAM-SL
- Herranz A
- Moreno-Navarro J
Design Pattern Formalization Techniques (p. 206-235) - 1/12/2007
La investigación en Ingeniería Lingüística en España
- Moreno Navarro, Juan José
Ciencia, Tecnología Y Lengua Española La Terminología Científica En Español / Coord. Por Reyes Sequera (p. 97-122) - 1/1/2004
- iMarina
From Executable Specifications to Java
- Angel Herranz Nieva
- Juan José Moreno Navarro
- Noelia Maya
Iii Jornadas De Programación Y Lenguajes (Prole'03): Actas, Alicante, Del 12 Al 14 De Noviembre De 2003 / Juan José Moreno Navarro (Ed. Lit.), Manuel Palomar Sanz (Ed. Lit.) - 1/1/2003
- iMarina
Declarative Reflection in SLAM-SL. Modelling and Reasoning on Design Patterns
- Juan José Moreno Navarro y Angel Herranz Nieva
Design Pattern Formalization Techniques (Editado Por Toufik Taibi) (p. 206-235) - 1/3/2007
- iMarina
Declarative Reflection and its Application as a Pattern Language
- Juan José Moreno Navarro
- Angel Herranz Nieva
Primeras Jornadas Sobre Programación Y Lenguajes: (Prole 2001) : [Celebradas En] Almagro, [El] 23 Y 24 De Noviembre De 2001 (p. 179-198) - 1/1/2001
- iMarina
e-infraestructuras – Tecnologías Grids
- Moreno Navarro, Juan José
1/10/2005
- iMarina
Visualization as debugging: Understanding/debugging the warren abstract machine
- García-Martín J
- Moreno-Navarro J
Lecture Notes In Computer Science (p. 255-272) - 1/1/1993
- ISSN 03029743
- iMarina
Valorización de la investigación en salud -Tercera misión de las universidades
- Moreno Navarro, Juan José
30/6/2016
- iMarina
Using static analysis to compile non-sequential functional logic programs
- Mariño J
- Moreno-Navarro J
Lecture Notes In Computer Science (p. 63-80) - 1/1/2000
10.1007/3-540-46584-7_5 Ver en origen
- ISSN 03029743
Using Demandedness Analysis on the Compilation of Lazy Narrowing
- J.J. Moreno Navarro, H. Kuchen, J. Mariño Carballo, S. Winkler, W. Hans
Fim-Report, F. Bueno, J.J. Moreno Navarro, M. Hermenegildo (Editores) - 1/5/1993
- iMarina
Using Conversations to Implement Resilient Objects in Distributed Systems
- J.A. Cerrada, M. Collado, R. Morales y J.J. Moreno Navarro
Preprints Of The Ifac/Ifip Workshop On Distributed Databases In Real Time Control, Ifac, 1989, M.G. Rodd, E. Knuth (Editores) (p. 509-514) - 1/10/1989
10.1016/0066-4138(90)90026-n Ver en origen
- ISSN/ISBN 0066-4138
- Dialnet
- iMarina
Understanding the Compilation of Prolog. Towards a Clear and Good Description and an Interactive Tutorial of the Warren Abstract Machine
- J. García Martín y J.J. Moreno Navarro
Prode'91, J.M. Troya, T. Hortalá (Editores) (p. 448-462) - 1/10/1991
- iMarina
Type-Classes for Functional-logic Languages
- J.J. Moreno Navarro, J. Mariño, J. García Martín, A- Herranz, A. del Pozo
Dagstuhl Seminar On Integration Of Functional And Logic Languages: Dagstuhl Reports - 1/6/1996
- iMarina
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming
- J.J. Moreno Navarro
Gulp-Prode'95. Universidad De Salerno - 10/9/1995
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
MoveLog. (HF2004-0045)
- Lipton, J. (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
- Miller, Dale (Investigador principal (IP))
Ejecución: Desde 01-01-2005
- iMarina
MORFEO EzWeb
- SORIANO CAMINO, FRANCISCO JAVIER (Investigador principal (IP))
- López Gómez, Genoveva (Participante)
Ejecución: 01-01-2009 - 31-12-2009
Tipo: Nacional
Importe financiado: 54000,00 Euros.
- iMarina
LABORES EDUCATIONAL COORDINATOR Y DTC DIRECTOR DEL NODO ASOCIADO ESPAÑOL A LA KNWLEDGE AND INNOVATION COMMUNITY (KIC) DENOMINADA ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: 01-01-2015 - 31-05-2015
Tipo: Interno
- iMarina
LABORES DE COORDINACIÓN DE LA CREACIÓN DE UN GRUPO ASOCIADO A LA KNOWLEDGE AND INNOVATION COMMUNITY (KIC) DENOMIDA ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: 07-10-2013 - 31-12-2017
Tipo: Interno
- iMarina
Integración de la Programación Funcional y Lógica
- Moreno Navarro, Juan José (Participante)
- K. Indermark (Investigador principal (IP))
- Rodriguez Artalejo, M. (Investigador principal (IP))
Ejecución: 01-01-1988 - 01-01-1990
- iMarina
Implementaciones Secuenciales y Distribuidas de PROLOG
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: Desde 01-01-1990
- iMarina
IPL-D: Implementación paralela de lenguajes declarativos
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: 01-01-1993 - 31-12-1996
- iMarina
Hades: Hacia el desarrollo de INES: Iniciativa Española en Software y Servicios
- Atos Origin (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: Desde 01-01-2006
- iMarina
GRIDCOORD: ERA Pilot on a co-ordinated Europe-wide initiative in Grid Research
- Carro, Manuel (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-07-2004 - 30-06-2006
Tipo: Internacional
- iMarina
Un sistema de negación para PROLOG.
- Moreno Navarro, Juan José (Director) Doctorando: MUÑOZ HERNANDEZ, Susana
1/1/2003
- iMarina
Semántica y Análisis de Programas Lógico-Funcionales.
- Moreno Navarro, Juan José (Director) Doctorando: MARIÑO CARBALLO, Julio
1/1/2002
- iMarina
Semantics and Analysis of Functional-logic Programs
- Moreno Navarro, Juan José (Director) Doctorando: Julio Mariño Carballo
1/5/2002
- iMarina
Operational Aspects of Full Reduction in Lambda Calculi
- Pablo Nogueira Iglesias (Director)
- Juan José Moreno Navarro (Director) Doctorando: Alvaro Garcia Perez
1/1/2014
- iMarina
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID
-
Dialnet id