Enrica Nicolini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2006–2009
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CADE | Combinable Extensions of Abelian Groups. | Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch |
| 2009 | TACAS | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. | Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch |
| 2008 | CADE | Towards SMT Model Checking of Array-Based Systems. | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2007 | CADE | Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2006 | CADE | Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. | Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2006 | JELIA | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |