Computer Science · Physical Sciences
8h-index269citations64works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(27), Formal Methods in Verification(15), Advanced Software Engineering Methodologies(9), Logic, Reasoning, and Knowledge(8), Parallel Computing and Optimization Techniques(7)
Publications64 total
Edward Elgar Publishing eBooks·2022· 2 cited
GRURRR. Gewerblicher Rechtsschutz und Urheberrecht, Rechtsprechungs-Report/GRUR-DVD/GRUR-CD/IIC/Gewerblicher Rechtsschutz und Urheberrecht/Gewerblicher Rechtsschutz und Urheberrecht. Internationaler Teil·2018
Commento agli artt. 2342-2345, 2360, 2362, 2414bis, 2420 Cod. Civ.
2018
Case Note on "Reti Televisive Italiane"
2018
GRURRR. Gewerblicher Rechtsschutz und Urheberrecht, Rechtsprechungs-Report/GRUR-DVD/GRUR-CD/IIC/Gewerblicher Rechtsschutz und Urheberrecht/Gewerblicher Rechtsschutz und Urheberrecht. Internationaler Teil·2017
GRURRR. Gewerblicher Rechtsschutz und Urheberrecht, Rechtsprechungs-Report/GRUR-DVD/GRUR-CD/IIC/Gewerblicher Rechtsschutz und Urheberrecht/Gewerblicher Rechtsschutz und Urheberrecht. Internationaler Teil·2017
GRURRR. Gewerblicher Rechtsschutz und Urheberrecht, Rechtsprechungs-Report/GRUR-DVD/GRUR-CD/IIC/Gewerblicher Rechtsschutz und Urheberrecht/Gewerblicher Rechtsschutz und Urheberrecht. Internationaler Teil·2016
GRURRR. Gewerblicher Rechtsschutz und Urheberrecht, Rechtsprechungs-Report/GRUR-DVD/GRUR-CD/IIC/Gewerblicher Rechtsschutz und Urheberrecht/Gewerblicher Rechtsschutz und Urheberrecht. Internationaler Teil·2016
Fundamenta Informaticae·2016· 1 cited
GRURRR. Gewerblicher Rechtsschutz und Urheberrecht, Rechtsprechungs-Report/GRUR-DVD/GRUR-CD/IIC/Gewerblicher Rechtsschutz und Urheberrecht/Gewerblicher Rechtsschutz und Urheberrecht. Internationaler Teil·2015· 3 cited
LUISSThesis - Open Archive·2015Open Access
GRURRR. Gewerblicher Rechtsschutz und Urheberrecht, Rechtsprechungs-Report/GRUR-DVD/GRUR-CD/IIC/Gewerblicher Rechtsschutz und Urheberrecht/Gewerblicher Rechtsschutz und Urheberrecht. Internationaler Teil·2014
Programming Self-Assembly of DNA Tiles.
2014
Peter Suber, Open Access, MIT Press, Cambridge MA, 2012, pp. 242
2014
Fundamenta Informaticae·2014
Dialnet (Universidad de la Rioja)·2014· 1 cited
UnipiEprints Open Archive (Università di Pisa)·2013· 1 citedOpen Access
DNA Tiles, Wang Tiles and Combinators
2013· 1 cited
The future of Law and Economics: Interview with Guido Calabresi
2013
SSRN Electronic Journal·2013Open Access
page 1 of 4Next →
Frequent Co-authors
M. Eugenia Occhiuto(17), Giorgio Levi(12), Pierpaolo Degano(8), Roberto Barbuti(6), Maurizio Martelli(5), E Dameri(5), Maria Eugena Occhiuto(5), Alberto Martelli(3), C. Simonelli(3), Valentina Moscon(1), Giovanni Bosco(1), Elio Giovannetti(1), Corrado Moiso(1), Catuscia Palamidessi(1), Giorgio Levi(1), Giorgio Levi(1)