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

Morales Caballero, Jose Francisco josefrancisco.morales@upm.es

INTELIGENCIA ARTIFICIAL / Universidad Politécnica de Madrid

Publications

VeriFly: On-the-fly Assertion Checking via Incrementality

  • Sanchez-Ordaz, Miguel A.
  • Garcia-Contreras, Isabel
  • Perez, Victor
  • Morales, Jose F.
  • Lopez-Garcia, Pedro
  • Hermenegildo, Manuel V.;

Theory And Practice Of Logic Programming (p. 768-784) - 1/1/2021

10.1017/s1471068421000430 View at source

  • ISSN 14710684

Fifty Years of Prolog and Beyond

  • Koerner, Philipp
  • Leuschel, Michael
  • Barbosa, Joao
  • Costa, Vitor Santos
  • Dahl, Veronica
  • Hermenegildo, Manuel, V
  • Morales, Jose F.
  • Wielemaker, Jan
  • Diaz, Daniel
  • Abreu, Salvador
  • Ciatto, Giovanni;
... View more Collapse

Theory And Practice Of Logic Programming (p. 776-858) - 17/5/2022

10.1017/s1471068422000102 View at source

  • ISSN 14710684

This researcher has no books.

This researcher has no book chapters.

Towards a Rule-Based Approach for Deriving Abstract Domains (Extended Abstract).

  • Jurjo, D
  • Morales, JF
  • Lopez-García, P
  • Hermenegildo, M

Electronic Proceedings In Theoretical Computer Science - 1/1/2023

  • ISSN 20752180
  • iMarina

This researcher has no working papers.

This researcher has no technical reports.

Computación móvil verificable y consciente de los recursos

  • MORALES CABALLERO, José Francisco (Participante)
  • GALLAGHER ., JOHN PATRICK (Participante)
  • MERA MENENDEZ, EDISON FERNANDO (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • CARRO LIÑARES, MANUEL (Participante)
  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
... View more Collapse

Period: 31-12-2005 - 30-06-2009

Type of funding: National

  • iMarina

Desarrollo de Software Verificable y Eficiente (DOVES)

  • MORALES CABALLERO, José Francisco (Participante)
  • NAVAS LASEMA, JORGE A. (Participante)
  • MASTROENI ., ISABELLA (Participante)
  • GALLAGHER ., JOHN (Participante)
  • King ., Andy (Participante)
  • Codish ., Michael (Participante)
  • GIACOBAZZI ., ROBERTO (Participante)
  • MENDEZ LOJO, MARIO (Participante)
  • CASAS CUADRADO, AMADEO (Participante)
  • GOMEZ-ZAMALLOA GIL, Miguel (Participante)
  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
  • GIL QUIRÓS, VÍCTOR (Participante)
  • SWOBODA, NIKOLAUS GUYON (Participante)
  • MERA MENENDEZ, EDISON FERNANDO (Participante)
  • CARRO LIÑARES, MANUEL (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
... View more Collapse

Period: 01-01-2009 - 31-12-2014

Type of funding: National

  • iMarina

CLIP. Next Generation Energy Efficient Secure Software

  • MORALES CABALLERO, José Francisco (Participante)
  • VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
  • Haemmerlé ., Rémy (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • ARIAS HERRERO, JOAQUIN (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Period: 01-10-2014 - 30-09-2018

Type of funding: Regional

Amount of funding: 101949,80 Euros.

  • iMarina

DESARROLLO DE TÉCNICAS DE TRANSFORMACIÓN DE PROGRAMAS PARA REPRESENTAR CONTRATOS INTELIGENTES Y SOFTWARE EMPOTRADO EN CLÁUSULAS DE HORN

  • MORALES CABALLERO, José Francisco (Investigador principal (IP))

Period: 01-06-2021 - 30-10-2021

  • iMarina

TRADUCCIÓN A CLÁUSULAS DE HORN DE CONTRATOS INTELIGENTES PARA EL ANÁLISIS DE PROPIEDADES NO TRIVIALES

  • MORALES CABALLERO, José Francisco (Investigador principal (IP))

Period: 01-02-2023 - 30-04-2023

Type of funding: Internal

  • iMarina

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

  • This researcher does not have any profiles.
Last data update: 3/5/24 8:26 PM