Bachelor of Science

• Algoritmi e programmazione. A.A. 2014/15, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2015/16, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2015/16, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2016/17, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2016/17, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso

• 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
  Libro
• Patti, Denis (2018)
  Visual Analysis Algorithms for Embedded Systems. relatore: CABODI, Gianpiero; , 29. XXIX Ciclo, P.: 113
  Doctoral Thesis
• 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
  Contributo su Rivista
• 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
  Contributo su Rivista
• 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
  Contributo su Rivista
• 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
  Contributo su Rivista
• Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; ... (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
  Contributo su Rivista
• 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
  Contributo in Atti di Convegno (Proceeding)
• Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, ... (2016)
  Dal problema al programma. Introduzione al problem-solving in linguaggio C. S.L., Maggioli Editore, P. 246. ISBN: 978-8891616661
  Libro
• 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
  Libro
• Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, ... (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
  Contributo in Atti di Convegno (Proceeding)
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, ... (2015)
  Ricorsione e problem-solving: strategie algoritmiche in linguaggio C. Santarcangelo di Romagna, Maggioli Editore, P. 205. ISBN: 978-88-916-1292-2
  Libro
• Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano (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
  Contributo in Atti di Convegno (Proceeding)
• 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
  Libro