The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Calogero G. Zarba: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  24. Socio-Legal Analysis of Criminal Sentences: A Preliminary Study. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002