Följ
Gianluca Amato
Gianluca Amato
Università di Chieti-Pescara
Verifierad e-postadress på unich.it - Startsida
Titel
Citeras av
Citeras av
År
Efficiently intertwining widening and narrowing
G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani
Science of Computer Programming 120, 1-24, 2016
392016
On the algebraic structure of declarative programming languages
G Amato, J Lipton, R McGrail
Theoretical Computer Science 410 (46), 4626-4671, 2009
352009
Localizing widening and narrowing
G Amato, F Scozzari
International Static Analysis Symposium, 25-42, 2013
302013
The abstract domain of parallelotopes
G Amato, F Scozzari
Electronic Notes in Theoretical Computer Science 287, 17-28, 2012
252012
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
242019
Optimality in goal-dependent analysis of sharing
G Amato, F Scozzari
Theory and Practice of Logic Programming 9 (5), 617-689, 2009
222009
Discovering invariants via simple component analysis
G Amato, M Parton, F Scozzari
Journal of Symbolic Computation 47 (12), 1533-1560, 2012
202012
Deriving numerical abstract domains via principal component analysis
G Amato, M Parton, F Scozzari
International Static Analysis Symposium, 134-150, 2010
202010
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
132013
Observational completeness on abstract interpretation
G Amato, F Scozzari
Fundamenta Informaticae 106 (2-4), 149-173, 2011
132011
Properties of the Lattice of Observables in Logic Programming.
G Amato, G Levi
APPIA-GULP-PRODE, 175-188, 1997
131997
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
122014
Random: R-based analyzer for numerical domains
G Amato, F Scozzari
International Conference on Logic for Programming Artificial Intelligence …, 2012
122012
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
122010
SAI: A sensible artificial intelligence that plays with handicap and targets high scores in 9× 9 go
F Morandin, G Amato, M Fantozzi, R Gini, C Metta, M Parton
ECAI 2020, 403-410, 2020
102020
Abstract compilation for sharing analysis
G Amato, F Spoto
International Symposium on Functional and Logic Programming, 311-325, 2001
102001
Inferring linear invariants with parallelotopes
G Amato, M Rubino, F Scozzari
Science of Computer Programming 148, 161-188, 2017
92017
On collecting semantics for program analysis
G Amato, MC Meo, F Scozzari
Theoretical Computer Science 823, 1-25, 2020
82020
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
72019
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
72019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20