Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD). - Federico Avanzini; Alberto Belussi; Alessandro Dal Palù; Agostino Dovier; Davide Rocchesso (APPIA-GULP-PRODE, 2002)

An Efficient Parallel Pointer Machine Algorithm for the NCA Problem. - Alessandro Dal Palù; Enrico Pontelli; Desh Ranjan (IFIP TCS, 2002)

An Optimal Algorithm for Finding NCA on Pure Pointer Machines. - Alessandro Dal Palù; Enrico Pontelli; Desh Ranjan (SWAT, 2002)

An optimal data structure to handle dynamic environments in non-deterministic computations. - Enrico Pontelli; Desh Ranjan; Alessandro Dal Palù (Comput. Lang. Syst. Struct., 2002)

Protein Folding in CLP(FD) with Empirical Contact Energies. - Alessandro Dal Palù; Agostino Dovier; Federico Fogolari (CSCLP, 2003)

Integrating finite domain constraints and CLP with sets. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (PPDP, 2003)

Protein Folding Simulation in CCP. - Alessandro Dal Palù; Agostino Dovier; Federico Fogolari (ICLP, 2004)

Constraint Logic Programming approach to protein structure prediction. - Alessandro Dal Palù; Agostino Dovier; Federico Fogolari (BMC Bioinform., 2004)

Designing an Urban-Scale Auditory Alert System. - Federico Avanzini; Davide Rocchesso; Alberto Belussi; Alessandro Dal Palù; Agostino Dovier (Computer, 2004)

A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli (LPAR, 2005)

Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli (PPDP, 2005)

A constraint logic programming approach to 3D structure determination of large protein complexes. - Alessandro Dal Palù; Enrico Pontelli; Jing He 002; Yonggang Lu (SAC, 2006)

Sequential and parallel algorithms for the NCA problem on pure pointer machines. - Alessandro Dal Palù; Enrico Pontelli; Desh Ranjan (Theor. Comput. Sci., 2006)

A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes. - Alessandro Dal Palù; Enrico Pontelli; Jing He 002; Yonggang Lu (Int. J. Data Min. Bioinform., 2007)

A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli (Softw. Pract. Exp., 2007)

Introduction to the Special Issue on Bioinformatics and Constraints. - Alessandro Dal Palù; Agostino Dovier; Sebastian Will (Constraints An Int. J., 2008)

Answer Set Programming with Constraints Using Lazy Grounding. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (ICLP, 2009)

Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli (LPNMR, 2009)

Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. - Federico Bergenti; Alessandro Dal Palù; Gianfranco Rossi (Fundam. Informaticae, 2009)

GASP: Answer Set Programming with Lazy Grounding. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (Fundam. Informaticae, 2009)

25 Years of Applications of Logic Programming in Italy. - Alessandro Dal Palù; Paolo Torroni (25 Years GULP, 2010)

A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. - Alessandro Dal Palù; Mathias Möhl; Sebastian Will (CP, 2010)

Lattice model refinement of protein structures. - Martin Mann; Alessandro Dal Palù (WCB@ICLP, 2010)

Alignnment of RNA with Structures of Unlimited Complexity. - Alessandro Dal Palù; Mathias Möhl; Sebastian Will (WCB@ICLP, 2010)

Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli (Int. J. Data Min. Bioinform., 2010)

CLP-based protein fragment assembly. - Alessandro Dal Palù; Agostino Dovier; Federico Fogolari; Enrico Pontelli (Theory Pract. Log. Program., 2010)

Exploring Protein Fragment Assembly Using CLP. - Alessandro Dal Palù; Agostino Dovier; Federico Fogolari; Enrico Pontelli (IJCAI, 2011)

Exploiting Unexploited Computing Resources for Computational Logics. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (CILC, 2012)

A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. - Federico Campeotto; Alessandro Dal Palù; Agostino Dovier; Ferdinando Fioretto; Enrico Pontelli (CP, 2012)

CUD@ASP: Experimenting with GPGPUs in ASP solving. - Flavio Vella; Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (CILC, 2013)

A convex optimization framework for global tractography. - Alessandro Daducci; Alessandro Dal Palù; Alia Lemkaddem; Jean-Philippe Thiran (ISBI, 2013)

A Constraint Solver for Flexible Protein Model. - Federico Campeotto; Alessandro Dal Palù; Agostino Dovier; Ferdinando Fioretto; Enrico Pontelli (J. Artif. Intell. Res., 2013)

Exploring the Use of GPUs in Constraint Solving. - Federico Campeotto; Alessandro Dal Palù; Agostino Dovier; Ferdinando Fioretto; Enrico Pontelli (PADL, 2014)

GPU-enhanced Finite Volume Shallow Water solver for fast flood simulations. - Renato Vacondio; Alessandro Dal Palù; Paolo Mignosa (Environ. Model. Softw., 2014)

CUD@SAT: SAT solving on GPUs. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (J. Exp. Theor. Artif. Intell., 2015)

COMMIT: Convex Optimization Modeling for Microstructure Informed Tractography. - Alessandro Daducci; Alessandro Dal Palù; Alia Lemkaddem; Jean-Philippe Thiran (IEEE Trans. Medical Imaging, 2015)

Logic Programming Applied to Genome Evolution in Cancer. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Alberto Policriti; Enrico Pontelli (CILC, 2016)

A non-uniform efficient grid type for GPU-parallel Shallow Water Equations models. - Renato Vacondio; Alessandro Dal Palù; Alessia Ferrari; Paolo Mignosa; Francesca Aureli; Susanna Dazzi (Environ. Model. Softw., 2017)

Exploring life: answer set programming in bioinformatics. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Declarative Logic Programming, 2018)

2D object reconstruction with ASP. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001 (CILC, 2018)

ASP Applications in Bio-informatics: A Short Tour. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Künstliche Intell., 2018)

Introduction to the 34-th international conference on logic programming special issue. - Alessandro Dal Palù; Paul Tarau (Theory Pract. Log. Program., 2018)

An image structure model for exact edge detection. - Alessandro Dal Palù (CoRR, 2019)

A General Design for a Scalable MPI-GPU Multi-Resolution 2D Numerical Solver. - Massimiliano Turchetto; Alessandro Dal Palù; Renato Vacondio (IEEE Trans. Parallel Distributed Syst., 2020)

Substitute Plastic Film with Kraft Paper in Automatic Pallet Wrapping: An AI Pipeline. - Eleonora Iotti; Alessandro Dal Palù; Gianluca Contesso; Francesco Bertinelli (AI*IA, 2022)

CARING for xAI. - Flavio Bertini 001; Alessandro Dal Palù; Francesco Fabiano; Eleonora Iotti (CILC, 2022)

An ASP approach for arteries classification in CT scans. - Francesco Fabiano; Alessandro Dal Palù (J. Log. Comput., 2022)

Towards Explainable Data-to-text Generation. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001 (CILC, 2023)

BIOCHAIN: towards a platform for securely sharing microbiological data. - Vincenzo Bonnici; Vincenzo Arceri; Alessio Diana; Flavio Bertini 001; Eleonora Iotti; Alessia Levante; Valentina Bernini; Erasmo Neviani; Alessandro Dal Palù (IDEAS, 2023)

Students' Careers and AI: a decision-making support system for Academia. - Flavio Bertini 001; Alessandro Dal Palù; Andrea Formisano 001; Andrea Pintus; Sara Rainieri; Luana Salvarani (Ital-IA, 2023)

Towards Greener Logistics: a Multi-Body Simulation to Test Pallet Stability. - Eleonora Iotti; Alessandro Dal Palù; Francesco Bertinelli; Gianluca Contesso (Ital-IA, 2023)

An xAI Approach for Data-to-Text Processing with ASP. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001 (ICLP, 2023)

Prolog Meets Biology. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Prolog: The Next 50 Years, 2023)

Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language. - Flavio Bertini 001; Alessandro Dal Palù; Francesco Fabiano; Andrea Formisano 001; Federica Zaglio (CILC, 2024)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration. - Flavio Bertini 001; Alessandro Dal Palù; Federica Zaglio; Francesco Fabiano; Andrea Formisano 001 (ICLP, 2024)

Answer Set Programming for Feature-Based Explanation of Malware Prediction. - Alessio Russo; Eleonora Iotti; Alessandro Dal Palù (CILC, 2025)

Physics-Based 3D Simulation for Synthetic Data Generation and Failure Analysis in Packaging Stability Assessment. - Samuel Seligardi; Pietro Musoni; Eleonora Iotti; Gianluca Contesso; Alessandro Dal Palù (CoRR, 2025)