Concepedia

Agostino Dovier

AD

39

Publications

1.2K

Citations

19

H-Index

1991

Active since

Affiliations

University of Udine(Current)

New Mexico State University

University of Parma

University of Verona

University of Perugia

Agostino Dovier is an author at University of Udine specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationMathematical ProgrammingLogic ProgrammingProtein FoldingMolecular BiologyStructural Biology

Publications per year

1991–2020

39

Publications

39

An efficient algorithm for computing bisimulation equivalence

Agostino Dovier, Carla Piazza, Alberto Policriti · Theoretical Computer Science · 2003 · 143 citations · Full text

Engineering, Mechanical Verification, Computer Engineering +8

Sets and constraint logic programming

Agostino Dovier, Carla Piazza, Enrico Pontelli et al. · ACM Transactions on Programming Languages and Systems · 2000 · 107 citations · Full text

Mathematical Programming, Constraint Solving, Non-monotonic Logic +15

{log}: A language for programming in logic with finite sets

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli et al. · The Journal of Logic Programming · 1996 · 97 citations

Computational Logic, Engineering, Automated Reasoning +7

GASP: Answer Set Programming with Lazy Grounding

Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli et al. · Fundamenta Informaticae · 2009 · 74 citations

Constraint Logic Programming approach to protein structure prediction

Alessandro Dal Palù, Agostino Dovier, Federico Fogolari · BMC Bioinformatics · 2004 · 70 citations · Full text

Rows per page

1–5 of 39