Search results for: Marco Volpe
Information and Computation > 2017 > 255 > P2 > 311-333
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > Sketches and Templates > 67-77
Theoretical Computer Science > 2015 > 603 > Complete > 84-110
Logica Universalis > 2013 > 7 > 1 > 33-69
Current Hypertension Reports > 2013 > 15 > 3 > 238-243
Electronic Notes in Theoretical Computer Science > 2010 > 262 > Complete > 189-204