Gianluca Amato

63 papers A 2B 9C 4Misc 1Journal 29Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
CONNECT: find your dream team.
SoftwareX
Gianluca Amato, Luca Di Vita, Paolo Melchiorre, Maria Chiara Meo, Francesca Scozzari, Matteo Vitali
2025 — conf
Displayed Universal Algebra in UniMath: Basic Definitions and Results.
ICTCS
Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi
2025 — conf
Enabling research collaboration with AI: the BI4E experience with large language models.
Ital-IA
Gianluca Amato, Marcello Costantini, Luca Di Vita, Francesca Ferri, Paolo Melchiorre, Maria Chiara Meo, Francesca Scozzari, Matteo Vitali
2025 J jnl
Increasing biases can be more efficient than increasing weights.
Adv. Data Anal. Classif.
Carlo Metta, Marco Fantozzi, Andrea Papini, Gianluca Amato, Matteo Bergamaschi, Andrea Fois, Silvia Giulia Galfrè, Alessandro Marchetti, Michelangelo Vegliò, Maurizio Parton, Francesco Morandin
2025 — conf
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic.
ICTCS
Gianluca Amato, Nicola Balestra, Marco Maggesi, Maurizio Parton
2024 — conf
AI for Sustainability: Research at Ud'A Node.
Ital-IA
Gianluca Amato, Alessia Amelio, Luciano Caroprese, Piero Chiacchiaretta, Fabio Fioravanti, Luigi Ippoliti, Maria Chiara Meo, Gianpiero Monaco, Christian Morbidoni, Luca Moscardelli, Maurizio Parton, Francesca Scozzari
2024 A conf
Increasing biases can be more efficient than increasing weights.
WACV
Carlo Metta, Marco Fantozzi, Andrea Papini, Gianluca Amato, Matteo Bergamaschi, Silvia Giulia Galfrè, Alessandro Marchetti, Michelangelo Vegliò, Maurizio Parton, Francesco Morandin
2024 J jnl
Optimal Matching for Sharing and Linearity Analysis.
Theory Pract. Log. Program.
Gianluca Amato, Francesca Scozzari
2024 J jnl
Optimal matching for sharing and linearity analysis.
CoRR
Gianluca Amato, Francesca Scozzari
2024 J jnl
Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog.
CoRR
Gianluca Amato, Mary DeMarco, James Lipton
2024 J jnl
Universal algebra in UniMath.
Math. Struct. Comput. Sci.
Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi
2023 J jnl
Improving Performance in Neural Networks by Dendrites-Activated Connections.
CoRR
Carlo Metta, Marco Fantozzi, Andrea Papini, Gianluca Amato, Matteo Bergamaschi, Silvia Giulia Galfrè, Alessandro Marchetti, Michelangelo Vegliò, Maurizio Parton, Francesco Morandin
2023 J jnl
JGMP: Java bindings and wrappers for the GMP library.
SoftwareX
Gianluca Amato, Francesca Scozzari
2023 B conf
The ScalaFix Equation Solver.
FM
Gianluca Amato, Francesca Scozzari
2022 J jnl
Artificial intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from Covid-19. The project A.I.A.Co.
CoRR
Maurizio Parton, Marco Angelone, Carlo Metta, Stefania D'Ovidio, Roberta Massarelli, Luca Moscardelli, Gianluca Amato
2022 J jnl
Leela Zero Score: a Study of a Score-based AlphaGo Zero.
CoRR
Luca Pasqualini, Maurizio Parton, Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta
2022 — conf
On the Need for a Common API for Abstract Domains of Object-Oriented Programs.
FTfJP@ECOOP
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2022 C conf
Score vs. Winrate in Score-Based Games: which Reward for Reinforcement Learning?
ICMLA
Luca Pasqualini, Maurizio Parton, Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta, Marco Fantozzi, Alessandro Marchetti
2022 J jnl
The role of linearity in sharing analysis.
Math. Struct. Comput. Sci.
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2021 J jnl
Universal Algebra in UniMath.
CoRR
Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi
2020 J jnl
On collecting semantics for program analysis.
Theor. Comput. Sci.
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2020 A conf
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9×9 Go.
ECAI
Francesco Morandin, Gianluca Amato, Marco Fantozzi, Rosa Gini, Carlo Metta, Maurizio Parton
2020 J jnl
Universal Algebra in UniMath.
CoRR
Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi
2019 B conf
SAI a Sensible Artificial Intelligence that plays Go.
IJCNN
Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta, Maurizio Parton, Gian-Carlo Pascutto
2019 J jnl
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version).
CoRR
Francesco Morandin, Gianluca Amato, Marco Fantozzi, Rosa Gini, Carlo Metta, Maurizio Parton
2018 — conf
A Taxonomy of Program Analyses.
ICTCS
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2018 J jnl
Descending chains and narrowing on template abstract domains.
Acta Informatica
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
2018 J jnl
SAI, a Sensible Artificial Intelligence that plays Go.
CoRR
Francesco Morandin, Gianluca Amato, Rosa Gini, Carlo Metta, Maurizio Parton, Gian-Carlo Pascutto
2017 — conf
Experimental Evaluation of Numerical Domains for Inferring Ranges.
NSAD@SAS
Gianluca Amato, Marco Rubino
2017 J jnl
Inferring linear invariants with parallelotopes.
Sci. Comput. Program.
Gianluca Amato, Marco Rubino, Francesca Scozzari
2016 J jnl
Efficiently intertwining widening and narrowing.
Sci. Comput. Program.
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2015 J jnl
Efficiently intertwining widening and narrowing.
CoRR
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2015 — conf
Exploiting Linearity in Sharing Analysis of Object-oriented Programs.
ICTCS
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
2015 B conf
Narrowing Operators on Template Abstract Domains.
FM
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
2015 — conf
Sum of Abstract Domains.
NFM
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
2014 — conf
Efficient Constraint/Generator Removal from Double Description of Polyhedra.
NSAD
Gianluca Amato, Francesca Scozzari, Enea Zaffanella
2014 J jnl
Optimal multibinding unification for sharing and linearity analysis.
Theory Pract. Log. Program.
Gianluca Amato, Francesca Scozzari
2013 B conf
Localizing Widening and Narrowing.
SAS
Gianluca Amato, Francesca Scozzari
2013 — conf
Numerical static analysis with Soot.
SOAP@PLDI
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
2013 J jnl
Optimal multi-binding unification for sharing and linearity analysis.
CoRR
Gianluca Amato, Francesca Scozzari
2012 C conf
Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata.
MIG
Gianluca Amato, Francesca Scozzari
2012 J jnl
Discovering invariants via simple component analysis.
J. Symb. Comput.
Gianluca Amato, Maurizio Parton, Francesca Scozzari
2012 B conf
Random: R-Based Analyzer for Numerical Domains.
LPAR
Gianluca Amato, Francesca Scozzari
2012 — conf
The Abstract Domain of Parallelotopes.
NSAD@SAS
Gianluca Amato, Francesca Scozzari
2011 J jnl
Observational Completeness on Abstract Interpretation.
Fundam. Informaticae
Gianluca Amato, Francesca Scozzari
2010 B conf
A Tool Which Mines Partial Execution Traces to Improve Static Analysis.
RV
Gianluca Amato, Maurizio Parton, Francesca Scozzari
2010 B conf
Deriving Numerical Abstract Domains via Principal Component Analysis.
SAS
Gianluca Amato, Maurizio Parton, Francesca Scozzari
2010 J jnl
On the interaction between sharing and linearity.
Theory Pract. Log. Program.
Gianluca Amato, Francesca Scozzari
2009 C conf
Observational Completeness on Abstract Interpretation.
WoLLIC
Gianluca Amato, Francesca Scozzari
2009 J jnl
On the algebraic structure of declarative programming languages.
Theor. Comput. Sci.
Gianluca Amato, James Lipton, Robert W. McGrail
2009 J jnl
Optimality in goal-dependent analysis of Sharing.
Theory Pract. Log. Program.
Gianluca Amato, Francesca Scozzari
2007 J jnl
On the interaction between sharing and linearity
CoRR
Gianluca Amato, Francesca Scozzari
2005 — conf
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
2005 — conf
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
2005 J jnl
Optimality in Goal-Dependent Analysis of Sharing
CoRR
Gianluca Amato, Francesca Scozzari
2002 C conf
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.
LOPSTR
Gianluca Amato, Francesca Scozzari
2002 — conf
Optimality in Goal-Dependent Analysis of Sharing.
APPIA-GULP-PRODE
Gianluca Amato, Francesca Scozzari
2001 Misc conf
Abstract Compilation for Sharing Analysis.
FLOPS
Gianluca Amato, Fausto Spoto
2001 — conf
Correct Answers for First Order Logic.
APPIA-GULP-PRODE
Gianluca Amato
2001 B conf
Indexed Categories and Bottom-Up Semantics of Logic Programs.
LPAR
Gianluca Amato, James Lipton
2001 — —
Sequent calculi and indexed categories as a foundation for logic programming.
Gianluca Amato
2000 B conf
Abstract Interpretation Based Semantics of Sequent Calculi.
SAS
Gianluca Amato, Giorgio Levi
1997 — conf
Properties of the Lattice of Observables in Logic Programming.
APPIA-GULP-PRODE
Gianluca Amato, Giorgio Levi