Agostino Dovier - Concepedia

Author

Agostino Dovier

University of Udine ORCID

Also Known As

A. Dovier, AGOSTINO DOVIER, Agostino Dovier, Dovier A., Dovier, Agostino, ENRICO PONTELLI

192

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

University of Udine New Mexico State University University of Parma University of Verona University of Perugia

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	26	810
2	Medicine	6	6	91
3	Natural Sciences	4	4	60
4	Management	2	2	28
5	Language Studies	1	1	20

Agostino Dovier

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
An efficient algorithm for computing bisimulation equivalence Agostino Dovier, Carla Piazza, Alberto Policriti Theoretical Computer Science EngineeringMechanical VerificationComputer EngineeringFormal MethodsComputer-aided Verification	2003	143
Sets and constraint logic programming Agostino Dovier, Carla Piazza, Enrico Pontelli, ACM Transactions on Programming Languages and Systems Mathematical ProgrammingConstraint SolvingNon-monotonic LogicLanguage—called ClpEngineering	2000	107
{log}: A language for programming in logic with finite sets Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, The Journal of Logic Programming Computational LogicEngineeringAutomated ReasoningAnswer Set ProgrammingFormal Methods	1996	97
GASP: Answer Set Programming with Lazy Grounding Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Fundamenta Informaticae	2009	74
Constraint Logic Programming approach to protein structure prediction Alessandro Dal Palù, Agostino Dovier, Federico Fogolari BMC Bioinformatics	2004	70
{log}: A Logic Programming Language with Finite Sets. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, International Conference on Lightning Protection	1991	53
CUD@SAT: SAT solving on GPUs Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Journal of Experimental & Theoretical Artificial Intelligence EngineeringGpu BenchmarkingGpu-style ParallelismComputer ArchitectureHardware Systems	2014	45
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems Agostino Dovier, Andrea Formisano, Enrico Pontelli Journal of Experimental & Theoretical Artificial Intelligence Mathematical ProgrammingEngineeringComputational ComplexityProgramming SolutionsLogic Programming	2009	42
Embedding extensional finite sets in CLP Agostino Dovier, Gianfranco Rossi	1993	41
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms Agostino Dovier, Alberto Policriti, Gianfranco Rossi Fundamenta Informaticae Computational LogicEngineeringComputability TheoryAutomated ReasoningRelevant Unification Algorithms	1998	34

Page 1