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
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
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
Functional Logic Languages in Europe
- J.J. Moreno Navarro
Compulog Newsletter - 1/2/1995
- iMarina
Special Issue on Extensions on Logic Programming
- J.J. Moreno Navarro y Lars-Henrik Ericsson
Computer Languages (p. 2-4) - 1/1/1997
- 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
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
Extending Constructive Logic Negation with Types
- Munoz-Hernandez S
- Moreno-Navarro J
Electronic Notes In Theoretical Computer Science (p. 183-198) - 3/8/2009
10.1016/j.entcs.2009.07.022 Ver en origen
- ISSN 15710661
- iMarina
- 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 Ver en origen
- ISSN 03044238
- iMarina
- 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
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
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
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
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
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
Doughnut Computing in~City Planning for~Achieving Human and~Planetary Rights
- Dahl V
- Moreno-Navarro JJ
Bio-Inspired Systems And Applications: From Robotics To Ambient Intelligence (p. 562-572) - 1/6/2022
10.1007/978-3-031-06527-9_56 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
FIM-Report
- F. Bueno, J.J. Moreno Navarro, M. Hermenegildo
Compulog Net Workshop On Parallelism And Implementation Technologies - 1/5/1993
- 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
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
Sesgos (de género) en la inteligencia artificial y natural y algunas sugerencias para reducirlos
- Moreno Navarro, Juan José
Desafíos Éticos, Jurídicos Y Tecnológicos Del Avance Digital, Salamanca, Mayo 2022 (p. 57-73) - 1/5/2022
- iMarina
Some Notes on Lazy Evaluation
- J. Mariño Carballo, J.J. Moreno Navarro
Dipartamento Di Informatica, Universitá Di Pisa, A. Brogi, P. Mancarella, F. Turini (Editores) - 1/4/1992
- iMarina
Extending Constructive Negation for Partial Functions in Lazy Narrowing-Based Languages
- Moreno Navarro, Juan José
Elp 96, Springer Lnai, 1050 (p. 213-228) - 1/5/1996
- iMarina
Graph-based Implementation of a Functional-logic Language
- H. Kuchen, R. Loogen, J.J. Moreno Navarro y M. Rodríguez Artalejo
Esop'90, J. Jones (Editor) (p. 271-290) - 1/5/1990
- iMarina
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
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
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
Software Services and Systems Network
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- IVANOVIC, DRAGAN (Participante)
Ejecución: 01-03-2008 - 29-02-2012
Tipo: Internacional
Importe financiado: 238618,00 Euros.
- iMarina
Protest: Property-Based Testing
- Moreno Navarro, Juan José (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- Fredlund, Lars-Ake (Investigador principal (IP))
Ejecución: 01-01-2008 - 01-01-2009
Tipo: Nacional
- iMarina
S-CUBE: The Software Services and Systems Network, Red de Excelencia ICT- 215483
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-01-2008 - 31-12-2012
- iMarina
Verification of Object Oriented Languajes
- MARIÑO CARBALLO, JULIO (Participante)
- Bernhard Beckert (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-01-2008 - 31-12-2012
- iMarina
GGCC: new global GNU compiler collection ITEA 05012
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
- Moreno Navarro, Juan José (Participante)
Ejecución: 01-01-2006 - 31-12-2009
- iMarina
ELLA: Extensiones de los Lenguajes Lógicos y sus Aplicaciones
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador principal (IP))
Ejecución: 01-01-1996 - 31-12-1998
- iMarina
Computador Multiprocesador
- HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
- Moreno Navarro, Juan José (Investigador/a)
Ejecución: Desde 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
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
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