UNIPGCLogo GRCLogo
GPU Research Center - Università degli Studi di Perugia
Dipartimento di Matematica e Informatica

Selection of recent publications:

Computational logic

A GPU Implementation of the ASP Computation.
A.Dovier, A.Formisano, E.Pontelli, and F.Vella.
In Proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016). Lecture Notes in Computer Science, Volume 9585, Springer, 2016. (link)
Parallel Execution of the ASP Computation - an Investigation on GPUs.
A.Dovier, A.Formisano, E.Pontelli, and F.Vella.
In Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015). CEUR Workshop Proceedings, Volume 1433, 2015. (draft.pdf)
CUD@SAT: SAT Solving on GPUs.
A.Dal Palù, A.Dovier, A.Formisano, and E.Pontelli.
Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 27(3):293-316 (2015). (draft.pdf)
Exploiting Unexploited Computing Resources for Computational Logics.
A.Dal Palù, A.Dovier, A.Formisano, and E.Pontelli.
In Proceedings of the 27th Italian Conference on Computational Logic, Rome, June 6-7, 2012. CEUR Vol. 857.
On multiple learning schemata in conflict driven solvers.
A.Formisano, F.Vella.
In Proceedings of the 15th Italian Conference on Theoretical Computer Science. 2014. CEUR vol 1231, pp.133-146.
CUD@ASP: Experimenting with GPGPUs in ASP solving.
F.Vella, A.Dal Palù, A.Dovier, A.Formisano, and E.Pontelli.
In CILC13. Catania, 25-27 Settembre 2013. CEUR vol 1068, pp.163-177.
Computational chemistry

Quantum reactive scattering calculations on GPU.
L.Pacifici, D.Nalli, and A.Laganà.
In B.Murgante, O.Gervasi, S.Misra, N.Nedjah, A.M.A.C.Rocha, D.Taniar, and B.O.Apduhan, eds., Computational Science and its Applications (ICCSA), 2012, Lecture Notes in Computer Science, volume 7333, pp.292-303. Springer.
Quantum reactive scattering on innovative computing platforms.
L.Pacifici, D.Nalli, and A.Laganà.
Computer Physics Communications, 184(5):1372-1380, 2013.
Time dependent quantum reactive scattering on GPU.
L.Pacifici, D.Nalli, D.Skouteris, and A.Laganà.
In B.Murgante, O.Gervasi, A.Iglesias, D.Taniar, and B.O.Apduhan, eds.,Computational Science and Its Applications (ICCSA), 2011, Lecture Notes in Computer Science, volume 6784, pp.428-441. Springer.
Heterogeneous systems

GPU computing in EGI environment using a cloud approach.
F.Vella, R.M.Cefalà, A.Costantini, O.Gervasi, and C.Tanci.
In 2011 International Conference on Computational Science and its Applications, pp.150-155. IEEE.
A simulation framework for scheduling performance evaluation on CPU-GPU heterogeneous system.
F.Vella, I.Neri, O.Gervasi, and S.Tasso.
In B.Murgante, O.Gervasi, S.Misra, N.Nedjah, A.M.A.C.Rocha, D.Taniar, and B.O.Apduhan, eds., Computational Science and its Applications (ICCSA), 2012, Lecture Notes in Computer Science, vol. 7336 pp.457-469. Springer.