Agostino Dovier

Cited by

	All	Since 2016
Citations	4054	1274
h-index	34	18
i10-index	71	28

340

170

255

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202124 22 25 60 34 35 29 49 39 61 44 87 56 117 125 163 183 206 201 174 330 313 335 279 299 294 170 186 42

Public access

View all

6 articles

1 article

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 PiazzaAssociate Professor 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 OmodeoProfessore di scienze informatiche, Università di TriesteVerified 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
Agostino CortesiUniversità Ca Foscari VeneziaVerified email at unive.it
Puri ArenasAssociate ProfessorVerified email at sip.ucm.es
Alberto BelussiProfessore associato, Dipartimento di Informatica, Università di Verona, ItalyVerified email at univr.it
Flavio VellaAssistant ProfessorVerified email at unibz.it
Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it
William YeohWashington University in St. LouisVerified email at wustl.edu
Davide RocchessoFull Professor. Università degli Studi di PalermoVerified email at unipa.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	391*	2012
Special issue on Constraint Based Methods for Bioinformatics A Dal Palù, A Dovier, S Will Constraints 13 (1-2), 2008	295*	2008
Technical Communications of the 28th International Conference on Logic Programming - part I A Dovier, V Santos Costa LIPICS 17 (1), 1-246, 2012	229*	2012
An efficient algorithm for computing bisimulation equivalence A Dovier, C Piazza, A Policriti Theoretical Computer Science 311 (1-3), 221-256, 2004	188	2004
Declarative Programming - Selected Papers from AGP 2000 A Dovier, MC Meo, A Omicini Electronic Notes in Theoretical Computer Science 48, 2001	148*	2001
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	147*	2000
Technical Communications of the 28th International Conference on Logic Programming - part II A Dovier, V Santos Costa LIPICS 17 (2), 247-480, 2012	140*	2012
25 Years of Logic Programming in Italy A Dovier, E Pontelli LNCS. Springer, Heidelberg, 2010	135*	2010
{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	119	1996
Series of Constraints in Bioinformatics R Backofen, A Dal Palù, A Dovier, S Will Algorithms for Molecular Biology, 2012	116*	2012
Constraint logic programming approach to protein structure prediction A Dal Palu, A Dovier, F Fogolari BMC bioinformatics 5 (1), 1-12, 2004	94	2004
A fast bisimulation algorithm A Dovier, C Piazza, A Policriti International Conference on Computer Aided Verification, 79-90, 2001	84	2001
GASP: Answer set programming with lazy grounding A Dal Palù, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009	83	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	82	1991
Special issue on New Trends of Constraint Logic Programming A Dovier Theory and Practice of Logic Programming 17 (4), 359-683, 2017	75*	2017
Embedding extensional finite sets in CLP. A Dovier, G Rossi ILPS, 540-556, 1993	67	1993
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	61*	2009
Set unification A Dovier, E Pontelli, G Rossi Theory and Practice of Logic Programming 6 (6), 645, 2006	60*	2006
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	56*	1998
A comparison of CLP (FD) and ASP solutions to NP-complete problems A Dovier, A Formisano, E Pontelli International Conference on Logic Programming, 67-82, 2005	54	2005

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

Upload PDF

Follow this author

Cited by

Co-authors