Concepedia
Statistics
Publications
3
Citations
86
H-Index
Active since
2007
Affiliations
University of Milan(Current)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Institut national de recherche en sciences et technologies du numérique
Enrica Nicolini is an author at University of Milan specializing in theory of computation, computer science, and mathematics.
Publications per year
2007–2010
Decision procedures for extensions of the theory of arrays
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise et al. · Annals of Mathematics and Artificial Intelligence · 2007 · 52 citations
Computing, Computer Science, Mathematics +9
A comprehensive combination framework
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli · ACM Transactions on Computational Logic · 2008 · 21 citations
Computing, Computer Science, Mathematics +16
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch · Fundamenta Informaticae · 2010 · 13 citations
Humanities, Computer Science, Mathematics +13
1–3 of 3