According to our database1, Gianluca Amato authored at least 35 papers between 1997 and 2020.
Legend:Book In proceedings Article PhD thesis Other
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9×9 Go.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version).
Proceedings of the International Joint Conference on Neural Networks, 2019
Electron. Notes Theor. Comput. Sci., 2018
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
Electron. Notes Theor. Comput. Sci., 2016
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Theory Pract. Log. Program., 2014
Electron. Notes Theor. Comput. Sci., 2014
Proceedings of the Static Analysis - 20th International Symposium, 2013
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013
Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata.
Proceedings of the Motion in Games - 5th International Conference, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Static Analysis - 17th International Symposium, 2010
Proceedings of the Runtime Verification - First International Conference, 2010
Theor. Comput. Sci., 2009
Electron. Notes Theor. Comput. Sci., 2006
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Declarative Programming, 2001
Proceedings of the Logic for Programming, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
Proceedings of the Static Analysis, 7th International Symposium, 2000
Properties of the Lattice of Observables in Logic Programming.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997