author-photo

Manuel V. Hermenegildo

Technical University of Madrid
IMDEA
University of New Mexico

408

Papers

6555

Citations

Citation Trend

Filter By

Papers (408) Sort By

Journal Conference Others

Fifty Years of Prolog and Beyond

2022 Theory and Practice of Logic Programming
Show All
- Source
- Cite
- Save
Citations (0)
Parallel Logic Programming: A Sequel

2022 Theory and Practice of Logic Programming
Show All
- Source
- Cite
- Save
Citations (0)
50 Years of Prolog and Beyond.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Analysis and Transformation of Constrained Horn Clauses for Program Verification

2021 Theory and Practice of Logic Programming
Show All
- Source
- Cite
- Save
Citations (2)
Analysis and Transformation of Constrained Horn Clauses for Program Verification.

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (2)
VeriFly: On-the-fly Assertion Checking via Incrementality

2021 Theory and Practice of Logic Programming
Show All
- Source
- Cite
- Save
Citations (0)
Proceedings of the 6th Workshop on Formal Integrated Development Environment: VeriFly: On-the-fly Assertion Checking with CiaoPP (extended abstract)

2021
Show All
- Source
- Cite
- Save
Citations (0)
Regular Path Clauses and Their Application in Solving Loops

2021
Show All
- Source
- Cite
- Save
Citations (0)
Incremental and Modular Context-sensitive Analysis

2021 Theory and Practice of Logic Programming
Show All
- Source
- Cite
- Save
Citations (4)
Parallel Logic Programming: A Sequel.

2021 arXiv: Distributed, Parallel, and Cluster Computing
Show All
- Source
- Cite
- Save
Citations (0)