Author: Paolo Prinetto
Publications
Co-authors
Productive Colleagues
- Gabriele Tiotto
- Mark D. Hill
- Joe Marks
- 2
- 11
- 14
Publications
Hill, Mark D., Gaudiot, Jean-Luc, Hall, Mary W., Marks, Joe, Prinetto, Paolo, Baglio, Donna (2006): A Wiki for discussing and promoting best practices in research. In Communications of the ACM, 49 (9) pp. 63-64. https://dl.acm.org/doi/10.1145/1151058
Camurati, Paolo, Prinetto, Paolo (1988): Formal Verification of Hardware Correctness: Introduction and Survey of Current Research. In IEEE Computer, 21 (7) pp. 8-19.
Barberis, Davide, Garazzino, Nicola, Prinetto, Paolo, Tiotto, Gabriele (2011): Improving accessibility for deaf people: an editor for computer assisted translation throu. In: Thirteenth Annual ACM SIGACCESS Conference on Assistive Technologies , 2011, . pp. 253-254. https://dx.doi.org/10.1145/2049536.2049593