IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 11 di 11
Titolo Data di pubblicazione Autori Tipo File Abstract
Helios: a general framework for ontology-based knowledge sharing and evolution in P2P systems 2003 S. CastanoA. FerraraS. MontanelliD. Zucchelli Book Part (author) -
A Comprehensive Framework for Combining Decision Procedures 2005 Silvio GhilardiNICOLINI, ENRICAZUCCHELLI, DANIELE 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) -
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures 2006 S. GhilardiE. NicoliniD. Zucchelli + Book Part (author) -
Recent Advances in Combined Decision Problems 2006 S. GhilardiE. NicoliniD. Zucchelli Book Part (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) -
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) -
Mostrati risultati da 1 a 11 di 11
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile