Alessandro Dal Palù

Orcid: 0000-0003-0353-158X

Affiliations:
  • University of Parma, Italy


According to our database1, Alessandro Dal Palù authored at least 53 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Prolog Meets Biology.
Proceedings of the Prolog: The Next 50 Years, 2023

An xAI Approach for Data-to-Text Processing with ASP.
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Towards Greener Logistics: a Multi-Body Simulation to Test Pallet Stability.
Proceedings of the Italia Intelligenza Artificiale, 2023

Students' Careers and AI: a decision-making support system for Academia.
Proceedings of the Italia Intelligenza Artificiale, 2023

BIOCHAIN: towards a platform for securely sharing microbiological data.
Proceedings of the International Database Engineered Applications Symposium Conference, 2023

Towards Explainable Data-to-text Generation.
Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022
An ASP approach for arteries classification in CT scans.
J. Log. Comput., 2022

CARING for xAI.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Substitute Plastic Film with Kraft Paper in Automatic Pallet Wrapping: An AI Pipeline.
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2020
A General Design for a Scalable MPI-GPU Multi-Resolution 2D Numerical Solver.
IEEE Trans. Parallel Distributed Syst., 2020

2019
An image structure model for exact edge detection.
CoRR, 2019

2018
Introduction to the 34-th international conference on logic programming special issue.
Theory Pract. Log. Program., 2018

ASP Applications in Bio-informatics: A Short Tour.
Künstliche Intell., 2018

2D object reconstruction with ASP.
Proceedings of the 33rd Italian Conference on Computational Logic, 2018

Exploring life: answer set programming in bioinformatics.
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017
A non-uniform efficient grid type for GPU-parallel Shallow Water Equations models.
Environ. Model. Softw., 2017

2016
Logic Programming Applied to Genome Evolution in Cancer.
Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015
COMMIT: Convex Optimization Modeling for Microstructure Informed Tractography.
IEEE Trans. Medical Imaging, 2015

CUD@SAT: SAT solving on GPUs.
J. Exp. Theor. Artif. Intell., 2015

2014
GPU-enhanced Finite Volume Shallow Water solver for fast flood simulations.
Environ. Model. Softw., 2014

Exploring the Use of GPUs in Constraint Solving.
Proceedings of the Practical Aspects of Declarative Languages, 2014

2013
A Constraint Solver for Flexible Protein Model.
J. Artif. Intell. Res., 2013

A convex optimization framework for global tractography.
Proceedings of the 10th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2013

CUD@ASP: Experimenting with GPGPUs in ASP solving.
Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Exploiting Unexploited Computing Resources for Computational Logics.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011
Exploring Protein Fragment Assembly Using CLP.
Proceedings of the IJCAI 2011, 2011

2010
CLP-based protein fragment assembly.
Theory Pract. Log. Program., 2010

Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices.
Int. J. Data Min. Bioinform., 2010

Alignnment of RNA with Structures of Unlimited Complexity.
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Lattice model refinement of protein structures.
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

25 Years of Applications of Logic Programming in Italy.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009
GASP: Answer Set Programming with Lazy Grounding.
Fundam. Informaticae, 2009

Integrating Finite Domain and Set Constraints into a Set-based Constraint Language.
Fundam. Informaticae, 2009

Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Answer Set Programming with Constraints Using Lazy Grounding.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Introduction to the Special Issue on Bioinformatics and Constraints.
Constraints An Int. J., 2008

2007
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.
Softw. Pract. Exp., 2007

A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes.
Int. J. Data Min. Bioinform., 2007

2006
Sequential and parallel algorithms for the NCA problem on pure pointer machines.
Theor. Comput. Sci., 2006

A constraint logic programming approach to 3D structure determination of large protein complexes.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(<i>FD</i>).
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.
Proceedings of the Logic for Programming, 2005

2004
Designing an Urban-Scale Auditory Alert System.
Computer, 2004

Constraint Logic Programming approach to protein structure prediction.
BMC Bioinform., 2004

Protein Folding Simulation in CCP.
Proceedings of the Logic Programming, 20th International Conference, 2004

2003
Integrating finite domain constraints and CLP with sets.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Protein Folding in CLP(FD) with Empirical Contact Energies.
Proceedings of the Recent Advances in Constraints, 2003

2002
An optimal data structure to handle dynamic environments in non-deterministic computations.
Comput. Lang. Syst. Struct., 2002

An Optimal Algorithm for Finding NCA on Pure Pointer Machines.
Proceedings of the Algorithm Theory, 2002

An Efficient Parallel Pointer Machine Algorithm for the NCA Problem.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD).
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002


  Loading...