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
Iniciativa basada en Kahoot para motivar a los alumnos de Arquitectura de Computadores
- Gloria Ortega Lopez
- EM Garzón
- Leocadio González Casado
- P M Ortigosa
- Vicente González Ruiz
- J F Sanjuan Estrada
- JL Redondo
- Juan José Moreno Navarro
- Luis O López
- Nicolás C Cruz
- Miriam Ruiz Ferrández
Actas De Las Jornadas Sobre Ensen?Anza Universitaria De La Informa?Tica (p. 299-302) - 1/1/2021
- ISSN 25310607
- iMarina
El papel de la I+D+i en el desarrollo económico y social
- Juan José Moreno Navarro
Economía Exterior (p. 121-128) - 1/1/2015
- ISSN 11374772
- iMarina
Los problemas de la financiación de las Universidades españolas y su marco normativo
- Juan José Moreno Navarro
Temas Para El Debate (p. 36-39) - 1/1/2014
- ISSN 11346574
- iMarina
Turing cambió el mundo
- Moreno Navarro, Juan José
El Cultural. Diario El Mundo - 1/6/2012
- iMarina
ALAN TURING: EL HOMBRE QUE VIVÍA DEMASIADO
- Moreno Navarro, Juan Jose´
El Cultural. Diario El Mundo - 1/6/2012
- iMarina
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
Turing year in Spain
- Moreno Navarro, Juan José
Ercim News - 1/10/2012
- iMarina
Modernización universitaria: docencia, investigación, transferencia e innovación
- Moreno Navarro, Juan José
Revista De La Sociedad Española De Bioquímica Y Biología Molecular - 1/1/2011
- 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
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
Diccionario Enciclopédico de Tecnología
- Moreno Navarro, Juan José, et al.
1/1/1997
- 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
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
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
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 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
(+)100 años con Alan Turing
- Moreno Navarro, Juan José
1/3/2016
- iMarina
Educación terciaria e igualdad de resultados
- Moreno Navarro, Juan José
1/3/2016
- iMarina
Modelos de formación y servicios universitarios en la era digital
- Moreno Navarro, Juan José
1/6/2015
- iMarina
On the Role of R&D in E-GOVERNMENT in Ecuador: Strategic Plan in ICT for Ecuador in the Field of Information Society and E-GOVERMENT
- Juan Marcelo Ibujés Villacís
- Juan Carlos Urquiza Suarez
- Jaime Albuja Munive
- Carlos Miguel Casas Jiménez
- Moreno Navarro, Juan José
- ALONSO MONTES, JOSE IGNACIO
2014 First International Conference On Edemocracy & Egovernment (Icedeg) (p. 21-28) - 24/4/2014
- iMarina
On the role of R&D in e-government in Ecuador: Strategic plan in ICT for Ecuador in the field of information society and e-government
- Moreno-Navarro J
- Munive J
- Alonso Montes J
- Ibujés Villacís J
- Casas Jiménez C
- Urquíza Suarez J
2014 1st International Conference On Edemocracy And Egovernment, Icedeg 2014 (p. 21-28) - 1/1/2014
Algunos desafíos de las TIC en las Universidades
- Moreno Navarro, Juan José
1/3/2013
- iMarina
Does more data and ICT make cities smarter?
- Moreno Navarro, Juan José
- Menasalvas, Ernestina
1/12/2013
- iMarina
Modern Development of a Law
- Juan José Moreno-Navarro, José Manuel Fernández de Labastida, Emilio Gallego, Antonio Cidoncha
Ict-Law 2013 - 1/11/2013
- iMarina
Qué hay de nuevo en la universidad digital?
- Delgado Kloos, Carlos
Seminario Bienal \"La universidad digital\" - 1/11/2013
- iMarina
- UC3M
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order
- García-Pérez A
- Nogueira P
- Moreno-Navarro J
Proceedings Of The 15th Symposium On Principles And Practice Of Declarative Programming, Ppdp 2013 (p. 85-96) - 15/10/2013
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
COORDINACION Y ACTIVIDADES CONJUNTAS DEL GRUPO ASOCIADO ESPAÑOL DEL KIC: EIT DIGITAL
- Moreno Navarro, Juan José (Participante)
Ejecución: Desde 01-01-2015
- iMarina
NGREENS
- Gilles Barthe (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: 01-01-2015 - 31-12-2019
- iMarina
REALIZACIÓN DE LAS LABORES DE COORDINACIÓN DE LA COORDINACIÓN DEL GRUPO ASOCIADO A LA KNOWLEDGE AND INNOVATION COMMUNITY (KIC) DENOMINADA ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY.
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: 11-11-2014 - 11-11-2015
Tipo: Interno
- 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))
Ejecución: 01-10-2014 - 31-12-2018
Tipo: Regional
Importe financiado: 101949,80 Euros.
- 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))
Ejecución: 13-09-2013 - 31-12-2017
Tipo: Interno
- 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))
Ejecución: 20-06-2013 - 01-04-2020
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
Tecnologías rigurosas para software de nueva generación abierto y fiable
- BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
- BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
- Mycroft ., Alan (Otros)
- Tonetta ., Stefano (Otros)
- Lipton ., James (Otros)
- Moreno Navarro, Juan José (Participante)
- Nogueira Iglesias, Pablo (Participante)
- Muñoz Hernández, Susana (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- Fredlund, Lars-Ake (Participante)
- Benac Earle, Clara (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Ejecución: 01-01-2013 - 30-06-2017
Tipo: Nacional
Importe financiado: 36644,40 Euros.
- 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
A Negation System for Prolog
- Moreno Navarro, Juan José (Director) Doctorando: Susana Muñoz Hernández
1/6/2003
- iMarina
Un sistema de negación para PROLOG.
- Moreno Navarro, Juan José (Director) Doctorando: MUÑOZ HERNANDEZ, Susana
1/1/2003
- iMarina
Semantics and Analysis of Functional-logic Programs
- Moreno Navarro, Juan José (Director) Doctorando: Julio Mariño Carballo
1/5/2002
- 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