Manuel V. Hermenegildo
AuthID: R-00F-NQY
1
TITLE: Parallel Logic Programming: A Sequel
AUTHORS: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6
AUTHORS: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6
2
TITLE: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 Full Text
AUTHORS: Manuel V Hermenegildo; Jens Palsberg;
PUBLISHED: 2010, SOURCE: POPL
AUTHORS: Manuel V Hermenegildo; Jens Palsberg;
PUBLISHED: 2010, SOURCE: POPL
INDEXED IN: 
DBLP
DBLP3
TITLE: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK
AUTHORS: Manuel V Hermenegildo; Torsten Schaub;
PUBLISHED: 2010, SOURCE: ICLP (Technical Communications), VOLUME: 7
AUTHORS: Manuel V Hermenegildo; Torsten Schaub;
PUBLISHED: 2010, SOURCE: ICLP (Technical Communications), VOLUME: 7
INDEXED IN: DBLP
DBLP4
TITLE: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
AUTHORS: Gilles Barthe; Manuel V Hermenegildo;
PUBLISHED: 2010, SOURCE: VMCAI, VOLUME: 5944
AUTHORS: Gilles Barthe; Manuel V Hermenegildo;
PUBLISHED: 2010, SOURCE: VMCAI, VOLUME: 5944
INDEXED IN: DBLP
DBLP5
TITLE: An improved continuation call-based implementation of tabling
AUTHORS: Pablo Chico de Guzman; Manuel Carro; Manuel V Hermenegildo; Claudio Silva; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 10th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 4902
AUTHORS: Pablo Chico de Guzman; Manuel Carro; Manuel V Hermenegildo; Claudio Silva; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 10th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 4902
6
TITLE: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
AUTHORS: Manuel V Hermenegildo; Daniel Cabeza;
PUBLISHED: 2005, SOURCE: PADL, VOLUME: 3350
AUTHORS: Manuel V Hermenegildo; Daniel Cabeza;
PUBLISHED: 2005, SOURCE: PADL, VOLUME: 3350
INDEXED IN: DBLP
DBLP7
TITLE: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings
AUTHORS: Manuel V Hermenegildo; Jaan Penjam;
PUBLISHED: 1994, SOURCE: PLILP, VOLUME: 844
AUTHORS: Manuel V Hermenegildo; Jaan Penjam;
PUBLISHED: 1994, SOURCE: PLILP, VOLUME: 844
INDEXED IN: DBLP
DBLP8
TITLE: Programming language implementation and logic programming. 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
AUTHORS: PLILP '94 (1994 Madrid, Spain); Spain) Plilp 9 (1994 Madrid; Manuel Hermenegildo;
PUBLISHED: 1994
AUTHORS: PLILP '94 (1994 Madrid, Spain); Spain) Plilp 9 (1994 Madrid; Manuel Hermenegildo;
PUBLISHED: 1994
INDEXED IN: 
Openlibrary
Openlibrary