Pubblicazioni

Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation

2016 - Reversible Computation
Cingolani, Davide; Ianni, Mauro; Pellegrini, Alessandro; Quaglia, Francesco

Towards Quantum Programs Verification: From Quipper Circuits to QPMC

2016 - Reversible Computation
Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, P

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma