Daniele Zucchelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2006–2008
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CADE | Towards SMT Model Checking of Array-Based Systems. | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2007 | CADE | Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2006 | CADE | Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. | Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2006 | JELIA | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |