J. Morales
发表
Manuel V. Hermenegildo,
Manuel Carro,
Henk L. Muller,
2006,
CASES '06.
Manuel V. Hermenegildo,
Manuel Carro,
Pedro López-García,
2011,
Theory and Practice of Logic Programming.
M. Hermenegildo,
J. Morales,
Isabel Garcia-Contreras,
2019
.
P. López-García,
M. Hermenegildo,
J. Morales,
2020,
LOPSTR.
M. Carro,
J. Morales,
2022
.
Manuel V. Hermenegildo,
Nataliia Stulova,
José F. Morales,
2018,
Sci. Comput. Program..
M. Hermenegildo,
J. Morales,
2017
.
M. Hermenegildo,
E. J. G. Arias,
J. Morales,
2013
.
Manuel V. Hermenegildo,
Pedro López-García,
José F. Morales,
2019,
LOPSTR.
P. López-García,
M. Hermenegildo,
J. Morales,
2019
.
V. S. Costa,
Giovanni Ciatto,
M. Hermenegildo,
2022,
Theory Pract. Log. Program..
V. S. Costa,
Giovanni Ciatto,
M. Hermenegildo,
2022,
ArXiv.
Manuel V. Hermenegildo,
Manuel Carro,
José F. Morales,
2014,
Theory and Practice of Logic Programming.
Manuel V. Hermenegildo,
Manuel Carro,
Pedro López-García,
2008,
Concurrency, Graphs and Models.
Pepe Vila,
Boris Köpf,
José Francisco Morales,
2018,
2019 IEEE Symposium on Security and Privacy (SP).
Manuel V. Hermenegildo,
Manuel Carro,
Rémy Haemmerlé,
2012,
Theory and Practice of Logic Programming.
P. López-García,
M. Hermenegildo,
J. Morales,
2023
.
Manuel V. Hermenegildo,
José F. Morales,
Isabel Garcia-Contreras,
2018,
LOPSTR.
Manuel V. Hermenegildo,
Nataliia Stulova,
José F. Morales,
2017,
PADL.
Manuel V. Hermenegildo,
Nataliia Stulova,
José F. Morales,
2016,
PPDP.
Manuel V. Hermenegildo,
José F. Morales,
Isabel Garcia-Contreras,
2016,
Theory and Practice of Logic Programming.
Manuel V. Hermenegildo,
Nataliia Stulova,
José F. Morales,
2015,
Theory and Practice of Logic Programming.
Manuel V. Hermenegildo,
Nataliia Stulova,
José F. Morales,
2014,
PPDP '14.
Manuel Carro,
Zoé Drey,
José F. Morales,
2013,
PADL.
Manuel V. Hermenegildo,
Rémy Haemmerlé,
José F. Morales,
2011,
LOPSTR.
Manuel V. Hermenegildo,
Manuel Carro,
José F. Morales,
2006,
LOPSTR.
Manuel V. Hermenegildo,
Manuel Carro,
Germán Puebla,
2005,
ICLP.
Manuel V. Hermenegildo,
José F. Morales,
Isabel Garcia-Contreras,
2018,
ICLP.
P. López-García,
M. Hermenegildo,
J. Morales,
2023
.
Manuel V. Hermenegildo,
Isabel Garcia-Contreras,
Jose F. Morales,
2019,
LOPSTR.
Manuel V. Hermenegildo,
Isabel Garcia-Contreras,
Jose F. Morales,
2018,
Theory and Practice of Logic Programming.
P. López-García,
M. Hermenegildo,
M. Carro,
2023,
Prolog: The Next 50 Years.
Marco Guarnieri,
Jan Reineke,
José F. Morales,
2018,
2020 IEEE Symposium on Security and Privacy (SP).
John P. Gallagher,
Bishoksan Kafle,
Manuel V. Hermenegildo,
2020,
VPT/HCVS@ETAPS.
Maximiliano Klemen,
Víctor Pérez,
Pedro López-García,
2020,
SAS.
J. Morales,
M. Carro,
M. Carro,
2001
.
Manuel V. Hermenegildo,
Manuel Carro,
José F. Morales,
2004,
PADL.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Pedro López García,
2018,
PPDP.
Jorge A. Navas,
Elvira Albert,
Manuel Carro,
2010
.
John P. Gallagher,
Bishoksan Kafle,
José F. Morales,
2016,
CAV.
M. Hermenegildo,
M. Carro,
J. Morales,
2003
.