| Making abstract interpretations complete R Giacobazzi, F Ranzato, F Scozzari Journal of the ACM (JACM) 47 (2), 361-416, 2000 | 306 | 2000 |
| A logical model for relational abstract domains R Giacobazzi, F Scozzari ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (5), 1067-1109, 1998 | 71 | 1998 |
| Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination A Porreca, F Scozzari, M Di Nicola BMC Public Health 20 (1), 1-9, 2020 | 48 | 2020 |
| Efficiently intertwining widening and narrowing G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani Science of Computer Programming 120, 1-24, 2016 | 39 | 2016 |
| Logical optimality of groundness analysis F Scozzari Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997 | 30 | 1997 |
| Localizing widening and narrowing G Amato, F Scozzari International Static Analysis Symposium, 25-42, 2013 | 29 | 2013 |
| Complete abstract interpretations made constructive R Giacobazzi, F Ranzato, F Scozzari International Symposium on Mathematical Foundations of Computer Science, 366-377, 1998 | 27 | 1998 |
| Intuitionistic implication in abstract interpretation R Giacobazzi, F Scozzari Programming Languages: Implementations, Logics, and Programs: 9th …, 1997 | 27 | 1997 |
| Making abstract domains condensing R Giacobazzi, F Ranzato, F Scozzari ACM Transactions on Computational Logic (TOCL) 6 (1), 33-60, 2005 | 26 | 2005 |
| The abstract domain of parallelotopes G Amato, F Scozzari Electronic Notes in Theoretical Computer Science 287, 17-28, 2012 | 24 | 2012 |
| Building complete abstract interpretations in a linear logic-based setting R Giacobazzi, F Ranzato, F Scozzari International Static Analysis Symposium, 215-229, 1998 | 22 | 1998 |
| Optimality in goal-dependent analysis of sharing G Amato, F Scozzari Theory and Practice of Logic Programming 9 (05), 617-689, 2009 | 21 | 2009 |
| Discovering invariants via simple component analysis G Amato, M Parton, F Scozzari Journal of Symbolic Computation 47 (12), 1533-1560, 2012 | 20 | 2012 |
| Deriving numerical abstract domains via principal component analysis G Amato, M Parton, F Scozzari International Static Analysis Symposium, 134-150, 2010 | 20 | 2010 |
| Logical optimality of groundness analysis F Scozzari Theoretical Computer Science 277 (1-2), 149-184, 2002 | 19 | 2002 |
| Observational completeness on abstract interpretation G Amato, F Scozzari Fundamenta Informaticae 106 (2-4), 149-173, 2011 | 13 | 2011 |
| Efficient Constraint/Generator Removal from Double Description of Polyhedra G Amato, F Scozzari, E Zaffanella Electronic Notes in Theoretical Computer Science 307, 3-15, 2014 | 12 | 2014 |
| Numerical static analysis with Soot G Amato, S Di Nardo Di Maio, F Scozzari Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the …, 2013 | 12 | 2013 |
| Random: R-based analyzer for numerical domains G Amato, F Scozzari International Conference on Logic for Programming Artificial Intelligence …, 2012 | 12 | 2012 |
| A tool which mines partial execution traces to improve static analysis G Amato, M Parton, F Scozzari Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010 | 12 | 2010 |
