Manuel Hermenegildo

Universidad Politécnica de Madrid

Spain

Research Interests

Explore related searches

Professors in Spain

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (8)

Year:

2025

Year:

2025

Year:

2024

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Collaborators (5)

Enrico Pontelli

University of New Mexico

UNITED STATES

View details

Agostino Dovier

Professor

University of Udine

ITALY

View details

Isabel Garcia-Contreras

University of Waterloo

CANADA

View details

John P. Gallagher

VIP, Professor Emeritus

Roskilde University

DENMARK

View details

Gopal Gupta

Erik Jonsson Professor and Department Head

University of Texas at Dallas

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Manuel Hermenegildo

Research Interests

Explore related searches

Contact this professor

Articles (8)

Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs

Checkification: A Practical Approach for Testing Static Analysis Truths

Abstract Environment Trimming

Parallel Logic Programming: A Sequel

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Fifty Years of Prolog and Beyond

Incremental and Modular Context-sensitive Analysis

VeriFly: On-the-fly Assertion Checking via Incrementality

Collaborators (5)

Enrico Pontelli

Agostino Dovier

Isabel Garcia-Contreras

John P. Gallagher

Gopal Gupta

Make your next move.