ZUCCHELLI, DANIELE

ZUCCHELLI, DANIELE  

DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE (attivo dal 01/01/1986 al 26/04/2012)  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Combination Methods for Software Verification 2008 D. Zucchelli Doctoral Thesis -
Towards SMT Model-Checking of Array-based Systems 2008 S. GhilardiE. NicoliniD. Zucchelli + Book Part (author) -
A comprehensive combination framework 2008 S. GhilardiE. NicoliniD. Zucchelli Article (author) -
Noetherianity and Combination Problems 2007 Silvio GhilardiDaniele Zucchelli + Book Part (author) -
Decision Procedures for Extensions of the Theory of Arrays 2007 S. GhilardiD. Zucchelli + Article (author) -
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems 2007 Silvio GhilardiDaniele Zucchelli + Book Part (author) -
Recent Advances in Combined Decision Problems 2006 S. GhilardiE. NicoliniD. Zucchelli Book Part (author) -
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures 2006 S. GhilardiE. NicoliniD. Zucchelli + Book Part (author) -
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 2006 S. GhilardiE. NicoliniD. Zucchelli + Book Part (author) -
A Comprehensive Framework for Combining Decision Procedures 2005 Silvio GhilardiNICOLINI, ENRICAZUCCHELLI, DANIELE Book Part (author) -
Helios: a general framework for ontology-based knowledge sharing and evolution in P2P systems 2003 S. CastanoA. FerraraS. MontanelliD. Zucchelli Book Part (author) -