logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Manuel V. Hermenegildo

universidad politecnica de madrid

45H-index
527Paper Count
7.0KCitation Count
Published Papers 5
Publication Date
logo
Extending the FSyntax/Hiord Approach with Imperative Notation
errLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
err2026-01-01
err0
PREAI
errCorral, Paula; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
errShare
errSave
Multi-configurable Search Rules in Prolog and Application to Testing
errPRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
err2026-01-01
err0
PREAI
errFerreiro, Daniela; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
errShare
errSave
Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
errTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
err2025-09-01
err0
errOAAI
errCiccale, Marco; Jurjo-Rivas, Daniel; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
errShare
errSave
A sharing-based approach to supporting adaptation in service compositions
errCOMPUTING
IF2.8
err2012-11-17
err2
errOAAI
errIvanovic, Dragan; Carro, Manuel; Hermenegildo, Manuel V.
errShare
errSave
Lock-free parallel dynamic programming
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2010-08-01
err34
errOAAI
errStivala, Alex; Stuckey, Peter J.; Garcia de la Banda, Maria; Hermenegildo, Manuel; Wirth, Anthony
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
P
Peter J. Stuckey
H-index: 54 · Papers: 732
M
María García de la Banda
H-index: 28 · Papers: 149
P
Pedro López-García
H-index: 19 · Papers: 127
A
Anthony Wirth
H-index: 19 · Papers: 121
M
Manuel Carro
H-index: 17 · Papers: 169
View more