| 2011 | CIDM | A banner recommendation system based on web navigation history. | Giovanni Giuffrida, Diego Reforgiato Recupero, Giuseppe Tribulato, Calogero G. Zarba |
| 2011 | ICAART | A Recommendation Algorithm for Personalized Online News based on Collective Intelligence and Content. | Giovanni Giuffrida, Calogero G. Zarba |
| 2010 | ICWSM | Socio-Legal Analysis of Criminal Sentences: A Preliminary Study. | Giuseppe Giura, Giovanni Giuffrida, Carlo Pennisi, Calogero G. Zarba |
| 2006 | SEFM | A Theory of Singly-Linked Lists and its Extensible Decision Procedure. | Silvio Ranise, Calogero G. Zarba |
| 2005 | TABLEAUX | A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. | Domenico Cantone, Calogero G. Zarba |
| 2004 | JELIA | Combining Decision Procedures for Sorted Theories. | Cesare Tinelli, Calogero G. Zarba |
| 2004 | LPAR | Combining Lists with Non-stably Infinite Theories. | Pascal Fontaine, Silvio Ranise, Calogero G. Zarba |
| 2002 | CADE | Combining Multisets with Integers. | Calogero G. Zarba |
| 2002 | TABLEAUX | A Tableau Calculus for Combining Non-disjoint Theories. | Calogero G. Zarba |
| 2000 | TABLEAUX | A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. | Domenico Cantone, Calogero G. Zarba |
| 1999 | TABLEAUX | A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. | Domenico Cantone, Calogero G. Zarba |