BRUSCHI, FRANCESCO
BRUSCHI, FRANCESCO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Framework for the Functional Verification of SystemC Models
2005-01-01 Bruschi, Francesco; Ferrandi, Fabrizio; Sciuto, Donatella
A new approach for Bitcoin pool-hopping detection
2022-01-01 Cortesi, E.; Bruschi, F.; Secci, S.; Taktak, S.
A Real-time Information System for Public Transport in Case of Delays and Service Disruptions
2015-01-01 Bruglieri, Maurizio; Bruschi, Francesco; COLORNI VITALE, Alberto; Lue', Alessandro; Nocerino, Roberto; Rana, Vincenzo
A scalable decentralized system for fair token distribution and seamless users onboarding
2022-01-01 Bruschi, Francesco; Tumiati, Manuel; Rana, Vincenzo; Bianchi, Mattia; Sciuto, Donatella
A Transform-Parametric Approach to Boolean Matching
2009-01-01 Agosta, Giovanni; Bruschi, Francesco; Pelosi, Gerardo; Sciuto, Donatella
Criptovalute ed attività criminali: ragioni di un dialogo interdisciplinare
2022-01-01 Bruschi, Francesco; Di Vizio, Fabio; Rana, Vincenzo
Efficient Hardware Design of Iterative Stencil Loops
2016-01-01 Rana, Vincenzo; Beretta, Ivan; Bruschi, Francesco; Nacci, ALESSANDRO ANTONIO; Atienza, David; Sciuto, Donatella
LE APPLICAZIONI DELLE NUOVE TECNOLOGIE: CRIPTOVALUTE, BLOCKCHAIN E SMART CONTRACT
2020-01-01 Bruschi, Francesco
Static Analysis of Transaction-Level Communication Models
2008-01-01 Agosta, Giovanni; Bruschi, Francesco; Sciuto, Donatella
Tunneling Trust into the Blockchain: A Merkle Based Proof System for Structured Documents
2021-01-01 Bruschi, F.; Rana, V.; Pagani, A.; Sciuto, D.