ResearcherID Thomson Reuters  

Hermenegildo, w V
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: I-4418-2015
Other Names: Manuel Hermenegildo; M. Hermenegildo; M. V. Hermenegildo
URL: http://www.researcherid.com/rid/I-4418-2015
ORCID: http://orcid.org/0000-0002-7583-323X
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
Joint Affiliation:
Sub-org/Dept: Department of Artificial Intelligence; School of Computer Science
Role:
My URLs: http://www.cliplab.org/herme
 

My Publications

My Publications (213)

ResearcherID labs

 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  22  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Pre-indexed Terms for Prolog
 Author(s): Morales, J.F.; Hermenegildo, M.; Proietti, M.; et al.
 Source: Logic-Based Program Synthesis and Transformation. 24th International Symposium, LOPSTR 2014. Revised Selected Papers: LNCS 8981 Pages: 317-31 Published: 2015
 DOI: 10.1007/978-3-319-17822-6_18
added
20-Jul-15
2.  Title: Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
 Author(s): Liqat, Umer; Kerrison, Steve; Serrano, Alejandro; et al.
 Source: Logic-Based Program Synthesis and Transformation, Lopstr 2013 Volume: 8901 Pages: 72-90 Published: 2014
 Times Cited: 5
 DOI: 10.1007/978-3-319-14125-1_5
added
20-Jul-15
3.  Title: Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
 Author(s): Serrano, A.; Lopez-Garcia, P.; Hermenegildo, M. V.
 Source: Theory and Practice of Logic Programming Volume: 14 Pages: 739-754 Published: JUL 2014
 Times Cited: 7
 DOI: 10.1017/S147106841400057X
added
20-Jul-15
4.  Title: A sharing-based approach to supporting adaptation in service compositions
 Author(s): Ivanovic, Dragan; Carro, Manuel; Hermenegildo, Manuel V.
 Source: Computing Volume: 95 Issue: 6 Pages: 453-492 Published: JUN 2013
 Times Cited: 1
 DOI: 10.1007/s00607-012-0230-z
added
20-Jul-15
5.  Title: Reversible Language Extensions and Their Application in Debugging
 Author(s): Drey, Z.; Morales, J.F.; Hermenegildo, M.V.; et al.
 Source: Practical Aspects of Declarative Languages. 15th International Symposium, PADL 2013. Proceedings: LNCS 7752 Pages: 206-21 Published: 2013
 DOI: 10.1007/978-3-642-45284-0_14
added
20-Jul-15
6.  Title: Supporting Pruning in Tabled LP
 Author(s): Guzman, P.C.; Carro, M.; Hermenegildo, M.V.; et al.
 Source: Practical Aspects of Declarative Languages. 15th International Symposium, PADL 2013. Proceedings: LNCS 7752 Pages: 60-76 Published: 2013
 DOI: 10.1007/978-3-642-45284-0_5
added
20-Jul-15
7.  Title: A General Implementation Framework for Tabled CLP
 Author(s): de Guzman, P.C.; Carro, M.; Hermenegildo, M.V.; et al.
 Source: Functional and Logic Programming. Proceedings 11th International Symposium (FLOPS 2012) Pages: 104-19 Published: 2012
 DOI: 10.1007/978-3-642-29822-6_11
added
20-Jul-15
8.  Title: A segment-swapping approach for executing trapped computations
 Author(s): de Guzman, P.C.; Casas, A.; Carro, M.; et al.
 Source: Practical Aspects of Declarative Languages. Proceedings 14th International Symposium, PADL 2012 Pages: 138-52 Published: 2012
 DOI: 10.1007/978-3-642-27694-1_11
added
20-Jul-15
9.  Title: An overview of Ciao and its design philosophy
 Author(s): Hermenegildo, M. V.; Bueno, F.; Carro, M.; et al.
 Source: Theory and Practice of Logic Programming Volume: 12 Pages: 219-252 Published: JAN 2012
 Times Cited: 26
 DOI: 10.1017/S1471068411000457
added
20-Jul-15
10.  Title: Analyzing service-oriented systems using their data and structure
 Author(s): Ivanovic, D.; Carro, M.; Hermenegildo, M.
 Source: 2012 Proceedings of the First International Workshop on "European Software Services and Systems Research - Results and Challenges" (S-Cube 2012) Pages: 47-8 Published: 2012
 DOI: 10.1109/S-Cube.2012.6225510
added
20-Jul-15
publication(s)  
First Page Previous Page Page   of  22  Go Next Page Last Page
  Sort by:    Results per page: