Gianluca Amato

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 24

Top Topics

Artificial Intelligence

Analytically Derived

Logical Language

Top Venues

Electron. Notes Theor. Comput. Sci.

Sci. Comput. Program.

Publications

Gianluca Amato, Francesca Scozzari
Optimal matching for sharing and linearity analysis. CoRR (2024)
Carlo Metta, Marco Fantozzi, Andrea Papini, Gianluca Amato, Matteo Bergamaschi, Silvia Giulia Galfrè, Alessandro Marchetti, Michelangelo Vegliò, Maurizio Parton, Francesco Morandin
Increasing biases can be more efficient than increasing weights. WACV (2024)
Gianluca Amato, Mary DeMarco, James Lipton
Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog. CoRR (2024)
Carlo Metta, Marco Fantozzi, Andrea Papini, Gianluca Amato, Matteo Bergamaschi, Silvia Giulia Galfrè, Alessandro Marchetti, Michelangelo Vegliò, Maurizio Parton, Francesco Morandin
Improving Performance in Neural Networks by Dendrites-Activated Connections. CoRR (2023)
Gianluca Amato, Francesca Scozzari
JGMP: Java bindings and wrappers for the GMP library. SoftwareX 23 (2023)
Gianluca Amato, Francesca Scozzari
The ScalaFix Equation Solver. FM (2023)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
The role of linearity in sharing analysis. Math. Struct. Comput. Sci. 32 (1) (2022)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
On the Need for a Common API for Abstract Domains of Object-Oriented Programs. FTfJP@ECOOP (2022)
Luca Pasqualini, Maurizio Parton, Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta, Marco Fantozzi, Alessandro Marchetti
Score vs. Winrate in Score-Based Games: which Reward for Reinforcement Learning? ICMLA (2022)
Maurizio Parton, Marco Angelone, Carlo Metta, Stefania D'Ovidio, Roberta Massarelli, Luca Moscardelli, Gianluca Amato
Artificial intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from Covid-19. The project A.I.A.Co. CoRR (2022)
Luca Pasqualini, Maurizio Parton, Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta
Leela Zero Score: a Study of a Score-based AlphaGo Zero. CoRR (2022)
Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi
Universal Algebra in UniMath. CoRR (2021)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
On collecting semantics for program analysis. Theor. Comput. Sci. 823 (2020)
Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi
Universal Algebra in UniMath. CoRR (2020)
Francesco Morandin, Gianluca Amato, Marco Fantozzi, Rosa Gini, Carlo Metta, Maurizio Parton
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9×9 Go. ECAI (2020)
Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta, Maurizio Parton, Gian-Carlo Pascutto
SAI a Sensible Artificial Intelligence that plays Go. IJCNN (2019)
Francesco Morandin, Gianluca Amato, Marco Fantozzi, Rosa Gini, Carlo Metta, Maurizio Parton
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version). CoRR (2019)
Gianluca Amato, Marco Rubino
Experimental Evaluation of Numerical Domains for Inferring Ranges. Electron. Notes Theor. Comput. Sci. 334 (2018)
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
Descending chains and narrowing on template abstract domains. Acta Informatica 55 (6) (2018)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
A Taxonomy of Program Analyses. ICTCS (2018)
Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta, Maurizio Parton, Gian-Carlo Pascutto
SAI, a Sensible Artificial Intelligence that plays Go. CoRR (2018)
Gianluca Amato, Marco Rubino, Francesca Scozzari
Inferring linear invariants with parallelotopes. Sci. Comput. Program. 148 (2017)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
Exploiting Linearity in Sharing Analysis of Object-oriented Programs. Electron. Notes Theor. Comput. Sci. 322 (2016)
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
Efficiently intertwining widening and narrowing. Sci. Comput. Program. 120 (2016)
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
Sum of Abstract Domains. NFM (2015)
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
Narrowing Operators on Template Abstract Domains. FM (2015)
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
Efficiently intertwining widening and narrowing. CoRR (2015)
Gianluca Amato, Francesca Scozzari, Enea Zaffanella
Efficient Constraint/Generator Removal from Double Description of Polyhedra. Electron. Notes Theor. Comput. Sci. 307 (2014)
Gianluca Amato, Francesca Scozzari
Optimal multibinding unification for sharing and linearity analysis. Theory Pract. Log. Program. 14 (3) (2014)
Gianluca Amato, Francesca Scozzari
Optimal multi-binding unification for sharing and linearity analysis. CoRR (2013)
Gianluca Amato, Francesca Scozzari
Localizing Widening and Narrowing. SAS (2013)
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
Numerical static analysis with Soot. SOAP@PLDI (2013)
Gianluca Amato, Francesca Scozzari
The Abstract Domain of Parallelotopes. Electron. Notes Theor. Comput. Sci. 287 (2012)
Gianluca Amato, Maurizio Parton, Francesca Scozzari
Discovering invariants via simple component analysis. J. Symb. Comput. 47 (12) (2012)
Gianluca Amato, Francesca Scozzari
Random: R-Based Analyzer for Numerical Domains. LPAR (2012)
Gianluca Amato, Francesca Scozzari
Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata. MIG (2012)
Gianluca Amato, Francesca Scozzari
Observational Completeness on Abstract Interpretation. Fundam. Informaticae 106 (2-4) (2011)
Gianluca Amato, Francesca Scozzari
On the interaction between sharing and linearity. Theory Pract. Log. Program. 10 (1) (2010)
Gianluca Amato, Maurizio Parton, Francesca Scozzari
A Tool Which Mines Partial Execution Traces to Improve Static Analysis. RV (2010)
Gianluca Amato, Maurizio Parton, Francesca Scozzari
Deriving Numerical Abstract Domains via Principal Component Analysis. SAS (2010)
Gianluca Amato, James Lipton, Robert McGrail
On the algebraic structure of declarative programming languages. Theor. Comput. Sci. 410 (46) (2009)
Gianluca Amato, Francesca Scozzari
Observational Completeness on Abstract Interpretation. WoLLIC (2009)
Gianluca Amato, Francesca Scozzari
Optimality in goal-dependent analysis of Sharing. Theory Pract. Log. Program. 9 (5) (2009)
Gianluca Amato, Francesca Scozzari
On the interaction between sharing and linearity CoRR (2007)
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
Modeling Web Applications by the Multiple Levels of Integrity Policy. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV (2005)
Gianluca Amato, Francesca Scozzari
Optimality in Goal-Dependent Analysis of Sharing CoRR (2005)
Gianluca Amato, Francesca Scozzari
Optimality in Goal-Dependent Analysis of Sharing. APPIA-GULP-PRODE (2002)
Gianluca Amato, Francesca Scozzari
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. LOPSTR (2002)
Gianluca Amato
Correct Answers for First Order Logic. APPIA-GULP-PRODE 48 (2001)
Gianluca Amato, James Lipton
Indexed Categories and Bottom-Up Semantics of Logic Programs. LPAR (2001)
Gianluca Amato, Fausto Spoto
Abstract Compilation for Sharing Analysis. FLOPS (2001)
Gianluca Amato, Giorgio Levi
Abstract Interpretation Based Semantics of Sequent Calculi. SAS (2000)
Gianluca Amato, Giorgio Levi
Properties of the Lattice of Observables in Logic Programming. APPIA-GULP-PRODE (1997)