Enrica Nicolini

14 papers A 5B 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2012 J jnl
A Decidability Result for the Model Checking of Infinite-State Systems.
J. Autom. Reason.
Daniele Zucchelli, Enrica Nicolini
2010 J jnl
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator.
Fundam. Informaticae
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009 A conf
Combinable Extensions of Abelian Groups.
CADE
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009 — conf
Data Structures with Arithmetic Constraints: A Non-disjoint Combination.
FroCoS
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009 A conf
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.
TACAS
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2008 J jnl
A comprehensive combination framework.
ACM Trans. Comput. Log.
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli
2008 A conf
Towards SMT Model Checking of Array-Based Systems.
IJCAR
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2007 A conf
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.
CADE
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2007 J jnl
Decision procedures for extensions of the theory of arrays.
Ann. Math. Artif. Intell.
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2007 — conf
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.
Deduction and Decision Procedures
Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli
2007 — conf
Noetherianity and Combination Problems.
FroCoS
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2006 A conf
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.
IJCAR
Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2006 B conf
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.
JELIA
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
2005 — conf
A Comprehensive Framework for Combined Decision Procedures.
FroCoS
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli