DENIS PATTI

Download the vcard Photo

Adjunct Professor

Most recent publications

Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D (2020)
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills. In: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, vol. 36, pp. 1505-1528. ISSN 0949-149X
PASINI, PAOLO; PATTI, DENIS; VENDRAMINETTO, DANILO; CABODI, Gianpiero; CAMURATI, Paolo ... (2018)
Algoritmi e programmazione in pratica. Da specifiche a codice C. S.L., Maggioli spa, P. 280. ISBN: 9788891629890
Patti, Denis (2018)
Visual Analysis Algorithms for Embedded Systems. relatore: CABODI, Gianpiero; , 29. XXIX Ciclo, P.: 113
Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, ... (2018)
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking. In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 20, pp. 313-325. ISSN 1433-2779
Rizvi, Syed; Patti, Denis; Bjorklund, TOMAS PER ROLF; Cabodi, Gianpiero; Francini, ... (2017)
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform. In: FUTURE INTERNET, vol. 9. ISSN 1999-5903 Download fulltext
Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad (2017)
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform. In: JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS, vol. 7, pp. 1-16. ISSN 2079-9268 Download fulltext
Camurati, Paolo; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo (2016)
Dal problema al programma. Introduzione al problem-solving in linguaggio C. S.L., Maggioli Editore, P. 246. ISBN: 978-8891616661
Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, ... (2016)
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C. S.L., Maggioli Editore, P. 241. ISBN: 978-8891619013
Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Francini, Gianluca (2016)
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform. In: ELECTRONICS, vol. 5. ISSN 2079-9292 Download fulltext
Cabodi, G.; Loiacono, C.; Palena, M.; Pasini, P.; Quer, S.; Patti, D.; Vendraminetto, ... (2016)
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks. In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION, vol. 9, pp. 135-172. ISSN 1574-0617
Rizvi, Syed Tahir Hussain; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad Majid (2016)
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers. In: 13th International Conference on Development and Application Systems, Suceava, Romania, May 19-21, 2016, pp. 10-15. ISBN: 978-1-5090-1992-2
Gianpiero, Cabodi; Paolo, Enrico Camurati; Paolo, Pasini; Denis, Patti; Danilo, ... (2015)
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C. Santarcangelo di Romagna, Maggioli Editore, P. 205. ISBN: 978-88-916-1292-2
Massimo Balestri; Gianpiero Cabodi; Gianluca Francini; Alessandro Garbo; Carmelo ... (2015)
Accurate and Efficient Visual Search on Embedded Systems. In: International conference on advanced in computing, communication and information technology, Birmingham, 26-27 Maggio 2015. ISBN: 9781632480613
Camurati, P.; Loiacono, C.; Pasini, P.; Patti, D.; Quer, S. (2014)
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties. In: International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014), Lausanne, Switzerland, October 20, 2014
Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, ... (2014)
Dal problema al programma: introduzione al problem-solving in linguaggio C. Santarcangelo di Romagna, Maggioli Editore, P. 229. ISBN: 978-88-916-0782-9
Loiacono, C.; Palena, M.; Pasini, P.; Patti, D.; Quer, S.; Vendraminetto, D.; ... (2013)
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties. In: Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France, March 2013, pp. 803-806. ISBN: 978-1-4673-5071-6
Pasini, Paolo; Patti, Denis; Levra, Mauro; Pessiva, Giovanni; Ricossa, Stefano (2013)
QEbu: an advanced graphical editor for the EBU Core metadata set. In: EBU TECHNICAL REVIEW, vol. Q2 2013, pp. 1-13. ISSN 1609-1469
Show all publications in Porto@Iris