| 2006 |
|---|
| 23 | EE | Silvio Ranise,
Calogero G. Zarba:
A Theory of Singly-Linked Lists and its Extensible Decision Procedure.
SEFM 2006: 206-215 |
| 22 | EE | Deepak Kapur,
Rupak Majumdar,
Calogero G. Zarba:
Interpolation for data structures.
SIGSOFT FSE 2006: 105-116 |
| 21 | EE | 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 | EE | Silvio Ranise,
Christophe Ringeissen,
Calogero G. Zarba:
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.
FroCos 2005: 48-64 |
| 19 | EE | 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 | EE | Calogero G. Zarba:
Combining Sets with Cardinals.
J. Autom. Reasoning 34(1): 1-29 (2005) |
| 17 | EE | 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 | EE | Cesare Tinelli,
Calogero G. Zarba:
Combining Nonstably Infinite Theories.
J. Autom. Reasoning 34(3): 209-238 (2005) |
| 2004 |
|---|
| 15 | EE | Cesare Tinelli,
Calogero G. Zarba:
Combining Decision Procedures for Sorted Theories.
JELIA 2004: 641-653 |
| 14 | EE | Pascal Fontaine,
Silvio Ranise,
Calogero G. Zarba:
Combining Lists with Non-stably Infinite Theories.
LPAR 2004: 51-66 |
| 13 | EE | 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 | EE | Calogero G. Zarba:
Combining Sets with Elements.
Verification: Theory and Practice 2003: 762-782 |
| 10 | EE | 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 | EE | 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 | EE | Zohar Manna,
Calogero G. Zarba:
Combining Decision Procedures.
10th Anniversary Colloquium of UNU/IIST 2002: 381-422 |
| 6 | EE | Calogero G. Zarba:
Combining Multisets with Integers.
CADE 2002: 363-376 |
| 5 | EE | Calogero G. Zarba:
Combining Sets with Integers.
FroCos 2002: 103-116 |
| 4 | EE | 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 | EE | 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 |
