| Efficiently intertwining widening and narrowing G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani Science of Computer Programming 120, 1-24, 2016 | 41 | 2016 |
| On the algebraic structure of declarative programming languages G Amato, J Lipton, R McGrail Theoretical Computer Science 410 (46), 4626-4671, 2009 | 32 | 2009 |
| Localizing widening and narrowing G Amato, F Scozzari International Static Analysis Symposium, 25-42, 2013 | 31 | 2013 |
| The abstract domain of parallelotopes G Amato, F Scozzari Electronic Notes in Theoretical Computer Science 287, 17-28, 2012 | 24 | 2012 |
| Deriving numerical abstract domains via principal component analysis G Amato, M Parton, F Scozzari International Static Analysis Symposium, 134-150, 2010 | 20 | 2010 |
| Discovering invariants via simple component analysis G Amato, M Parton, F Scozzari Journal of Symbolic Computation 47 (12), 1533-1560, 2012 | 19 | 2012 |
| Optimality in goal-dependent analysis of sharing G Amato, F Scozzari Theory and Practice of Logic Programming 9 (5), 617-689, 2009 | 19 | 2009 |
| SAI a Sensible Artificial Intelligence that plays Go F Morandin, G Amato, R Gini, C Metta, M Parton, GC Pascutto 2019 International Joint Conference on Neural Networks (IJCNN), 1-8, 2019 | 18 | 2019 |
| Properties of the Lattice of Observables in Logic Programming. G Amato, G Levi APPIA-GULP-PRODE, 175-188, 1997 | 13 | 1997 |
| 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 |
| Observational completeness on abstract interpretation G Amato, F Scozzari Fundamenta Informaticae 106 (2-4), 149-173, 2011 | 11 | 2011 |
| Abstract compilation for sharing analysis G Amato, F Spoto Functional and Logic Programming: 5th International Symposium, FLOPS 2001 …, 2001 | 10 | 2001 |
| Inferring linear invariants with parallelotopes G Amato, M Rubino, F Scozzari Science of Computer Programming 148, 161-188, 2017 | 9 | 2017 |
| SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) F Morandin, G Amato, M Fantozzi, R Gini, C Metta, M Parton arXiv preprint arXiv:1905.10863, 2019 | 8 | 2019 |
| Primitive abundant and weird numbers with many prime factors G Amato, MF Hasler, G Melfi, M Parton Journal of number theory 201, 436-459, 2019 | 7 | 2019 |
| Sequent calculi and indexed categories as a foundation for logic programming G Amato SEU, Servizio editoriale universitario, 2001 | 7 | 2001 |
| Indexed categories and bottom-up semantics of logic programs G Amato, J Lipton Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001 | 7 | 2001 |
Francesca ScozzariAssociate Professor of Computer Science, Università di Chieti-PescaraVerified email at unich.it
