| Special Issue on the Italian Conference on Computational Logic: CILC 2011 F Fioravanti, A Pettorossi, G Rossi FUNDAMENTA INFORMATICAE 124 (4), I-II, 2013 | 221* | 2013 |
| 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 | 156 | 2000 |
| {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 | 137 | 1996 |
| GASP: answer set programming with lazy grounding A Dal Palu, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009 | 106 | 2009 |
| ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES A Martelli, C Moiso, GF Rossi TECHNICAL REPORTS-CSELT 14 (6), 459-465, 1986 | 89 | 1986 |
| {log}: A logic programming language with finite sets A Dovier, EG Omodeo, E Pontelli, G Rossi Proc. 8th Int. Conf. on Logic Programming, 1991 | 84 | 1991 |
| Set unification A Dovier, E Pontelli, G Rossi Theory and Practice of Logic Programming 6 (6), 645-701, 2006 | 74* | 2006 |
| Embedding extensional finite sets in CLP. A Dovier, G Rossi ILPS, 540-556, 1993 | 63 | 1993 |
| 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 | 53 | 1998 |
| A uniform approach to constraint-solving for lists, multisets, compact lists, and sets A Dovier, C Piazza, G Rossi ACM Transactions on Computational Logic (TOCL) 9 (3), 1-30, 2008 | 41* | 2008 |
| Local definitions with static scope rules in logic programming L Giordano, A Martelli Proc. FGCS’88: Int. Conf. on Fifth Generation Computer Systems, 1988 | 41 | 1988 |
| Efficient unification with infinite terms in logic programming A Martelli Proc. 5th Generation Computer Systems, 202-209, 1984 | 41 | 1984 |
| {log} as a Test Case Generator for the Test Template Framework M Cristiá, G Rossi, C Frydman International Conference on Software Engineering and Formal Methods, 229-243, 2013 | 40 | 2013 |
| Integrating finite domain constraints and CLP with sets AD Palú, A Dovier, E Pontelli, G Rossi Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 40 | 2003 |
| Answer set programming with constraints using lazy grounding A Dal Palù, A Dovier, E Pontelli, G Rossi Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009 | 39 | 2009 |
| Extending Horn clause logic with implication goals L Giordano, A Martelli, G Rossi Theoretical Computer Science 95 (1), 43-74, 1992 | 39 | 1992 |
| Embedding finite sets in a logic programming language A Dovier, EG Omodeo, E Pontelli, G Rossi Extensions of Logic Programming: Third International Workshop, ELP'92 …, 1993 | 35 | 1993 |
| Lazy unification algorithms for canonical rewrite systems A Martelli, GF Rossi, C Moiso Rewriting Techniques, 245-274, 1989 | 31 | 1989 |
| Automated proof of Bell–LaPadula security properties M Cristiá, G Rossi Journal of Automated Reasoning 65 (4), 463-478, 2021 | 27 | 2021 |
| Solving quantifier-free first-order constraints over finite sets and binary relations M Cristiá, G Rossi Journal of Automated Reasoning 64, 295-330, 2020 | 27 | 2020 |
Agostino DovierProfessor of Computer Science, University of UdineVerified email at uniud.it
