| 2025 | ICIAP | 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 |
| 2023 | IDEAS | BIOCHAIN: towards a platform for securely sharing microbiological data. | Vincenzo Bonnici, Vincenzo Arceri, Alessio Diana, Flavio Bertini, Eleonora Iotti, Alessia Levante, Valentina Bernini, Erasmo Neviani, Alessandro Dal Pal |
| 2014 | PADL | Exploring the Use of GPUs in Constraint Solving. | Federico Campeotto, Alessandro Dal Pal, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2012 | CP | A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. | Federico Campeotto, Alessandro Dal Pal, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2011 | IJCAI | Exploring Protein Fragment Assembly Using CLP. | Alessandro Dal Pal, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
| 2010 | CP | A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. | Alessandro Dal Pal, Mathias Mhl, Sebastian Will |
| 2010 | ICLP | Lattice model refinement of protein structures. | Martin Mann, Alessandro Dal Pal |
| 2010 | ICLP | Alignnment of RNA with Structures of Unlimited Complexity. | Alessandro Dal Pal, Mathias Mhl, Sebastian Will |
| 2009 | ICLP | Answer Set Programming with Constraints Using Lazy Grounding. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2009 | LPNMR | Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2006 | SAC | A constraint logic programming approach to 3D structure determination of large protein complexes. | Alessandro Dal Pal, Enrico Pontelli, Jing He, Yonggang Lu |
| 2005 | LPAR | A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2005 | PPDP | Heuristics, optimizations, and parallelism for protein structure prediction in CLP( | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2004 | ICLP | Protein Folding Simulation in CCP. | Alessandro Dal Pal, Agostino Dovier, Federico Fogolari |
| 2003 | PPDP | Integrating finite domain constraints and CLP with sets. | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |