| COMMIT: convex optimization modeling for microstructure informed tractography A Daducci, A Dal Palù, A Lemkaddem, JP Thiran IEEE transactions on medical imaging 34 (1), 246-257, 2014 | 265 | 2014 |
| GPU-enhanced finite volume shallow water solver for fast flood simulations R Vacondio, A Dal Palù, P Mignosa Environmental modelling & software 57, 60-75, 2014 | 149 | 2014 |
| Microstructure informed tractography: pitfalls and open challenges A Daducci, A Dal Palú, M Descoteaux, JP Thiran Frontiers in neuroscience 10, 247, 2016 | 130 | 2016 |
| Constraint logic programming approach to protein structure prediction A Dal Palu, A Dovier, F Fogolari BMC bioinformatics 5 (1), 1-12, 2004 | 102 | 2004 |
| Gasp: Answer set programming with lazy grounding A Dal Palu, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009 | 100 | 2009 |
| A non-uniform efficient grid type for GPU-parallel Shallow Water Equations models R Vacondio, A Dal Palù, A Ferrari, P Mignosa, F Aureli, S Dazzi Environmental modelling & software 88, 119-137, 2017 | 92 | 2017 |
| Identification of α-helices from low resolution protein density maps A Dal Palu, J He, E Pontelli, Y Lu Computational Systems Bioinformatics, 89-98, 2006 | 80 | 2006 |
| Simulation of the January 2014 flood on the Secchia River using a fast and high-resolution 2D parallel shallow-water numerical scheme R Vacondio, F Aureli, A Ferrari, P Mignosa, A Dal Palu Natural Hazards 80, 103-125, 2016 | 76 | 2016 |
| Cud@ sat: Sat solving on gpus A Dal Palù, A Dovier, A Formisano, E Pontelli Journal of Experimental & Theoretical Artificial Intelligence 27 (3), 293-316, 2015 | 63 | 2015 |
| Global tractography with embedded anatomical priors for quantitative connectivity analysis A Lemkaddem, D Skiöldebrand, A Dal Palú, JP Thiran, A Daducci Frontiers in neurology 5, 232, 2014 | 47 | 2014 |
| A convex optimization framework for global tractography A Daducci, A Dal Palu, A Lemkaddem, JP Thiran 2013 IEEE 10th International Symposium on Biomedical Imaging, 524-527, 2013 | 45 | 2013 |
| A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction A Dal Palu, A Dovier, E Pontelli Software: Practice and Experience 37 (13), 1405-1449, 2007 | 42 | 2007 |
| Exploring the use of GPUs in constraint solving F Campeotto, A Dal Palu, A Dovier, F Fioretto, E Pontelli Practical Aspects of Declarative Languages: 16th International Symposium …, 2014 | 38 | 2014 |
| A local time stepping algorithm for GPU-accelerated 2D shallow water models S Dazzi, R Vacondio, A Dal Palù, P Mignosa Advances in Water Resources 111, 274-288, 2018 | 37 | 2018 |
| Answer set programming with constraints using lazy grounding A Dal Palù, A Dovier, E Pontelli, G Rossi Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009 | 37 | 2009 |
| Integrating finite domain constraints and CLP with sets AD Palú, A Dovier, E Pontelli, G Rossi Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 37 | 2003 |
| Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) A Dal Palu, A Dovier, E Pontelli Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 34 | 2005 |
| Protein Folding in CLP () with Empirical Contact Energies A Dal Palu, A Dovier, F Fogolari International Workshop on Constraint Solving and Constraint Logic …, 2003 | 26 | 2003 |
| CLP-based protein fragment assembly A Dal Palu, A Dovier, F Fogolari, E Pontelli Theory and Practice of Logic Programming 10 (4-6), 709-724, 2010 | 25 | 2010 |
| A constraint solver for flexible protein model F Campeotto, A Dal Palu, A Dovier, F Fioretto, E Pontelli Journal of Artificial Intelligence Research 48, 953-1000, 2013 | 20 | 2013 |
Agostino DovierProfessor of Computer Science, University of UdineVerified email at uniud.it
