Journal papers

1. S. Ghilardi, E. Nicolini, D. Zucchelli.
   A Comprehensive Combination Framework.
   ACM Transactions on Computational Logic, 9(2):1-54, 2008.
   BibTeX entry   Preprint (PDF)
2. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Decision Procedures for Extensions of the Theory of Arrays.
   Annals of Mathematics and Artificial Intelligence, 50(3-4):231-254, 2007.
   BibTeX entry   Preprint (PDF)

Conference papers

1. E. Nicolini, C. Ringeissen, M. Rusinowitch.
   Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.
   In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009),
   To appear.
   BibTeX entry
2. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Towards SMT Model Checking of Array-based Systems.
   In Proceedings of the 4th International Conference on Automated Reasoning (IJCAR 2008),
   volume 5195 of Lecture Notes in Computer Science, pages 67-82, Sydney (Australia). Springer, 2008.
   BibTeX entry   Paper (PDF)   Slides (PDF)
3. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Noetherianity and Combination Problems.
   In Proceedings of the 6th International Workshop on Frontiers of Combining System (FroCoS 2007),
   volume 4720 of Lecture Notes in Computer Science, pages 206-220, Liverpool (UK). Springer, 2007.
   BibTeX entry   Paper (PDF)   Slides (PDF)
4. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.
   In Proceedings of the 21st Conference on Automated Deduction (CADE 2007),
   volume 4603 of Lecture Notes in Computer Science, pages 362-378, Bremen (Germany). Springer, 2007.
   BibTeX entry   Paper (PDF)   Slides (PDF)
5. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.
   In Proceedings of the 10th European Conference on Logic in Artificial Intelligence (JELIA 2006),
   volume 4160 of Lecture Notes in Computer Science, pages 177-189, Liverpool (UK). Springer, 2006.
   BibTeX entry   Paper (PDF)   Slides (PDF)
6. M. P. Bonacina, S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures.
   In Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR 2006),
   volume 4130 of Lecture Notes in Computer Science, pages 513-527, Seattle (WA, USA). Springer, 2006.
   BibTeX entry   Paper (PDF)   Slides (PDF)
7. S. Ghilardi, E. Nicolini, D. Zucchelli.
   A Comprehensive Framework for Combining Decision Procedures.
   In Proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005),
   volume 3717 of Lecture Notes in Computer Science, pages 1-30, Vienna (Austria). Springer, 2005.
   BibTeX entry   Paper (PDF)   Slides (PDF)

Workshop papers

1. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Towards SMT Model Checking of Array-based Systems.
   In 6th International Workshop on Satisfiability Modulo Theories (SMT 2007),
   Princeton (NJ, USA), 2008. Presentation-only paper (shortened version of the IJCAR 2008 paper).
   BibTeX entry
2. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Combination Methods for Model-Checking of Infinite-State Systems.
   In 5th International Workshop on Satisfiability Modulo Theories (SMT 2007),
   Berlin (Germany), 2007. Presentation-only paper (shortened version of the CADE 2007 paper).
   BibTeX entry
3. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Combination Methods for Model-Checking of Infinite-State Systems.
   In Convegno Italiano di Logica Computazionale (CILC 2007),
   Messina (Italy), 2007. Presentation-only paper (shortened version of the CADE 2007 paper).
   BibTeX entry
4. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.
   In Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006),
   Seattle (WA, USA), 2006. Presentation-only paper (shortened version of the JELIA 2006 paper).
   BibTeX entry

Technical reports

1. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Towards SMT Model Checking of Array-based Systems.
   Rapporto Interno 318-08, Dipartimento di Scienze dell'Informazione,
   Università degli Studi di Milano, Milano (Italy), 2008.
   BibTeX entry   Paper (PDF)
2. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.
   Rapporto Interno 313-07, Dipartimento di Scienze dell'Informazione,
   Università degli Studi di Milano, Milano (Italy), 2007.
   BibTeX entry   Paper (PDF)
3. S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.
   Rapporto Interno 309-06, Dipartimento di Scienze dell'Informazione,
   Università degli Studi di Milano, Milano (Italy), 2006.
   BibTeX entry   Paper (PDF)
4. M. P. Bonacina, S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli.
   Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures.
   Rapporto Interno 308-06, Dipartimento di Scienze dell'Informazione,
   Università degli Studi di Milano, Milano (Italy), 2006.
   BibTeX entry   Paper (PDF)
5. S. Ghilardi, E. Nicolini, D. Zucchelli.
   A Comprehensive Framework for Combining Decision Procedures.
   Rapporto Interno 304-05, Dipartimento di Scienze dell'Informazione,
   Università degli Studi di Milano, Milano (Italy), 2005.
   BibTeX entry   Paper (PDF)

Book chapters

1. S. Ghilardi, E. Nicolini, D. Zucchelli.
   Recent Advances in Combined Decision Problems.
   In E. Ballo and M. Franchella (editors), Logic and Philosophy in Italy.
   Polimetrica, Milano (Italy), 2006.
   BibTeX entry   Paper (PDF)

PhD thesis

E. Nicolini.
Combined Decision Procedures for Constraint Satisfiability.
PhD Thesis, Università degli Studi di Milano, 2006.
BibTeX entry   Paper (PDF)