| 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 | 138 | 2014 |
| GPU-enhanced finite volume shallow water solver for fast flood simulations R Vacondio, A Dal Palu, P Mignosa Environmental modelling & software 57, 60-75, 2014 | 98 | 2014 |
| Microstructure informed tractography: pitfalls and open challenges A Daducci, A Dal Palú, M Descoteaux, JP Thiran Frontiers in neuroscience 10, 247, 2016 | 95 | 2016 |
| Constraint logic programming approach to protein structure prediction A Dal Palu, A Dovier, F Fogolari BMC bioinformatics 5 (1), 186, 2004 | 92 | 2004 |
| Gasp: Answer set programming with lazy grounding A Dal Palù, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009 | 80 | 2009 |
| Identification of α-helices from low resolution protein density maps A Dal Palu, J He, E Pontelli, Y Lu Computational Systems Bioinformatics, 89-98, 2006 | 73 | 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 Palù Natural Hazards 80 (1), 103-125, 2016 | 41 | 2016 |
| 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 | 38 | 2007 |
| 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 | 36 | 2017 |
| Answer set programming with constraints using lazy grounding A Dal Palù, A Dovier, E Pontelli, G Rossi International Conference on Logic Programming, 115-129, 2009 | 36 | 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 | 35 | 2003 |
| 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 | 34 | 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 | 29 | 2014 |
| 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 | 29 | 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 | 28 | 2003 |
| Exploring the use of GPUs in constraint solving F Campeotto, A Dal Palu, A Dovier, F Fioretto, E Pontelli International Symposium on Practical Aspects of Declarative Languages, 152-167, 2014 | 26 | 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 | 23 | 2013 |
| CLP-based protein fragment assembly AD Palu, A Dovier, F Fogolari, E Pontelli arXiv preprint arXiv:1007.5180, 2010 | 23 | 2010 |
| A constraint solver for flexible protein model F Campeotto, A Dal Palù, A Dovier, F Fioretto, E Pontelli Journal of Artificial Intelligence Research 48, 953-1000, 2013 | 16 | 2013 |
| A constraint logic programming approach to 3D structure determination of large protein complexes AD Palù, E Pontelli, J He, Y Lu Proceedings of the 2006 ACM symposium on Applied computing, 131-136, 2006 | 15 | 2006 |
Agostino DovierProfessor of Computer Science, University of UdineVerified email at uniud.it
