RDF/XML JSON-LD N3/Turtle RDF/JSON

Nogueira Iglesias, Pablo pablo.nogueira@upm.es

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

Actividades

Selected papers from Mathematics of Program Construction 2012 Preface

  • Gibbons, J
  • Nogueira, P

Science Of Computer Programming (p. 101-101) - 1/6/2014

10.1016/j.scico.2013.09.004 Ver en origen

  • ISSN 01676423

On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines

  • García-Pérez, A
  • Nogueira, P

Science Of Computer Programming (p. 176-199) - 1/12/2014

10.1016/j.scico.2014.05.011 Ver en origen

  • ISSN 01676423

First-order unification using variable-free relational algebra *

  • Nogueira Iglesias, Pablo
  • MARIÑO CARBALLO, JULIO

Logic Journal Of The Igpl (p. 790-820) - 1/12/2011

10.1093/jigpal/jzq011 Ver en origen

  • ISSN 13670751

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

Deriving Interpretations of the Gradually-Typed Lambda Calculus

  • Ilya Sergey
  • García Pérez, Álvaro
  • Nogueira Iglesias, Pablo

Pepm '14 Proceedings Of The Acm Sigplan Workshop On Partial Evaluation And Program Manipulation (p. 157-168) - 20/1/2014

  • iMarina

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

10.1145/2505879.2505887 Ver en origen

A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers

  • García Pérez, Álvaro
  • Nogueira Iglesias, Pablo

Pepm '13 Proceedings Of The Acm Sigplan 2013 Workshop On Partial Evaluation And Program Manipulation (p. 107-116) - 21/1/2013

  • iMarina

Enfoque normal y enfoque spine para reducción en el cálculo lambda puro

  • García Pérez, Álvaro
  • Nogueira Iglesias, Pablo

1/1/2012

  • iMarina

Bialgebra views: A way for polytypic programming to cohabit with data abstraction

  • Moreno Navarro, Juan José
  • Nogueira Iglesias, Pablo

Wgp'08 - Proceedings Of The 2008 Acm Sigplan Workshop On Generic Programming (p. 61-73) - 1/12/2008

10.1145/1411318.1411327 Ver en origen

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

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

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

Ejecución: 01-10-2014 - 31-12-2018

Tipo: Regional

Importe financiado: 101949,80 Euros.

  • 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

Desarrollo de software de alta calidad, fiable, distribuido y seguro

  • KRIZANC ., DAVID DANIEL (Participante)
  • SVENSSON ., HANS (Participante)
  • Hughes ., John (Participante)
  • Benac Earle, Clara (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... Ver más Contraer

Ejecución: 01-01-2010 - 30-06-2013

Tipo: Nacional

Importe financiado: 158994,01 Euros.

  • iMarina

FLEXI: "Flexible Integration in Global Product Development"

  • Nogueira Iglesias, Pablo (Miembro del equipo de trabajo)
  • RODRIGUEZ GONZALEZ, MARIA PILAR (Miembro del equipo de trabajo)
  • GARBAJOSA SOPEÑA, JUAN (Investigador principal (IP))

Ejecución: 01-01-2009 - 31-12-2009

Tipo: Nacional

Importe financiado: 89600,00 Euros.

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

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

  • El/la investigador/a no tiene perfiles.
Última actualización de los datos: 16/02/26 8:43