Enrica Nicolini

Available identifiers

Publication	Date of Publication	Type
A comprehensive combination framework	2017-07-12	Paper
A decidability result for the model checking of infinite-state systems	2012-07-31	Paper
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator	2011-03-28	Paper
Data Structures with Arithmetic Constraints: A Non-disjoint Combination	2010-01-07	Paper
Combinable Extensions of Abelian Groups	2009-07-28	Paper
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets	2009-03-31	Paper
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures	2009-03-12	Paper
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems	2009-03-06	Paper
Towards SMT Model Checking of Array-Based Systems	2008-11-27	Paper
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies	2008-10-30	Paper
Noetherianity and Combination Problems	2008-09-16	Paper
Decision procedures for extensions of the theory of arrays	2007-10-23	Paper
Frontiers of Combining Systems	2006-10-10	Paper

This page was built for person: Enrica Nicolini