IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

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