| Hornet: An efficient data structure for dynamic sparse graphs and matrices on gpus F Busato, O Green, N Bombieri, DA Bader 2018 IEEE High Performance extreme Computing Conference (HPEC), 1-7, 2018 | 155 | 2018 |
| Human genetic diversity alters off-target outcomes of therapeutic gene editing S Cancellieri, J Zeng, LY Lin, M Tognon, MA Nguyen, J Lin, N Bombieri, ... Nature Genetics 55 (1), 34-43, 2023 | 113 | 2023 |
| An efficient implementation of the Bellman-Ford algorithm for Kepler GPU architectures F Busato, N Bombieri IEEE Transactions on Parallel and Distributed Systems 27 (8), 2222-2233, 2015 | 97 | 2015 |
| CRISPRitz: rapid, high-throughput and variant-aware in silico off-target site identification for CRISPR genome editing S Cancellieri, MC Canver, N Bombieri, R Giugno, L Pinello Bioinformatics 36 (7), 2001-2008, 2020 | 83 | 2020 |
| A mutation model for the SystemC TLM 2.0 communication interfaces N Bombieri, F Fummi, G Pravadelli Proceedings of the conference on Design, automation and test in Europe, 396-401, 2008 | 78 | 2008 |
| Grapes: A software for parallel searching on biological graphs targeting multi-core architectures R Giugno, V Bonnici, N Bombieri, A Pulvirenti, A Ferro, D Shasha PloS one 8 (10), e76911, 2013 | 76 | 2013 |
| HIFSuite: Tools for HDL code conversion and manipulation N Bombieri, G Di Guglielmo, M Ferrari, F Fummi, G Pravadelli, F Stefanni, ... EURASIP Journal on Embedded Systems 2010 (1), 436328, 2010 | 73 | 2010 |
| On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL N Bombieri, F Fummi, G Pravadelli Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006 | 66 | 2006 |
| Automatic abstraction of RTL IPs into equivalent TLM descriptions N Bombieri, F Fummi, G Pravadelli IEEE Transactions on Computers 60 (12), 1730-1743, 2010 | 65 | 2010 |
| BFS-4K: an Efficient Implementation of BFS for Kepler GPU Architectures NB Federico Busato IEEE Transactions on Parallel and Distributed Systems 26 (7), 1826 - 1838, 2014 | 53 | 2014 |
| Towards equivalence checking between TLM and RTL models N Bombieri, F Fummi, G Pravadelli, J Marques-Silva 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007 | 52 | 2007 |
| Data flow ORB-SLAM for real-time performance on embedded GPU boards S Aldegheri, N Bombieri, DD Bloisi, A Farinelli 2019 IEEE/RSJ international conference on intelligent robots and systems …, 2019 | 49 | 2019 |
| Incremental ABV for functional validation of TL-to-RTL design refinement N Bombieri, F Fummi, G Pravadelli 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007 | 44 | 2007 |
| Functional qualification of TLM verification N Bombieri, F Fummi, G Pravadelli, M Hampton, F Letombe 2009 Design, Automation & Test in Europe Conference & Exhibition, 190-195, 2009 | 42 | 2009 |
| Enabling gait analysis in the telemedicine practice through portable and accurate 3D human pose estimation E Martini, M Boldo, S Aldegheri, N Valè, M Filippetti, N Smania, ... Computer Methods and Programs in Biomedicine 225, 107016, 2022 | 38 | 2022 |
| Advances in GPU research and practice H Sarbazi-Azad Morgan Kaufmann, 2016 | 36 | 2016 |
| System/network design-space exploration based on TLM for networked embedded systems N Bombieri, F Fummi, D Quaglia ACM Transactions on Embedded Computing Systems (TECS) 9 (4), 1-32, 2010 | 36 | 2010 |
| Hybrid, incremental assertion-based verification for TLM design flows N Bombieri, F Fummi, G Pravadelli, A Fedeli IEEE Design & Test of Computers 24 (2), 140-152, 2007 | 36 | 2007 |
| Integrating RTL IPs into TLM designs through automatic transactor generation N Bombieri, N Deganello, F Fummi Proceedings of the conference on Design, automation and test in Europe, 15-20, 2008 | 35 | 2008 |
| A container-based design methodology for robotic applications on kubernetes edge-cloud architectures F Lumpp, M Panato, F Fummi, N Bombieri 2021 Forum on specification & Design Languages (FDL), 01-08, 2021 | 33 | 2021 |
Franco FummiProfessor of Computer Engineering, Universita' di VeronaVerified email at univr.it
