Enrica Nicolini

According to our database, Enrica Nicolini authored at least 14 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

A Decidability Result for the Model Checking of Infinite-State Systems.

Daniele Zucchelli, Enrica Nicolini

J. Autom. Reason., 2012

2010

Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator.

Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch

Fundam. Informaticae, 2010

2009

Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.

Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Data Structures with Arithmetic Constraints: A Non-disjoint Combination.

Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Combinable Extensions of Abelian Groups.

Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch

Proceedings of the Automated Deduction, 2009

2008

A comprehensive combination framework.

Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli

ACM Trans. Comput. Log., 2008

Towards SMT Model Checking of Array-Based Systems.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Decision procedures for extensions of the theory of arrays.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Ann. Math. Artif. Intell., 2007

Noetherianity and Combination Problems.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.

Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli

Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007

Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Automated Deduction, 2007

2006

Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.

Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

A Comprehensive Framework for Combined Decision Procedures.

Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005