A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. - Domenico Cantone; Calogero G. Zarba (FTP (LNCS Selection), 1998)

A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. - Domenico Cantone; Calogero G. Zarba (TABLEAUX, 1999)

A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. - Domenico Cantone; Calogero G. Zarba (TABLEAUX, 2000)

Combining Multisets with Integers. - Calogero G. Zarba (CADE, 2002)

Combining Sets with Integers. - Calogero G. Zarba (FroCoS, 2002)

A Tableau Calculus for Combining Non-disjoint Theories. - Calogero G. Zarba (TABLEAUX, 2002)

Combining Decision Procedures. - Zohar Manna; Calogero G. Zarba (10th Anniversary Colloquium of UNU/IIST, 2002)

A Decision Procedure for Monotone Functions over Lattices. - Domenico Cantone; Calogero G. Zarba (APPIA-GULP-PRODE, 2003)

Combining Sets with Elements. - Calogero G. Zarba (Verification: Theory and Practice, 2003)

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. - Domenico Cantone; Jacob T. Schwartz; Calogero G. Zarba (FTP, 2003)

Combining Non-Stably Infinite Theories. - Cesare Tinelli; Calogero G. Zarba (FTP, 2003)

Compiling dyadic first-order specifications into map algebra. - Domenico Cantone; Andrea Formisano 001; Eugenio G. Omodeo; Calogero G. Zarba (Theor. Comput. Sci., 2003)

Combining Decision Procedures for Sorted Theories. - Cesare Tinelli; Calogero G. Zarba (JELIA, 2004)

Combining Lists with Non-stably Infinite Theories. - Pascal Fontaine; Silvio Ranise; Calogero G. Zarba (LPAR, 2004)

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. - Calogero G. Zarba; Domenico Cantone; Jacob T. Schwartz (J. Autom. Reason., 2004)

The combination problem in automated reasoning. - Calogero G. Zarba (2004)

Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. - Silvio Ranise; Christophe Ringeissen; Calogero G. Zarba (FroCoS, 2005)

A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. - Domenico Cantone; Calogero G. Zarba (TABLEAUX, 2005)

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. - Domenico Cantone; Calogero G. Zarba; Rosa Ruggeri Cannata (J. Autom. Reason., 2005)

Combining Nonstably Infinite Theories. - Cesare Tinelli; Calogero G. Zarba (J. Autom. Reason., 2005)

Combining Sets with Cardinals. - Calogero G. Zarba (J. Autom. Reason., 2005)

A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. - Domenico Cantone; Calogero G. Zarba (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

A Theory of Singly-Linked Lists and its Extensible Decision Procedure. - Silvio Ranise; Calogero G. Zarba (SEFM, 2006)

Interpolation for data structures. - Deepak Kapur; Rupak Majumdar; Calogero G. Zarba (SIGSOFT FSE, 2006)

Socio-Legal Analysis of Criminal Sentences: A Preliminary Study. - Giuseppe Giura; Giovanni Giuffrida; Carlo Pennisi; Calogero G. Zarba (ICWSM, 2010)

A banner recommendation system based on web navigation history. - Giovanni Giuffrida; Diego Reforgiato Recupero; Giuseppe Tribulato; Calogero G. Zarba (CIDM, 2011)

Information Visualization on Organized Crime Trials. - Lorenzo Di Silvestro; Giovanni Gallo; Giovanni Giuffrida; Calogero G. Zarba (Eurographics Italian Chapter Conference, 2011)

A Recommendation Algorithm for Personalized Online News based on Collective Intelligence and Content. - Giovanni Giuffrida; Calogero G. Zarba (ICAART (1), 2011)

Subjective Collaborative Filtering - Fabrizio Caruso; Giovanni Giuffrida; Calogero G. Zarba (CoRR, 2011)

Behavioral On-Line Advertising - Fabrizio Caruso; Giovanni Giuffrida; Calogero G. Zarba (CoRR, 2011)

A Formal Sociologic Study of Free Will. - Giovanni Giuffrida; Calogero G. Zarba (CoRR, 2013)