RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Moreno Navarro, Juan Jose juanjose.moreno@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

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
... Ver más Contraer

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

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

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

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
... Ver más Contraer

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

10.4018/978-1-59904-219-0.ch010 Ver en origen

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

BABEL Implementation Based on Lazy Narrowing

  • H. Kuchen, R. Loogen, J.J. Moreno Navarro y M. Rodríguez Artalejo

Integration Of Functional And Logic Programming, Dagstuhl-Seminar Report; 10, 9112, K. Apt, K. Indermark, M. Rodríguez-Artalejo (Eds.) - 1/3/1991

  • iMarina

Modelling Mash-Up Resources

  • Iván Pérez Domínguez
  • Muñoz Hernández, Susana
  • Moreno Navarro, Juan José
  • HERRANZ NIEVA, ANGEL

13th Conference On Software Engineering And Databases, Jisbd'08. (p. 135-146) - 7/10/2008

  • iMarina

Automatic Coding Rule Conformance Checking Using Logic Programs.

  • Manuel Carro Liñares
  • Guillem Marpons Ucero
  • Fredlund, Lars-Ake
  • Moreno Navarro, Juan José
  • HERRANZ NIEVA, ANGEL
  • MARIÑO CARBALLO, JULIO

17th Workshop On Logic-Based Methods In Programming Environments. - 13/9/2007

  • 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

10.1109/icedeg.2014.6819939 Ver en origen

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

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

De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo

  • Juan José Moreno Navarro

Actas De Jisbd’05, A. Toval (Editor) (p. 179-186) - 1/9/2005

  • iMarina

Towards incorporating (formal) semantics into Web Services

  • Noelia Maya, Juan José Moreno-Navarro

Actas De Jsweb 2005, E. Marcos (Editora) - 1/9/2005

  • iMarina

Constructive Negation for Prolog: A Real Implementation

  • S. Muñoz, J. J. Moreno-Navarro

Agp 2002, Upm, J.J. Moreno-Navarro, J. Mariño (Editores) (p. 39-52) - 1/9/2002

  • iMarina

Anthropogenic and biogenic emission model over Madrid area for photochemical mesoscale models by using Landsat satellite data

  • San Jose R
  • Sanz M
  • Moreno B
  • Ramirez-Montesinos A
  • Hernandez J
  • Moreno J

Air Pollution Iii, Vol 2: Air Pollution Engineering And Management (p. 321-328) - 1/12/1995

  • 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))
... Ver más Contraer

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

Semántica y Análisis de Programas Lógico-Funcionales.

  • Moreno Navarro, Juan José (Director) Doctorando: MARIÑO CARBALLO, Julio

1/1/2002

  • iMarina

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 5/03/24 18:47