Calogero G. Zarba

Available identifiers

zbMath Open zarba.calogero-gMaRDI QIDQ556678

List of research outcomes

Publication	Date of Publication	Type
Heuristic Bayesian targeting of banner advertising	2017-06-20	Paper
Combining Non-Stably Infinite Theories	2013-04-19	Paper
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche”.	2013-04-19	Paper
Formal Methods at the Crossroads. From Panacea to Foundational Support	2010-03-30	Paper
Verification: Theory and Practice	2010-03-23	Paper
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q3437734	2007-05-09	Paper
Combining nonstably infinite theories	2006-11-17	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
A tableau-based decision procedure for a fragment of set theory with iterated membership	2006-01-23	Paper
Combining sets with cardinals	2006-01-23	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case	2005-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4809072	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737128	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4412868	2003-07-17	Paper
Compiling dyadic first-order specifications into map algebra	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2721193	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4503906	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4263009	1999-09-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Calogero G. Zarba