Calogero G. Zarba

Publication Activity (10 Years)

Years Active: 1998-2013
Publications (10 Years): 0

Top Topics

Factors Affecting

Experimental Study

Top Venues

Publications

Giovanni Giuffrida, Calogero G. Zarba
A Formal Sociologic Study of Free Will. CoRR (2013)
Giovanni Giuffrida, Calogero G. Zarba
A Recommendation Algorithm for Personalized Online News based on Collective Intelligence and Content. ICAART (1) (2011)
Lorenzo Di Silvestro, Giovanni Gallo, Giovanni Giuffrida, Calogero G. Zarba
Information Visualization on Organized Crime Trials. Eurographics Italian Chapter Conference (2011)
Fabrizio Caruso, Giovanni Giuffrida, Calogero G. Zarba
Subjective Collaborative Filtering CoRR (2011)
Giovanni Giuffrida, Diego Reforgiato Recupero, Giuseppe Tribulato, Calogero G. Zarba
A banner recommendation system based on web navigation history. CIDM (2011)
Fabrizio Caruso, Giovanni Giuffrida, Calogero G. Zarba
Behavioral On-Line Advertising CoRR (2011)
Giuseppe Giura, Giovanni Giuffrida, Carlo Pennisi, Calogero G. Zarba
Socio-Legal Analysis of Criminal Sentences: A Preliminary Study. ICWSM (2010)
Silvio Ranise, Calogero G. Zarba
A Theory of Singly-Linked Lists and its Extensible Decision Procedure. SEFM (2006)
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
Interpolation for data structures. SIGSOFT FSE (2006)
Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. J. Autom. Reason. 34 (1) (2005)
Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCoS (2005)
Domenico Cantone, Calogero G. Zarba
A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. TABLEAUX (2005)
Cesare Tinelli, Calogero G. Zarba
Combining Nonstably Infinite Theories. J. Autom. Reason. 34 (3) (2005)
Calogero G. Zarba
Combining Sets with Cardinals. J. Autom. Reason. 34 (1) (2005)
Cesare Tinelli, Calogero G. Zarba
Combining Decision Procedures for Sorted Theories. JELIA (2004)
Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. J. Autom. Reason. 33 (3-4) (2004)
Pascal Fontaine, Silvio Ranise, Calogero G. Zarba
Combining Lists with Non-stably Infinite Theories. LPAR (2004)
Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba
Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. 293 (2) (2003)
Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Domenico Cantone, Calogero G. Zarba
A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE (2003)
Calogero G. Zarba
Combining Sets with Elements. Verification: Theory and Practice (2003)
Cesare Tinelli, Calogero G. Zarba
Combining Non-Stably Infinite Theories. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Zohar Manna, Calogero G. Zarba
Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST (2002)
Calogero G. Zarba
A Tableau Calculus for Combining Non-disjoint Theories. TABLEAUX (2002)
Calogero G. Zarba
Combining Sets with Integers. FroCoS (2002)
Calogero G. Zarba
Combining Multisets with Integers. CADE (2002)
Domenico Cantone, Calogero G. Zarba
A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. TABLEAUX (2000)
Domenico Cantone, Calogero G. Zarba
A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. TABLEAUX (1999)
Domenico Cantone, Calogero G. Zarba
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. FTP (LNCS Selection) (1998)