Agostino Dovier

Cited by

	All	Since 2019
Citations	5031	1310
h-index	37	18
i10-index	80	29

340

170

255

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 25 27 59 43 36 29 43 43 69 48 78 71 117 124 169 179 211 200 182 335 316 339 291 296 297 177 211 203 215 282 217

Public access

View all

37 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Alessandro Dal Palu'Professore associato, Universita' di ParmaVerified email at unipr.it
ROSSI GIANFRANCOProfessor of Computer Science, Univ. of Parma, ItalyVerified email at math.unipr.it
Carla PiazzaProfessor of Computer Science, University of UdineVerified email at uniud.it
Alberto PolicritiUniversity of UdineVerified email at uniud.it
Federico FogolariUniversity of UdineVerified email at uniud.it
Eugenio OmodeoUniversità degli Studi di Trieste, formerly professor in Computer Science, today 'senior scholar'Verified email at units.it
Luca BortolussiUniversità di TriesteVerified email at units.it
Ferdinando FiorettoUniversity of VirginiaVerified email at virginia.edu
Federico Campeottonew mexico state universityVerified email at nmsu.edu
Neng-Fa ZhouProfessor of Computer Science, The City University of New YorkVerified email at sci.brooklyn.cuny.edu
Francesco FabianoNew Mexico State UniversityVerified email at nmsu.edu
Elisa QuintarelliPolitecnico di MilanoVerified email at elet.polimi.it
Luca Di GasperoAssociate Professor of Information Technology, University of UdineVerified email at uniud.it
Alessandro BuriganaFree University of Bozen-BolzanoVerified email at inf.unibz.it
Flavio VellaAssistant Professor, University of TrentoVerified email at unitn.it
Roberto GiacobazziProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Rino EspositoVisiting Professor of Chemistry, New York University Abu DhabiVerified email at nyu.edu
Agostino Cortesiprofessor of Computer Science, Ca' Foscari UniversityVerified email at unive.it
Roberta CalegariResearcher @ Alma AI, Università di BolognaVerified email at unibo.it

Agostino Dovier

Professor of Computer Science, University of Udine

Verified email at uniud.it - Homepage

Artificial Intelligence Bioinformatics Logic Programming Constraint Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Special issue on 28th International Conference on Logic Programming A Dovier, V Santos Costa TPLP 12 (4-5), 421-810, 2012	466*	2012
Special issue on Constraint Based Methods for Bioinformatics A Dal Palù, A Dovier, S Will Constraints 13 (1-2), 2008	325*	2008
Technical Communications of the 28th International Conference on Logic Programming - part I A Dovier, V Santos Costa LIPICS 17 (1), 1-246, 2012	304*	2012
An efficient algorithm for computing bisimulation equivalence A Dovier, C Piazza, A Policriti Theoretical Computer Science 311 (1-3), 221-256, 2004	223	2004
Technical Communications of the 28th International Conference on Logic Programming - part II A Dovier, V Santos Costa LIPICS 17 (2), 247-480, 2012	214*	2012
Sets and constraint logic programming A Dovier, C Piazza, E Pontelli, G Rossi ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (5), 861-931, 2000	170*	2000
25 Years of Logic Programming in Italy A Dovier, E Pontelli LNCS. Springer, Heidelberg, 2010	164*	2010
Declarative Programming - Selected Papers from AGP 2000 A Dovier, MC Meo, A Omicini Electronic Notes in Theoretical Computer Science 48, 2001	157*	2001
Series of Constraints in Bioinformatics R Backofen, A Dal Palù, A Dovier, S Will Algorithms for Molecular Biology, 2012	154*	2012
Special issue on New Trends of Constraint Logic Programming A Dovier Theory and Practice of Logic Programming 17 (4), 359-683, 2017	145*	2017
{log}: A language for programming in logic with finite sets A Dovier, EG Omodeo, E Pontelli, G Rossi The Journal of logic programming 28 (1), 1-44, 1996	133	1996
GASP: Answer set programming with lazy grounding A Dal Palù, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009	104	2009
Constraint logic programming approach to protein structure prediction A Dal Palu, A Dovier, F Fogolari BMC bioinformatics 5, 1-12, 2004	104	2004
Proceedings of AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence A Dovier, A Montanari, A Orlandini Springer Verlag 13796, 1-500, 2023	99*	2023
A fast bisimulation algorithm A Dovier, C Piazza, A Policriti Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	90	2001
{log}: A logic programming language with finite Sets A Dovier, EG Omodeo, E Pontelli, G Rossi Logic Programming: Proceedings of the Eighth International Conference, 111-124, 1991	86	1991
CUD@SAT: SAT solving on GPUs A Dal Palu, A Dovier, A Formisano, E Pontelli Journal of Experimental & Theoretical Artificial Intelligence 27 (3), 293-316, 2015	85*	2015
Set unification A Dovier, E Pontelli, G Rossi Theory and Practice of Logic Programming 6 (6), 645-701, 2006	75*	2006
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems A Dovier, A Formisano, E Pontelli Journal of Experimental & Theoretical Artificial Intelligence 21 (2), 79-121, 2009	70*	2009
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms A Dovier, A Policriti, G Rossi Fundamenta Informaticae 36 (2-3), 201-234, 1998	66*	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors