Daniele Zucchelli

Available identifiers

Publication	Date of Publication	Type
A comprehensive combination framework	2017-07-12	Paper
A decidability result for the model checking of infinite-state systems	2012-07-31	Paper
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures	2009-03-12	Paper
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems	2009-03-06	Paper
Towards SMT Model Checking of Array-Based Systems	2008-11-27	Paper
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies	2008-10-30	Paper
Noetherianity and Combination Problems	2008-09-16	Paper
Decision procedures for extensions of the theory of arrays	2007-10-23	Paper
Frontiers of Combining Systems	2006-10-10	Paper

This page was built for person: Daniele Zucchelli