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.0 secondi).
Towards SMT Model-Checking of Array-based Systems
2008 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
A comprehensive combination framework
2008 S. Ghilardi, E. Nicolini, 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
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
2006 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Recent Advances in Combined Decision Problems
2006 S. Ghilardi, E. Nicolini, D. Zucchelli
A Comprehensive Framework for Combining Decision Procedures
2005 S. Ghilardi, E. Nicolini, D. Zucchelli
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| 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) | - | |
| Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures | 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) | - | |
| Recent Advances in Combined Decision Problems | 2006 | S. GhilardiE. NicoliniD. Zucchelli | Book Part (author) | - | |
| A Comprehensive Framework for Combining Decision Procedures | 2005 | Silvio GhilardiNICOLINI, ENRICAZUCCHELLI, DANIELE | Book Part (author) | - |