Agostino Dovier

Cited by

	All	Since 2017
Citations	4332	1263
h-index	34	17
i10-index	73	28

340

170

255

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202224 22 25 60 35 34 29 48 42 63 43 80 60 114 129 164 181 211 198 171 328 327 334 289 308 284 175 227 200 68

Public access

View all

23 articles

2 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
Alberto PolicritiUniversity of UdineVerified email at uniud.it
Carla PiazzaProfessor of Computer Science, University of UdineVerified email at uniud.it
Federico FogolariUniversity of UdineVerified email at uniud.it
Luca BortolussiUniversità di TriesteVerified email at units.it
Eugenio OmodeoUniversità degli Studi di Trieste, formerly professor in Computer Science, today 'senior scholar'Verified email at units.it
Ferdinando FiorettoSyracuse UniversityVerified email at syr.edu
Neng-Fa ZhouProfessor of Computer Science, The City University of New YorkVerified email at sci.brooklyn.cuny.edu
Federico Campeottonew 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
Francesco FabianoUniversità di UdineVerified email at uniud.it
Flavio VellaAssistant Professor, University of TrentoVerified email at unitn.it
Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it
Puri ArenasAssociate ProfessorVerified email at sip.ucm.es
William YeohWashington University in St. LouisVerified email at wustl.edu
Davide AnconaGenovaVerified email at unige.it
Alberto BelussiProfessore associato, Dipartimento di Informatica, Università di Verona, ItalyVerified email at univr.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	423*	2012
Special issue on Constraint Based Methods for Bioinformatics A Dal Palù, A Dovier, S Will Constraints 13 (1-2), 2008	303*	2008
Technical Communications of the 28th International Conference on Logic Programming - part I A Dovier, V Santos Costa LIPICS 17 (1), 1-246, 2012	258*	2012
An efficient algorithm for computing bisimulation equivalence A Dovier, C Piazza, A Policriti Theoretical Computer Science 311 (1-3), 221-256, 2004	202	2004
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	154*	2000
Declarative Programming - Selected Papers from AGP 2000 A Dovier, MC Meo, A Omicini Electronic Notes in Theoretical Computer Science 48, 2001	153*	2001
Technical Communications of the 28th International Conference on Logic Programming - part II A Dovier, V Santos Costa LIPICS 17 (2), 247-480, 2012	152*	2012
25 Years of Logic Programming in Italy A Dovier, E Pontelli LNCS. Springer, Heidelberg, 2010	144*	2010
Series of Constraints in Bioinformatics R Backofen, A Dal Palù, A Dovier, S Will Algorithms for Molecular Biology, 2012	120*	2012
{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	120	1996
Special issue on New Trends of Constraint Logic Programming A Dovier Theory and Practice of Logic Programming 17 (4), 359-683, 2017	101*	2017
Constraint logic programming approach to protein structure prediction A Dal Palu, A Dovier, F Fogolari BMC bioinformatics 5 (1), 1-12, 2004	96	2004
GASP: Answer set programming with lazy grounding A Dal Palù, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009	95	2009
{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
A fast bisimulation algorithm A Dovier, C Piazza, A Policriti International Conference on Computer Aided Verification, 79-90, 2001	84	2001
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	67*	2009
Embedding extensional finite sets in CLP. A Dovier, G Rossi ILPS, 540-556, 1993	67	1993
Set unification A Dovier, E Pontelli, G Rossi Theory and Practice of Logic Programming 6 (6), 645-701, 2006	66*	2006
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	61*	2015
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	59*	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 this author

Cited by

Co-authors