Enrica Nicolini

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A comprehensive combination framework ACM Transactions on Computational Logic	2017-07-12	Paper
A decidability result for the model checking of infinite-state systems Journal of Automated Reasoning	2012-07-31	Paper
Combining satisfiability procedures for unions of theories with a shared counting operator Fundamenta Informaticae	2011-03-28	Paper
Data structures with arithmetic constraints: A non-disjoint combination Frontiers of Combining Systems	2010-01-07	Paper
Combinable Extensions of Abelian Groups Automated Deduction – CADE-22	2009-07-28	Paper
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures Automated Reasoning	2009-03-12	Paper
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems Automated Deduction – CADE-21	2009-03-06	Paper
Towards SMT Model Checking of Array-Based Systems Automated Reasoning	2008-11-27	Paper
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies Logics in Artificial Intelligence	2008-10-30	Paper
Noetherianity and Combination Problems Frontiers of Combining Systems	2008-09-16	Paper
Decision procedures for extensions of the theory of arrays Annals of Mathematics and Artificial Intelligence	2007-10-23	Paper
Frontiers of Combining Systems Lecture Notes in Computer Science	2006-10-10	Paper

Research outcomes over time

This page was built for person: Enrica Nicolini