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

W. on Integration of Declarative Paradigms

  • J.J. Moreno Navarro

The Knowledge Engineering Review (p. 205-208) - 1/2/1995

  • iMarina

Turing year in Spain

  • Moreno Navarro, Juan José

Ercim News - 1/10/2012

  • iMarina

Turing cambió el mundo

  • Moreno Navarro, Juan José

El Cultural. Diario El Mundo - 1/6/2012

  • 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

Teaching how to derive correct concurrent programs from state-based specifications and code patterns

  • Carro, M
  • Marino, J
  • Herranz, A
  • Moreno-Navarro, JJ;

Lecture Notes In Computer Science (p. 85-106) - 1/1/2004

  • ISSN 03029743
  • iMarina

Stepwise refinement validation of design patterns formalized in TLA+ using the TLC model checker

  • Taibi T
  • Herranz A
  • Moreno-Navarro J

Journal Of Object Technology (p. 137-161) - 1/1/2009

10.5381/jot.2009.8.2.a3 Ver en origen

  • ISSN 16601769

Special Issue on Extensions on Logic Programming

  • J.J. Moreno Navarro y Lars-Henrik Ericsson

Computer Languages (p. 2-4) - 1/1/1997

  • iMarina

Retos de la Universidad española

  • Moreno Navarro, Juan José

Revista Formación Xxi - 1/7/2010

  • iMarina

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

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

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

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

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

Estructuras de datos: realización en PASCAL

  • Manuel Collado
  • Juan José Moreno Navarro
  • Rafael Morales Fernández

1/1/1987

  • ISBN 8486251702
  • iMarina

Diccionario Enciclopédico de Tecnología

  • Moreno Navarro, Juan José, et al.

1/1/1997

  • 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

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

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

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 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

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

Modeling Concurrent Systems with Shared Resources

  • Herranz, Angel
  • Marino, Julio
  • Carro, Manuel
  • Moreno Navarro, Juan Jose

Lecture Notes In Computer Science (p. 102-+) - 1/12/2009

10.1007/978-3-642-04570-7_9 Ver en origen

  • ISSN 03029743

Mesa redonda: TIC en el VII programa marco: Oportunidades y actuaciones

  • Moreno Navarro, Juan José

1/9/2006

  • iMarina

Mesa redonda: El futuro de las tecnologías Grid en España y Europa

  • Moreno Navarro, Juan José

1/11/2006

  • iMarina

Menciones de excelencia de máster y doctorado. Escuelas Doctorales

  • Moreno Navarro, Juan José

7/7/2011

  • iMarina

Mecanismos de Concurrencia en Modula 2: Esquema CSP y Aplicaciones a la Docencia (CC-Modula)

  • M. Collado, R. Morales, J.J. Moreno Navarro

I Jornadas Sobre Programación Concurrente. M. Silva (Editor) - 1/9/1987

  • iMarina

Magic Sets Tranforms for Functional Logic Languages

  • Moreno Navarro, Juan José

1/1/1995

  • iMarina

Líneas de actuación en Política Científica y tecnológica del MICINN, La Transferencia de Tecnología y conocimiento a la empresa

  • Moreno Navarro, Juan José

1/6/2009

  • iMarina

L´Enseignement Supérieur a la Espagne: Situation et Stratégies

  • Moreno Navarro, Juan José

1/9/2011

  • iMarina

Lenguaje lógico funcionales

  • Moreno Navarro, Juan José

1/7/1988

  • iMarina

Lazy Narrowing in a Graph Machine

  • Moreno-Navarro J
  • Kuchen H
  • Loogen R
  • Rodríguez-Artalejo M

Lecture Notes In Computer Science, H. Kichner Y W. Wechler (Editores) (p. 298-317) - 1/10/1990

10.1007/3-540-53162-9_47 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Vulcano: Software de proyectos Software de calidad

  • Atos Origin (Investigador principal (IP))
  • Moreno Navarro, Juan José (Investigador principal (IP))

Ejecución: Desde 01-01-2006

  • 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

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

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

STRONGSOFT: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE

  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
  • Gilles Barthe (Investigador principal (IP))
  • Moreno Navarro, Juan José (Investigador/a)

Ejecución: 01-10-2012 - 30-09-2015

  • iMarina

SOFIA: Software Fiable de Alta Calidad

  • Moreno Navarro, Juan José (Investigador principal (IP))

Ejecución: 28-12-2000 - 27-12-2003

  • iMarina

SOFFIE: Software Fiable y Extensible de Alta Calidad

  • Moreno Navarro, Juan José (Investigador principal (IP))

Ejecución: 01-01-2003 - 31-12-2006

  • 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

Representación del conocimiento con Información Negativa, HP2005-0107

  • Moniz Pereira, Luis (Investigador principal (IP))
  • Moreno Navarro, Juan José (Investigador principal (IP))

Ejecución: Desde 01-01-2005

  • iMarina

Un sistema de negación para PROLOG.

  • Moreno Navarro, Juan José (Director) Doctorando: MUÑOZ HERNANDEZ, Susana

1/1/2003

  • 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

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

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

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