Calogero G. Zarba

	2006
23		Silvio Ranise, Calogero G. Zarba: A Theory of Singly-Linked Lists and its Extensible Decision Procedure. SEFM 2006: 206-215
22		Deepak Kapur, Rupak Majumdar, Calogero G. Zarba: Interpolation for data structures. SIGSOFT FSE 2006: 105-116
21		Domenico Cantone, Calogero G. Zarba: A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 318-333
	2005
20		Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba: Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCos 2005: 48-64
19		Domenico Cantone, Calogero G. Zarba: A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. TABLEAUX 2005: 93-107
18		Calogero G. Zarba: Combining Sets with Cardinals. J. Autom. Reasoning 34(1): 1-29 (2005)
17		Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata: A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. J. Autom. Reasoning 34(1): 49-72 (2005)
16		Cesare Tinelli, Calogero G. Zarba: Combining Nonstably Infinite Theories. J. Autom. Reasoning 34(3): 209-238 (2005)
	2004
15		Cesare Tinelli, Calogero G. Zarba: Combining Decision Procedures for Sorted Theories. JELIA 2004: 641-653
14		Pascal Fontaine, Silvio Ranise, Calogero G. Zarba: Combining Lists with Non-stably Infinite Theories. LPAR 2004: 51-66
13		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. Reasoning 33(3-4): 251-269 (2004)
	2003
12		Domenico Cantone, Calogero G. Zarba: A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003: 1-12
11		Calogero G. Zarba: Combining Sets with Elements. Verification: Theory and Practice 2003: 762-782
10		Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba: A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
9		Cesare Tinelli, Calogero G. Zarba: Combining Non-Stably Infinite Theories. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
8		Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba: Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. 293(2): 447-475 (2003)
	2002
7		Zohar Manna, Calogero G. Zarba: Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST 2002: 381-422
6		Calogero G. Zarba: Combining Multisets with Integers. CADE 2002: 363-376
5		Calogero G. Zarba: Combining Sets with Integers. FroCos 2002: 103-116
4		Calogero G. Zarba: A Tableau Calculus for Combining Non-disjoint Theories. TABLEAUX 2002: 315-329
	2000
3		Domenico Cantone, Calogero G. Zarba: A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. TABLEAUX 2000: 143-159
	1999
2		Domenico Cantone, Calogero G. Zarba: A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. TABLEAUX 1999: 97-112
	1998
1		Domenico Cantone, Calogero G. Zarba: A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. FTP (LNCS Selection) 1998: 126-136

Coauthor Index

1	Rosa Ruggeri Cannata	[17]
2	Domenico Cantone	[1] [2] [3] [8] [10] [12] [13] [17] [19] [21]
3	Pascal Fontaine	[14]
4	Andrea Formisano	[8]
5	Deepak Kapur	[22]
6	Rupak Majumdar	[22]
7	Zohar Manna	[7]
8	Eugenio G. Omodeo	[8]
9	Silvio Ranise	[14] [20] [23]
10	Christophe Ringeissen	[20]
11	Jacob T. Schwartz	[10] [13]
12	Cesare Tinelli	[9] [15] [16]

Colors in the list of coauthors