default search action
Alessandro Dal Palù
Person information
- affiliation: University of Parma, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c32]Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano, Federica Zaglio:
Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language. CILC 2024 - 2023
- [c31]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
Towards Explainable Data-to-text Generation. CILC 2023 - [c30]Vincenzo Bonnici
, Vincenzo Arceri
BIOCHAIN: towards a platform for securely sharing microbiological data. IDEAS 2023: 59-63 - [c29]Eleonora Iotti, Alessandro Dal Palù, Francesco Bertinelli, Gianluca Contesso:
Towards Greener Logistics: a Multi-Body Simulation to Test Pallet Stability. Ital-IA 2023: 66-71 - [c28]Flavio Bertini, Alessandro Dal Palù, Andrea Formisano, Andrea Pintus, Sara Rainieri, Luana Salvarani:
Students' Careers and AI: a decision-making support system for Academia. Ital-IA 2023: 272-277 - [c27]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
An xAI Approach for Data-to-Text Processing with ASP. ICLP 2023: 353-366 - [p3]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Prolog Meets Biology. Prolog: The Next 50 Years 2023: 318-333 - 2022
- [j20]Francesco Fabiano
An ASP approach for arteries classification in CT scans. J. Log. Comput. 32(2): 331-346 (2022) - [c26]Eleonora Iotti
Substitute Plastic Film with Kraft Paper in Automatic Pallet Wrapping: An AI Pipeline. AI*IA 2022: 282-296 - [c25]Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Eleonora Iotti:
CARING for xAI. CILC 2022: 47-60 - 2020
- [j19]Massimiliano Turchetto
A General Design for a Scalable MPI-GPU Multi-Resolution 2D Numerical Solver. IEEE Trans. Parallel Distributed Syst. 31(5): 1036-1047 (2020) - [c24]Francesco Fabiano, Alessandro Dal Palù:
An ASP Approach for Arteries Classification in CT-scans. CILC 2020: 312-326
2010 – 2019
- 2019
- [i3]Alessandro Dal Palù:
An image structure model for exact edge detection. CoRR abs/1904.09659 (2019) - 2018
- [j18]Alessandro Dal Palù, Agostino Dovier
ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. 32(2-3): 157-164 (2018) - [j17]Alessandro Dal Palù, Paul Tarau:
Introduction to the 34-th international conference on logic programming special issue. Theory Pract. Log. Program. 18(3-4): 296-300 (2018) - [c23]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
2D object reconstruction with ASP. CILC 2018: 132-146 - [p2]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
Exploring life: answer set programming in bioinformatics. Declarative Logic Programming 2018: 359-412 - [e2]Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor:
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. OASIcs 64, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-090-3 [contents] - 2017
- [j16]Renato Vacondio
A non-uniform efficient grid type for GPU-parallel Shallow Water Equations models. Environ. Model. Softw. 88: 119-137 (2017) - 2016
- [c22]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli:
Logic Programming Applied to Genome Evolution in Cancer. CILC 2016: 148-157 - 2015
- [j15]Alessandro Dal Palù
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015) - [j14]Alessandro Daducci, Alessandro Dal Palù
COMMIT: Convex Optimization Modeling for Microstructure Informed Tractography. IEEE Trans. Medical Imaging 34(1): 246-257 (2015) - 2014
- [j13]Renato Vacondio
GPU-enhanced Finite Volume Shallow Water solver for fast flood simulations. Environ. Model. Softw. 57: 60-75 (2014) - [c21]Federico Campeotto, Alessandro Dal Palù
Exploring the Use of GPUs in Constraint Solving. PADL 2014: 152-167 - 2013
- [j12]Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
A Constraint Solver for Flexible Protein Model. J. Artif. Intell. Res. 48: 953-1000 (2013) - [c20]Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@ASP: Experimenting with GPGPUs in ASP solving. CILC 2013: 163-177 - [c19]Alessandro Daducci, Alessandro Dal Palù
A convex optimization framework for global tractography. ISBI 2013: 524-527 - 2012
- [c18]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploiting Unexploited Computing Resources for Computational Logics. CILC 2012: 74-88 - [c17]Federico Campeotto, Alessandro Dal Palù
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. CP 2012: 850-866 - [e1]Agostino Dovier, Alessandro Dal Palù, Sebastian Will:
Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 4, EasyChair 2012 [contents] - 2011
- [c16]Alessandro Dal Palù
Exploring Protein Fragment Assembly Using CLP. IJCAI 2011: 2590-2595 - 2010
- [j11]Alessandro Dal Palù
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. Int. J. Data Min. Bioinform. 4(1): 1-20 (2010) - [j10]Alessandro Dal Palù
CLP-based protein fragment assembly. Theory Pract. Log. Program. 10(4-6): 709-724 (2010) - [c15]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based Protein Fragment Assembly. CILC 2010 - [c14]Alessandro Dal Palù
A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. CP 2010: 167-175 - [c13]Alessandro Dal Palù, Mathias Möhl, Sebastian Will:
Alignnment of RNA with Structures of Unlimited Complexity. WCB@ICLP 2010: 53-58 - [c12]Martin Mann
Lattice model refinement of protein structures. WCB@ICLP 2010: 67-74 - [p1]Alessandro Dal Palù
25 Years of Applications of Logic Programming in Italy. 25 Years GULP 2010: 300-328 - [i2]Martin Mann, Alessandro Dal Palù:
Lattice model refinement of protein structures. CoRR abs/1005.1853 (2010) - [i1]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based protein fragment assembly. CoRR abs/1007.5180 (2010)
2000 – 2009
- 2009
- [j9]Federico Bergenti
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. Fundam. Informaticae 96(3): 227-252 (2009) - [j8]Alessandro Dal Palù
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96(3): 297-322 (2009) - [c11]Alessandro Dal Palù
Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129 - [c10]Alessandro Dal Palù
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR 2009: 560-566 - 2008
- [j7]Alessandro Dal Palù
Introduction to the Special Issue on Bioinformatics and Constraints. Constraints An Int. J. 13(1-2): 1-2 (2008) - 2007
- [j6]Alessandro Dal Palù
A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes. Int. J. Data Min. Bioinform. 1(4): 352-371 (2007) - [j5]Alessandro Dal Palù
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Softw. Pract. Exp. 37(13): 1405-1449 (2007) - 2006
- [j4]Alessandro Dal Palù
Sequential and parallel algorithms for the NCA problem on pure pointer machines. Theor. Comput. Sci. 352(1-3): 108-135 (2006) - [c9]Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu:
A constraint logic programming approach to 3D structure determination of large protein complexes. SAC 2006: 131-136 - 2005
- [c8]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. LPAR 2005: 48-63 - [c7]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). PPDP 2005: 230-241 - 2004
- [j3]Alessandro Dal Palù
Constraint Logic Programming approach to protein structure prediction. BMC Bioinform. 5: 186 (2004) - [j2]Federico Avanzini
Designing an Urban-Scale Auditory Alert System. Computer 37(9): 55-61 (2004) - [c6]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
Protein Folding Simulation in CCP. ICLP 2004: 452-453 - 2003
- [c5]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari:
Protein Folding in CLP(FD) with Empirical Contact Energies. CSCLP 2003: 250-265 - [c4]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229 - 2002
- [j1]Enrico Pontelli, Desh Ranjan, Alessandro Dal Palù
An optimal data structure to handle dynamic environments in non-deterministic computations. Comput. Lang. Syst. Struct. 28(2): 181-201 (2002) - [c3]Federico Avanzini, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, Davide Rocchesso:
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD). APPIA-GULP-PRODE 2002: 139-154 - [c2]Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan:
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem. IFIP TCS 2002: 157-168 - [c1]Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan:
An Optimal Algorithm for Finding NCA on Pure Pointer Machines. SWAT 2002: 428-438
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: