 | 2008 |
|---|
| 9 |       | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Towards SMT Model Checking of Array-Based Systems.
IJCAR 2008: 67-82 |
| 8 | | Silvio Ghilardi,
Enrica Nicolini,
Daniele Zucchelli:
A comprehensive combination framework.
ACM Trans. Comput. Log. 9(2): (2008) |
| 2007 |
|---|
| 7 | | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.
CADE 2007: 362-378 |
| 6 | | Silvio Ghilardi,
Silvio Ranise,
Enrica Nicolini,
Daniele Zucchelli:
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.
Deduction and Decision Procedures 2007 |
| 5 | | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Noetherianity and Combination Problems.
FroCos 2007: 206-220 |
| 4 | | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Decision procedures for extensions of the theory of arrays.
Ann. Math. Artif. Intell. 50(3-4): 231-254 (2007) |
| 2006 |
|---|
| 3 | | Maria Paola Bonacina,
Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.
IJCAR 2006: 513-527 |
| 2 | | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.
JELIA 2006: 177-189 |
| 2005 |
|---|
| 1 | | Silvio Ghilardi,
Enrica Nicolini,
Daniele Zucchelli:
A Comprehensive Framework for Combined Decision Procedures.
FroCos 2005: 1-30 |
