A. D. Palù

Most-cited papers

COMMIT: Convex Optimization Modeling for Microstructure Informed Tractography
Alessandro Daducci, A. D. Palù, A. Lemkaddem, J. Thiran
2015IEEE Transactions on Medical Imaging285 citations Open access
Semantic Scholar
GPU-enhanced Finite Volume Shallow Water solver for fast flood simulations
R. Vacondio, A. D. Palù, P. Mignosa
2014Environmental Modelling & Software154 citations
Semantic Scholar
A non-uniform efficient grid type for GPU-parallel Shallow Water Equations models
R. Vacondio, A. D. Palù, A. Ferrari, P. Mignosa +2 more
2017Environmental Modelling & Software98 citations
Semantic Scholar
Constraint Logic Programming approach to protein structure prediction
A. D. Palù, A. Dovier, F. Fogolari
2004BMC Bioinformatics91 citations Open access
Semantic Scholar
GASP: Answer Set Programming with Lazy Grounding
A. D. Palù, A. Dovier, Enrico Pontelli, G. Rossi
2009Fundamenta Informaticae88 citations Open access
Semantic Scholar
IDENTIFICATION OF α-HELICES FROM LOW RESOLUTION PROTEIN DENSITY MAPS
A. D. Palù, Jing He, Enrico Pontelli, Y. Lu
200663 citations
Semantic Scholar
CUD@SAT: SAT solving on GPUs
A. D. Palù, A. Dovier, A. Formisano, Enrico Pontelli
2015Journal of experimental and theoretical artificial intelligence (Print)52 citations
Semantic Scholar
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
A. D. Palù, A. Dovier, Enrico Pontelli
2007Software, Practice & Experience47 citations
Semantic Scholar
A local time stepping algorithm for GPU-accelerated 2D shallow water models
Susanna Dazzi, R. Vacondio, A. D. Palù, P. Mignosa
201846 citations
Semantic Scholar
Answer Set Programming with Constraints Using Lazy Grounding
A. D. Palù, A. Dovier, Enrico Pontelli, G. Rossi
2009International Conference on Logic Programming32 citations
Semantic Scholar
Exploring the Use of GPUs in Constraint Solving
F. Campeotto, A. D. Palù, A. Dovier, Ferdinando Fioretto +1 more
2014International Symposium on Practical Aspects of Declarative Languages31 citations
Semantic Scholar
A convex optimization framework for global tractography
Alessandro Daducci, A. D. Palù, A. Lemkaddem, J. Thiran
2013IEEE International Symposium on Biomedical Imaging31 citations Open access
Semantic Scholar
Integrating finite domain constraints and CLP with sets
A. D. Palù, A. Dovier, Enrico Pontelli, G. Rossi
2003ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming27 citations
Semantic Scholar
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
A. D. Palù, A. Dovier, Enrico Pontelli
2005ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming25 citations
Semantic Scholar
Protein Folding in CLP(FD) with Empirical Contact Energies
A. D. Palù, A. Dovier, F. Fogolari
2003ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming20 citations
Semantic Scholar
A constraint logic programming approach to 3D structure determination of large protein complexes
A. D. Palù, Enrico Pontelli, Jing He, Y. Lu
2006ACM Symposium on Applied Computing16 citations
Semantic Scholar
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
A. D. Palù, A. Dovier, Enrico Pontelli
2005Logic Programming and Automated Reasoning15 citations
Semantic Scholar
A constraint solver for flexible protein models
F. Campeotto, A. D. Palù, A. Dovier, Ferdinando Fioretto +1 more
201314 citations Open access
Semantic Scholar
CLP-based protein fragment assembly*
A. D. Palù, A. Dovier, F. Fogolari, Enrico Pontelli
2010Theory and Practice of Logic Programming14 citations Open access
Semantic Scholar
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices
A. D. Palù, A. Dovier, Enrico Pontelli
2010International Journal of Data Mining and Bioinformatics13 citations Open access
Semantic Scholar
25 Years of Applications of Logic Programming in Italy
A. D. Palù, Paolo Torroni
201025 Years GULP12 citations
Semantic Scholar
A General Design for a Scalable MPI-GPU Multi-Resolution 2D Numerical Solver
M. Turchetto, A. D. Palù, R. Vacondio
2020IEEE Transactions on Parallel and Distributed Systems11 citations
Semantic Scholar
A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies
A. D. Palù, Mathias Möhl, S. Will
2010International Conference on Principles and Practice of Constraint Programming10 citations
Semantic Scholar
Exploiting Unexploited Computing Resources for Computational Logics
A. D. Palù, A. Dovier, A. Formisano, Enrico Pontelli
2012Italian Conference on Computational Logic9 citations
Semantic Scholar
An optimal data structure to handle dynamic environments in non-deterministic computations
Enrico Pontelli, Desh Ranjan, A. D. Palù
2002Computer languages, systems & structures9 citations
Semantic Scholar
Designing an urban-scale auditory alert system
F. Avanzini, D. Rocchesso, A. Belussi, A. D. Palù +1 more
2004Computer8 citations
Semantic Scholar
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem
Raffele Cipriano, A. D. Palù, A. Dovier
20087 citations
Semantic Scholar
Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information
A. D. Palù, S. Will, R. Backofen, A. Dovier
20047 citations
Semantic Scholar
Multi-GPU Implementation of 2D Shallow Water Equation Code with Block Uniform Quad-Tree Grids
M. Turchetto, R. Vacondio, A. D. Palù
20186 citations Open access
Semantic Scholar
A Constraint Solver for Flexible Protein Model
F. Campeotto, A. D. Palù, A. Dovier, Ferdinando Fioretto +1 more
2013Journal of Artificial Intelligence Research6 citations
Semantic Scholar
An Optimal Algorithm for Finding NCA on Pure Pointer Machines
A. D. Palù, Enrico Pontelli, Desh Ranjan
2002Scandinavian Workshop on Algorithm Theory6 citations
Semantic Scholar
Exploring life: answer set programming in bioinformatics
A. D. Palù, A. Dovier, A. Formisano, Enrico Pontelli
2018Declarative Logic Programming5 citations
Semantic Scholar
Logic Programming Applied to Genome Evolution in Cancer
A. D. Palù, A. Dovier, A. Formisano, A. Policriti +1 more
2016Italian Conference on Computational Logic5 citations
Semantic Scholar
CUD@ASP: Experimenting with GPGPUs in ASP solving
Flavio Vella, A. D. Palù, A. Dovier, A. Formisano +1 more
2013Italian Conference on Computational Logic5 citations
Semantic Scholar
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints
F. Campeotto, A. D. Palù, A. Dovier, Ferdinando Fioretto +1 more
2012International Conference on Principles and Practice of Constraint Programming5 citations
Semantic Scholar
An xAI Approach for Data-to-Text Processing with ASP
A. D. Palù, A. Dovier, A. Formisano
2023International Conference on Logic Programming4 citations Open access
Semantic Scholar
ASP Applications in Bio-informatics: A Short Tour
A. D. Palù, A. Dovier, A. Formisano, Enrico Pontelli
2018KI - Künstliche Intelligenz4 citations
Semantic Scholar
Lattice model refinement of protein structures
Martin Mann, A. D. Palù
2010WCB@ICLP4 citations Open access
Semantic Scholar
25 Years of Applications of Logic Programming
A. D. Palù, Paolo Torroni
20094 citations
Semantic Scholar
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
A. D. Palù, A. Dovier, Enrico Pontelli
2009International Conference on Logic Programming and Non-Monotonic Reasoning4 citations
Semantic Scholar
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD)
F. Avanzini, A. Belussi, A. D. Palù, A. Dovier +1 more
2002APPIA-GULP-PRODE4 citations
Semantic Scholar
Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language
Flavio Bertini, A. D. Palù, Francesco Fabiano, A. Formisano +1 more
2024Italian Conference on Computational Logic3 citations
Semantic Scholar
Students' Careers and AI: a decision-making support system for Academia
Flavio Bertini, A. D. Palù, A. Formisano, Andrea Pintus +2 more
2023Ital-IA3 citations
Semantic Scholar
Towards Explainable Data-to-text Generation
A. D. Palù, A. Dovier, A. Formisano
2023Italian Conference on Computational Logic3 citations
Semantic Scholar
Chapter 3:Protein Structure Analysis with Constraint Programming
A. D. Palù, A. Dovier, F. Fogolari, Enrico Pontelli
20123 citations
Semantic Scholar
Introduction to the Special Issue on Bioinformatics and Constraints
A. D. Palù, A. Dovier, S. Will
2008Constraints3 citations
Semantic Scholar
Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
Flavio Bertini, A. D. Palù, Federica Zaglio, Francesco Fabiano +1 more
2025International Conference on Logic Programming2 citations Open access
Semantic Scholar
CARING for xAI
Flavio Bertini, A. D. Palù, F. Fabiano, Eleonora Iotti
2022Italian Conference on Computational Logic2 citations
Semantic Scholar
An ASP Approach for Arteries Classification in CT-scans
F. Fabiano, A. D. Palù
2020Italian Conference on Computational Logic2 citations
Semantic Scholar
Constraint based protein fragment assembly
A. D. Palù, A. Dovier, F. Fogolari, Enrico Pontelli
20092 citations
Semantic Scholar