| Special issue on 28th International Conference on Logic Programming A Dovier, V Santos Costa TPLP 12 (4-5), 421-810, 2012 | 490* | 2012 |
| Technical Communications of the 28th International Conference on Logic Programming - part I A Dovier, V Santos Costa LIPICS 17 (1), 1-246, 2012 | 336* | 2012 |
| Special issue on Constraint Based Methods for Bioinformatics A Dal Palù, A Dovier, S Will Constraints 13 (1-2), 2008 | 331* | 2008 |
| An efficient algorithm for computing bisimulation equivalence A Dovier, C Piazza, A Policriti Theoretical Computer Science 311 (1-3), 221-256, 2004 | 222 | 2004 |
| Technical Communications of the 28th International Conference on Logic Programming - part II A Dovier, V Santos Costa LIPICS 17 (2), 247-480, 2012 | 215* | 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 | 181* | 2000 |
| 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 | 179* | 2023 |
| Series of Constraints in Bioinformatics R Backofen, A Dal Palù, A Dovier, S Will Algorithms for Molecular Biology, 2012 | 173* | 2012 |
| Special issue on New Trends of Constraint Logic Programming A Dovier Theory and Practice of Logic Programming 17 (4), 359-683, 2017 | 172* | 2017 |
| 25 Years of Logic Programming in Italy A Dovier, E Pontelli LNCS. Springer, Heidelberg, 2010 | 170* | 2010 |
| Declarative Programming - Selected Papers from AGP 2000 A Dovier, MC Meo, A Omicini Electronic Notes in Theoretical Computer Science 48, 2001 | 163* | 2001 |
| {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 | 138 | 1996 |
| GASP: Answer set programming with lazy grounding A Dal Palù, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009 | 116 | 2009 |
| Constraint logic programming approach to protein structure prediction A Dal Palu, A Dovier, F Fogolari BMC bioinformatics 5 (1), 186, 2004 | 110 | 2004 |
| 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 | 96* | 2015 |
| A fast bisimulation algorithm A Dovier, C Piazza, A Policriti International Conference on Computer Aided Verification, 79-90, 2001 | 94 | 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 | 89 | 1991 |
| Set unification A Dovier, E Pontelli, G Rossi Theory and Practice of Logic Programming 6 (6), 645-701, 2006 | 81* | 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 | 71* | 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 | 69* | 1998 |
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
