Physically interactive robogames: Definition and design guidelines D Martinoia, D Calandriello, A Bonarini Robotics and Autonomous Systems 61 (8), 739-748, 2013 | 33 | 2013 |
Application-sensitive access control evaluation using parameterized expressiveness TL Hinrichs, D Martinoia, WC Garrison, AJ Lee, A Panebianco, L Zuck 2013 IEEE 26th Computer Security Foundations Symposium, 145-160, 2013 | 29 | 2013 |
Spaceship Earth. Space-driven technologies and systems for sustainability on ground AG Castiglioni, MB Bigdeli, C Palamini, D Martinoia, L Frezza, B Matassini, ... Acta Astronautica 115, 195-205, 2015 | 9 | 2015 |
Application-Sensitive Access Control Evaluation using Parameterized Expressiveness (Extended Version) TL Hinrichs, D Martinoia, WC Garrison III, AJ Lee, A Panebianco, L Zuck Computer Security Foundations Symposium (CSF), IEEE 26th, 2013 | 4 | 2013 |
Proving Correctness within an Access Control Evaluation Framework D Martinoia University of Illinois at Chicago, 2013 | | 2013 |
QUESTIONING HU’S INVARIANTS-Bad or Good Enough? D Martinoia International Conference on Computer Vision Theory and Applications 2, 311-316, 2012 | | 2012 |
SpaceshipEarth• Space-driven technologies and systems for sustainability on ground M Massari, MB Bigdeli, A Castiglioni, L Frezza, D Martinoia, B Matassini, ... | | |