Morales Caballero, Jose Francisco josefrancisco.morales@upm.es
Publications
- Articles 2
- Books 0
- Book chapters 0
- Conferences 1
- Working papers 0
- Technical reports 0
- Research projects 5
- Supervised theses 0
- Patent or software license 0
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;
Theory And Practice Of Logic Programming (p. 776-858) - 17/5/2022
10.1017/s1471068422000102 View at source
- ISSN 14710684
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
This researcher has no books.
This researcher has no book chapters.
This researcher has no working papers.
This researcher has no technical reports.
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 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))
Period: 01-01-2009 - 31-12-2014
Type of funding: National
- iMarina
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))
Period: 31-12-2005 - 30-06-2009
Type of funding: National
- 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
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
This researcher has no supervised thesis.
This researcher has no patents or software licenses.
Research groups
Researcher profiles
- This researcher does not have any profiles.