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

Ballesteros Gonzalez, Ignacio ignacio.ballesteros@upm.es

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

Publications

Generation of algebraic data type values using evolutionary algorithms

  • I Ballesteros
  • C Benac-Earle
  • J Mariño
  • LÅ Fredlund
  • Á Herranz

Journal Of Logical And Algebraic Methods In Programming (p. 101022-101022) - 1/2/2025

10.1016/j.jlamp.2024.101022 View at source

  • ISSN 15678326

This researcher has no books.

This researcher has no book chapters.

Haskell Based Spreadsheets

  • Ballesteros, Ignacio
  • de Barrio, Luis Eduardo Bueso
  • Marino, Julio

Syntactic Asp Forgetting With Forks (p. 146-162) - 1/1/2025

10.1007/978-3-031-84924-4_10 View at source

  • ISSN 03029743

This researcher has no working papers.

This researcher has no technical reports.

Analysis and Validation of Software and Web Resources

  • BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
  • BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
  • Fredlund, Lars-Ake (Investigador principal (IP))
  • Benac Earle, Clara (Investigador principal (IP))
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)

Period: 01-06-2020 - 31-05-2024

Type of funding: National

Amount of funding: 61468,00 Euros.

  • iMarina

Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis

  • Fredlund, Lars-Ake (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • Benac Earle, Clara (Participante)
  • ZANARDINI, DAMIANO (Participante)
  • BUESO DE BARRIO, LUIS EDUARDO (Participante)
  • BALLESTEROS GONZALEZ, IGNACIO (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))
  • MARIÑO CARBALLO, JULIO (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
... View more Collapse

Period: 01-01-2019 - 30-04-2023

Type of funding: Regional

Amount of funding: 74100,85 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))
... View more Collapse

Period: 01-01-2013 - 30-06-2017

Type of funding: National

Amount of funding: 36644,40 Euros.

  • iMarina

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 8/31/26 7:40 PM