NICOLINI, ENRICA
NICOLINI, ENRICA
DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE (attivo dal 01/01/1986 al 26/04/2012)
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.001 secondi).
A comprehensive combination framework
2008 S. Ghilardi, E. Nicolini, D. Zucchelli
Towards SMT Model-Checking of Array-based Systems
2008 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Recent Advances in Combined Decision Problems
2006 S. Ghilardi, E. Nicolini, D. Zucchelli
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
2006 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures
2006 M.P. Bonacina, S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
A Comprehensive Framework for Combining Decision Procedures
2005 S. Ghilardi, E. Nicolini, D. Zucchelli
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| A comprehensive combination framework | 2008 | S. GhilardiE. NicoliniD. Zucchelli | Article (author) | - | |
| Towards SMT Model-Checking of Array-based Systems | 2008 | S. GhilardiE. NicoliniD. Zucchelli + | Book Part (author) | - | |
| Recent Advances in Combined Decision Problems | 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) | - | |
| Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures | 2006 | S. GhilardiE. NicoliniD. Zucchelli + | Book Part (author) | - | |
| A Comprehensive Framework for Combining Decision Procedures | 2005 | Silvio GhilardiNICOLINI, ENRICAZUCCHELLI, DANIELE | Book Part (author) | - |