Calogero G. Zarba

31 papers A 2B 7C 1Journal 8Unranked 11

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