Moreno Navarro, Juan Jose juanjose.moreno@upm.es
Publications
- Articles 31
- Books 6
- Book chapters 7
- Conferences 193
- Working papers 0
- Technical reports 0
- Research projects 44
- Supervised theses 5
- Patent or software license 0
100 años con Turing, 100 años de Informática
- Moreno Navarro, Juan José
Revista Upm - 1/5/2012
- iMarina
20 years of ERCIM, Testimonials
- Moreno Navarro, Juan José
Ercim News - 1/4/2012
- iMarina
A Coding Rule Conformance Checker Integrated into GCC
- ÁLVARO POLO
- Fredlund, Lars-Ake
- Moreno Navarro, Juan José
- HERRANZ NIEVA, ANGEL
- CARRO LIÑARES, MANUEL
- MARIÑO CARBALLO, JULIO
Electronic Notes In Theoretical Computer Science (p. 149-159) - 5/8/2009
10.1016/j.entcs.2009.07.065 View at source
- ISSN 03044238
- iMarina
- iMarina
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
A real implementation for constructive negation
- S. Muñoz, J. J. Moreno-Navarro
Lecture Notes In Computer Science (p. 496-497) - 1/12/2003
10.1007/978-3-540-24599-5_40 View at source
- ISSN 03029743
- iMarina
- iMarina
ALAN TURING: EL HOMBRE QUE VIVÍA DEMASIADO
- Moreno Navarro, Juan Jose´
El Cultural. Diario El Mundo - 1/6/2012
- 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 View at source
- ISSN 00978418
Constructive intensional negation
- Munoz-Hernandez, S
- Marino, J
- Moreno-Navarro, JJ;
Lecture Notes In Computer Science (p. 39-54) - 1/1/2004
- ISSN 03029743
- iMarina
Declarative Reflection in Slam and its Applications as a pattern language
- Ángel Herranz, Juan José Moreno Navarro
Electronic Notes On Theoretical Computer Science - 1/1/2003
- iMarina
Diccionario Enciclopédico de Tecnología
- Moreno Navarro, Juan José, et al.
1/1/1997
- iMarina
Estructuras de datos: realización en PASCAL
- Manuel Collado
- Juan José Moreno Navarro
- Rafael Morales Fernández
1/1/1987
- ISBN 8486251702
- 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
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
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
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
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
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
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
(+)100 años con Alan Turing
- Moreno Navarro, Juan José
1/3/2016
- iMarina
100 años con Turing
- Moreno Navarro, Juan José
1/11/2012
- iMarina
A Comparative Study of Some Programming Languages in Real-Time Applications
- J.A. Cerrada, M. Collado, R. Morales y J.J. Moreno Navarro
Computer Applications In Industry, I. Lefkowitz, M.F. Sakr (Editores) (p. 7-10) - 1/2/1988
- iMarina
A First Order Logic for Logic Programming
- J.J. Moreno Navarro y M. Rodriguez Artalejo
Mathematical Logic And Its Applications, Plenum Press, D.G. Skordev (Editor) (p. 303-314) - 1/9/1986
- iMarina
A Formal Definition of an Abstract Prolog Compiler
- J. García Martín y J.J. Moreno Navarro
Workshops In Computer Sciences Series De Lecture Notes In Artificial Intelligence (p. 369-378) - 1/6/1993
- iMarina
A Friendly Interactive Tutorial of the Warren Abstract Machine
- J. García Martín y J.J. Moreno Navarro
Gruppo Ricercatori E Utenti Di Logic Programming (Association For Logic Programming), 1991, P. Asirelli (Ed.) (p. 547-549) - 1/6/1991
- iMarina
A Model for Declarative Reflection with Application
- J.J. Moreno Navarro, A. Herranz
1/1/2001
- iMarina
A Narrowing Based Operational Semantics of BABEL Programs
- Moreno Navarro, Juan José
1/6/1988
- iMarina
A Scheme for Implementing Resilient Objects in Distributed Systems
- J.A. Cerrada, M. Collado y R. Morales y J.J. Moreno Navarro
Parallel Computing: From Theory To Sound Practice, W. Joosen, E. Milgrom (Editores) (p. 380-383) - 1/3/1992
Editor: I O S PRESS
- ISSN/ISBN 90-5199-080-4
- Dialnet
- iMarina
This researcher has no working papers.
This researcher has no technical reports.
AMIGO
- Moreno Navarro, Juan José (Investigador principal (IP))
Period: From 01-01-2000
- iMarina
APOYO EN LA CONFIGURACIÓN INICIAL DEL GRUPO ASOCIADO A LA KNOWLEDGE AND INNOVATION COMMUNITY (KIC) DE ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY
- Moreno Navarro, Juan José (Investigador principal (IP))
Period: 13-09-2013 - 31-12-2017
Type of funding: Internal
- iMarina
Apside: Apoyo a la Plataforma Española en Software
- Fundación Tecnalia (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador principal (IP))
Period: 01-01-2005 - 31-12-2006
- iMarina
BABEL. Next Generation Energy Efficient Secure Software
- Gomez Martinez, Maria Elena (Participante)
- Deedar, Ohammad Halim (Participante)
- Muñoz Hernández, Susana (Participante)
- Benac Earle, Clara (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Nogueira Iglesias, Pablo (Participante)
- Fredlund, Lars-Ake (Participante)
- Moreno Navarro, Juan José (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Period: 01-10-2014 - 31-12-2018
Type of funding: Regional
Amount of funding: 101949,80 Euros.
- 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)
Period: 01-01-1989 - 31-12-1991
- iMarina
COORDINACION Y ACTIVIDADES CONJUNTAS DEL GRUPO ASOCIADO ESPAÑOL DEL KIC: EIT DIGITAL
- Moreno Navarro, Juan José (Participante)
Period: From 01-01-2015
- iMarina
Computador Multiprocesador
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador/a)
Period: From 01-01-1994
- iMarina
Construction of Computational Logics, Working Group 6028
- Dincbas, M. (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Period: 01-01-1992 - 01-01-1994
- iMarina
DEFINICIÓN DE PRIORIDADES Y ESTRATEGIAS PARA EL FOMENTO DE LA INVESTIGACIÓN , DESARROLLO E INNOVACIÓN DE LAS TIC EN ECUADOR
- Moreno Navarro, Juan José (Colaborador/a)
- ALONSO MONTES, JOSE IGNACIO (Investigador principal (IP))
Period: 20-06-2013 - 01-04-2020
Type of funding: Internal
- iMarina
A Negation System for Prolog
- Moreno Navarro, Juan José (Director) Doctorando: Susana Muñoz Hernández
1/6/2003
- 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
Semantics and Analysis of Functional-logic Programs
- Moreno Navarro, Juan José (Director) Doctorando: Julio Mariño Carballo
1/5/2002
- 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
This researcher has no patents or software licenses.
Research groups
Researcher profiles
-
ORCID
-
Scopus Author ID
-
Dialnet id