Gianluca Amato
Orcid: 0000-0002-6214-5198
According to our database1,
Gianluca Amato
authored at least 48 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog.
CoRR, 2024
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024
2023
CoRR, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Artificial intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from Covid-19. The project A.I.A.Co.
CoRR, 2022
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022
2021
2020
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
2019
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version).
CoRR, 2019
Proceedings of the International Joint Conference on Neural Networks, 2019
2018
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
2017
Proceedings of the Seventh Workshop on Numericaland Symbolic Abstract Domains, 2017
2016
2015
Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the FM 2015: Formal Methods, 2015
2014
Theory Pract. Log. Program., 2014
Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014
2013
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
2012
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012
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
2011
2010
Proceedings of the Static Analysis - 17th International Symposium, 2010
Proceedings of the Runtime Verification - First International Conference, 2010
2009
Theor. Comput. Sci., 2009
2005
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005
2002
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
2001
PhD thesis, 2001
Proceedings of the Declarative Programming, 2001
Proceedings of the Logic for Programming, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
2000
Proceedings of the Static Analysis, 7th International Symposium, 2000
1997
Properties of the Lattice of Observables in Logic Programming.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997