Calogero G. Zarba

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Heuristic Bayesian targeting of banner advertising Optimization and Engineering	2017-06-20	Paper
Combining non-stably infinite theories Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
Combining decision procedures. Lecture Notes in Computer Science	2010-03-30	Paper
Verification: Theory and Practice Lecture Notes in Computer Science	2010-03-23	Paper
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices Theory and Applications of Relational Structures as Knowledge Instruments II	2009-01-20	Paper
scientific article; zbMATH DE number 5151001 (Why is no real title available?)	2007-05-09	Paper
Combining nonstably infinite theories Journal of Automated Reasoning	2006-11-17	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper
Frontiers of Combining Systems Lecture Notes in Computer Science	2006-10-10	Paper
Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science	2006-07-07	Paper
A tableau-based decision procedure for a fragment of set theory with iterated membership Journal of Automated Reasoning	2006-01-23	Paper
Combining sets with cardinals Journal of Automated Reasoning	2006-01-23	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case Journal of Automated Reasoning	2005-06-22	Paper
scientific article; zbMATH DE number 2090313 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2086594 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1950270 (Why is no real title available?)	2003-07-17	Paper
Compiling dyadic first-order specifications into map algebra Theoretical Computer Science	2003-05-14	Paper
scientific article; zbMATH DE number 1612548 (Why is no real title available?)	2001-07-01	Paper
scientific article; zbMATH DE number 1507186 (Why is no real title available?)	2000-09-14	Paper
scientific article; zbMATH DE number 1341470 (Why is no real title available?)	1999-09-22	Paper

Research outcomes over time

This page was built for person: Calogero G. Zarba