Matteo Pusceddu

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 1

Top Topics

Explanation Based Generalization

Prime Implicates

Computational Thinking

Top Venues

Publications

Giorgio Delzanno, Angelo Ferrando, Giovanna Guerrini, Matteo Pusceddu, Giovanni Zanone
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. HELMeTO (2022)
Matteo Pusceddu, Simone Ceccolini, Antonino Tumeo, Gianluca Palermo, Donatella Sciuto
Emulating Transactional Memory on FPGA Multiprocessors. ARCS (2011)
Matteo Pusceddu, Simone Ceccolini, Gianluca Palermo, Donatella Sciuto, Antonino Tumeo
A Compact Transactional Memory Multiprocessor System on FPGA. FPL (2010)