Alessandro Dal Palù

64 papers A* 1A 2B 6C 4Misc 2Journal 24Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Answer Set Programming for Feature-Based Explanation of Malware Prediction. CILC Alessio Russo, Eleonora Iotti, Alessandro Dal Palù
2025	Misc	`conf`	Physics-Based 3D Simulation for Synthetic Data Generation and Failure Analysis in Packaging Stability Assessment. ICIAP Samuel Seligardi, Pietro Musoni, Eleonora Iotti, Gianluca Contesso, Alessandro Dal Palù
2025	J	`jnl`	Physics-Based 3D Simulation for Synthetic Data Generation and Failure Analysis in Packaging Stability Assessment. CoRR Samuel Seligardi, Pietro Musoni, Eleonora Iotti, Gianluca Contesso, Alessandro Dal Palù
2024	—	`conf`	Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language. CILC Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano, Federica Zaglio
2024	B	`conf`	Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration. ICLP Flavio Bertini, Alessandro Dal Palù, Federica Zaglio, Francesco Fabiano, Andrea Formisano
2023	B	`conf`	An xAI Approach for Data-to-Text Processing with ASP. ICLP Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2023	C	`conf`	BIOCHAIN: towards a platform for securely sharing microbiological data. IDEAS Vincenzo Bonnici, Vincenzo Arceri, Alessio Diana, Flavio Bertini, Eleonora Iotti, Alessia Levante, Valentina Bernini, Erasmo Neviani, Alessandro Dal Palù
2023	—	`ch.`	Prolog Meets Biology. Prolog: The Next 50 Years Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2023	—	`conf`	Students' Careers and AI: a decision-making support system for Academia. Ital-IA Flavio Bertini, Alessandro Dal Palù, Andrea Formisano, Andrea Pintus, Sara Rainieri, Luana Salvarani
2023	—	`conf`	Towards Explainable Data-to-text Generation. CILC Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2023	—	`conf`	Towards Greener Logistics: a Multi-Body Simulation to Test Pallet Stability. Ital-IA Eleonora Iotti, Alessandro Dal Palù, Francesco Bertinelli, Gianluca Contesso
2022	J	`jnl`	An ASP approach for arteries classification in CT scans. J. Log. Comput. Francesco Fabiano, Alessandro Dal Palù
2022	—	`conf`	CARING for xAI. CILC Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Eleonora Iotti
2022	—	`conf`	Substitute Plastic Film with Kraft Paper in Automatic Pallet Wrapping: An AI Pipeline. AI*IA Eleonora Iotti, Alessandro Dal Palù, Gianluca Contesso, Francesco Bertinelli
2020	J	`jnl`	A General Design for a Scalable MPI-GPU Multi-Resolution 2D Numerical Solver. IEEE Trans. Parallel Distributed Syst. Massimiliano Turchetto, Alessandro Dal Palù, Renato Vacondio
2020	—	`conf`	An ASP Approach for Arteries Classification in CT-scans. CILC Francesco Fabiano, Alessandro Dal Palù
2019	J	`jnl`	An image structure model for exact edge detection. CoRR Alessandro Dal Palù
2018	—	`conf`	2D object reconstruction with ASP. CILC Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2018	J	`jnl`	ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018	—	`ch.`	Exploring life: answer set programming in bioinformatics. Declarative Logic Programming Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018	J	`jnl`	Introduction to the 34-th international conference on logic programming special issue. Theory Pract. Log. Program. Alessandro Dal Palù, Paul Tarau
2018	—	`ed.`	Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Oxford, United Kingdom, July 14-17, 2018 ICLP (Technical Communications) Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor
2017	J	`jnl`	A non-uniform efficient grid type for GPU-parallel Shallow Water Equations models. Environ. Model. Softw. Renato Vacondio, Alessandro Dal Palù, Alessia Ferrari, Paolo Mignosa, Francesca Aureli, Susanna Dazzi
2016	—	`conf`	Logic Programming Applied to Genome Evolution in Cancer. CILC Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
2015	J	`jnl`	COMMIT: Convex Optimization Modeling for Microstructure Informed Tractography. IEEE Trans. Medical Imaging Alessandro Daducci, Alessandro Dal Palù, Alia Lemkaddem, Jean-Philippe Thiran
2015	J	`jnl`	CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2014	C	`conf`	Exploring the Use of GPUs in Constraint Solving. PADL Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2014	J	`jnl`	GPU-enhanced Finite Volume Shallow Water solver for fast flood simulations. Environ. Model. Softw. Renato Vacondio, Alessandro Dal Palù, Paolo Mignosa
2013	J	`jnl`	A Constraint Solver for Flexible Protein Model. J. Artif. Intell. Res. Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2013	—	`conf`	A convex optimization framework for global tractography. ISBI Alessandro Daducci, Alessandro Dal Palù, Alia Lemkaddem, Jean-Philippe Thiran
2013	—	`conf`	CUD@ASP: Experimenting with GPGPUs in ASP solving. CILC Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2012	A	`conf`	A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. CP Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2012	—	`conf`	Exploiting Unexploited Computing Resources for Computational Logics. CILC Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2012	—	`ed.`	Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010 WCB@ICLP Agostino Dovier, Alessandro Dal Palù, Sebastian Will
2011	A*	`conf`	Exploring Protein Fragment Assembly Using CLP. IJCAI Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010	—	`ch.`	25 Years of Applications of Logic Programming in Italy. 25 Years GULP Alessandro Dal Palù, Paolo Torroni
2010	A	`conf`	A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. CP Alessandro Dal Palù, Mathias Möhl, Sebastian Will
2010	—	`conf`	Alignnment of RNA with Structures of Unlimited Complexity. WCB@ICLP Alessandro Dal Palù, Mathias Möhl, Sebastian Will
2010	—	`conf`	CLP-based Protein Fragment Assembly. CILC Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010	J	`jnl`	CLP-based protein fragment assembly CoRR Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010	J	`jnl`	CLP-based protein fragment assembly. Theory Pract. Log. Program. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010	J	`jnl`	Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. Int. J. Data Min. Bioinform. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2010	J	`jnl`	Lattice model refinement of protein structures CoRR Martin Mann, Alessandro Dal Palù
2010	—	`conf`	Lattice model refinement of protein structures. WCB@ICLP Martin Mann, Alessandro Dal Palù
2009	B	`conf`	Answer Set Programming with Constraints Using Lazy Grounding. ICLP Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2009	J	`jnl`	GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2009	J	`jnl`	Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. Fundam. Informaticae Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi
2009	B	`conf`	Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2008	J	`jnl`	Introduction to the Special Issue on Bioinformatics and Constraints. Constraints An Int. J. Alessandro Dal Palù, Agostino Dovier, Sebastian Will
2007	J	`jnl`	A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes. Int. J. Data Min. Bioinform. Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu
2007	J	`jnl`	A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Softw. Pract. Exp. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2006	Misc	`conf`	A constraint logic programming approach to 3D structure determination of large protein complexes. SAC Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu
2006	J	`jnl`	Sequential and parallel algorithms for the NCA problem on pure pointer machines. Theor. Comput. Sci. Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
2005	B	`conf`	A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. LPAR Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2005	C	`conf`	Heuristics, optimizations, and parallelism for protein structure prediction in CLP( PPDP Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2004	J	`jnl`	Constraint Logic Programming approach to protein structure prediction. BMC Bioinform. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
2004	J	`jnl`	Designing an Urban-Scale Auditory Alert System. Computer Federico Avanzini, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier
2004	B	`conf`	Protein Folding Simulation in CCP. ICLP Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
2003	C	`conf`	Integrating finite domain constraints and CLP with sets. PPDP Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003	—	`conf`	Protein Folding in CLP(FD) with Empirical Contact Energies. CSCLP Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
2002	—	`conf`	An Efficient Parallel Pointer Machine Algorithm for the NCA Problem. IFIP TCS Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
2002	—	`conf`	An Optimal Algorithm for Finding NCA on Pure Pointer Machines. SWAT Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan
2002	J	`jnl`	An optimal data structure to handle dynamic environments in non-deterministic computations. Comput. Lang. Syst. Struct. Enrico Pontelli, Desh Ranjan, Alessandro Dal Palù
2002	—	`conf`	Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD). APPIA-GULP-PRODE Federico Avanzini, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, Davide Rocchesso