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
A Modula 2 Implementation of CSP
- M. Collado, R. Morales y J.J. Moreno Navarro
Acm Sigplan Notices (p. 25-38) - 1/6/1987
- iMarina
CC-modula: A modula-2 tool to teach concurrent programming
- Morales-Fernandez R
- Moreno-Navarro J
Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education) (p. 19-25) - 1/9/1989
10.1145/70593.70598 Ver en origen
- ISSN 00978418
Diseño, Semántica e Implementación de BABEL: Un Lenguaje que Integra la Programación Funcional y Lógica
- Moreno Navarro, Juan José
Boletín Citema (p. 7-16) - 1/1/1990
- iMarina
INDEPENDENT AND-PARALLEL IMPLEMENTATION OF NARROWING
- KUCHEN, H
- MORENONAVARRO, JJ
- HERMENEGILDO, MV;
Lecture Notes In Computer Science (p. 24-38) - 1/1/1992
10.1007/3-540-55844-6_125 Ver en origen
- ISSN 03029743
LOGIC PROGRAMMING WITH FUNCTIONS AND PREDICATES - THE LANGUAGE BABEL
- MORENONAVARRO, JJ
- RODRIGUEZARTALEJO, M;
J Logic Program (p. 191-223) - 1/1/1992
10.1016/0743-1066(92)90024-w Ver en origen
- ISSN 07431066
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
Functional Logic Languages in Europe
- J.J. Moreno Navarro
Compulog Newsletter - 1/2/1995
- iMarina
W. on Integration of Declarative Paradigms
- J.J. Moreno Navarro
The Knowledge Engineering Review (p. 205-208) - 1/2/1995
- 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
Estructuras de datos: realización en PASCAL
- Manuel Collado
- Juan José Moreno Navarro
- Rafael Morales Fernández
1/1/1987
- ISBN 8486251702
- iMarina
ProDe'92 (Primer Congreso Nacional de Programación Declarativa)
- Varios autores
1/1/1992
- iMarina
Una Introducción a la Programación Orientada a Objetos
- T. Budd
- traductor Judith L. García González
1/1/1994
- iMarina
Diccionario Enciclopédico de Tecnología
- Moreno Navarro, Juan José, et al.
1/1/1997
- 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
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
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
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
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
Modeling and reasoning about design patterns in SLAM-SL
- Herranz A
- Moreno-Navarro J
Design Pattern Formalization Techniques (p. 206-235) - 1/12/2007
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
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
Sequentiality Analysis in Functional-Logic Programs
- J. Mariño
- J.J. Moreno Navarro
Padl’00, Lncs 1753, V. Santos, E. Potenlli (Editores) (p. 63-80) - 1/1/2000
- iMarina
On the Practical Use of Negation in a Prolog Compiler
- J.J. Moreno Navarro, S. Muñoz.
Padl’00, Lncs 1753, V. Santos, E. Potenlli (Editores) (p. 124-140) - 1/1/2000
- iMarina
On the role of Functional-logic Languages for the Debugging of Imperative Programs
- J.J. Moreno Navarro, A. Herranz
Proc. Wflp 2000, Upv 2000.2039, University Politécnica De Valencia,M. Alpuente (Editora) (p. 23-42) - 1/1/2000
- iMarina
Jornadas de Bases de Datos e Ingeniería de Software
- Moreno Navarro, Juan José (Presidente del programa)
1/10/2000
- iMarina
Towards Automating the Iterative Rapid Prototyping Process with the SLAM System
- Angel Herranz Nieva
- Juan José Moreno Navarro
Jornadas De Bases De Datos E Ingeniería De Software, Carlos Delgado, E. Marcos (Editores) (p. 217-228) - 1/10/2000
- iMarina
Generation of and Debugging with Logica Pre and Post-conditions
- A. Herranz, J.J. Moreno Navarro
Aadebug’00, Corss Proceeddings M. Duchasse (Editor) - 1/6/2000
- iMarina
A Model for Declarative Reflection with Application
- J.J. Moreno Navarro, A. Herranz
1/1/2001
- iMarina
Principales resultados del Programa TIC en España
- Moreno Navarro, Juan José
1/10/2001
- iMarina
Efficient Abstract Interpretation for Implementing Negation
- J.J. Moreno Navarro, S. Muñoz, M. Hermenegildo
Lpar’’01 Lnai 2250, R. Niewenhuis, L. Fernández (Editores) - 1/12/2001
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
Programación Tolerante a Fallos de Sistemas Distribuidos en Tiempo Real
- COLLADO MACHUCA, Manuel Enrique (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-01-1989 - 31-12-1990
- iMarina
Programación Tolerante a Fallos
- Cerrada Somolinos, J.A. (Investigador principal (IP))
- Moreno Navarro, Juan José (Asesor)
Ejecución: 01-01-1989 - 31-12-1991
- iMarina
BABEL: Diseño e Implementación de un lenguaje lógico-funcional concurrente
- Rodriguez Artalejo, M. (Investigador principal (IP))
- COLLADO MACHUCA, Manuel Enrique (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador/a)
Ejecución: 01-01-1989 - 31-12-1991
- iMarina
Tools and Applications in Parallel Computing
- COLLADO MACHUCA, Manuel Enrique (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: Desde 01-06-1989
- iMarina
Implementaciones Secuenciales y Distribuidas de PROLOG
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: Desde 01-01-1990
- iMarina
Network on Excellence in Computational Logic
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: Desde 01-10-1991
- iMarina
Construction of Computational Logics, Working Group 6028
- Dincbas, M. (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-01-1992 - 01-01-1994
- iMarina
Deducción, computación y paralelismo: Lenguajes e Implementación TIC-41B.
- Porto. A (Investigador principal (IP))
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: Desde 01-01-1993
- 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
Un sistema de negación para PROLOG.
- Moreno Navarro, Juan José (Director) Doctorando: MUÑOZ HERNANDEZ, Susana
1/1/2003
- iMarina
A Negation System for Prolog
- Moreno Navarro, Juan José (Director) Doctorando: Susana Muñoz Hernández
1/6/2003
- 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