Preface
Armando, Alessandro, Viganò, Luca
Published in Electronic notes in theoretical computer science (01.03.2005)
Published in Electronic notes in theoretical computer science (01.03.2005)
Get full text
Journal Article
Labelled Modal Logics: Quantifiers
Basin, David, Matthews, Seán, Viganò, Luca
Published in Journal of logic, language, and information (01.07.1998)
Published in Journal of logic, language, and information (01.07.1998)
Get full text
Journal Article
A Formal Approach to Cyber-Physical Attacks
Lanotte, Ruggero, Merro, Massimo, Muradore, Riccardo, Viganò, Luca
Published in arXiv.org (21.04.2017)
Get full text
Published in arXiv.org (21.04.2017)
Paper
Bile Leakage and Liver Resection
Capussotti, Lorenzo, Ferrero, Alessandro, Viganò, Luca, Sgotto, Enrico
Published in Archives of surgery (Chicago. 1960) (01.07.2006)
Get full text
Published in Archives of surgery (Chicago. 1960) (01.07.2006)
Journal Article
On the use of torque sensors in a space robotics application
Ferretti, G., Magnani, G.A., Rocco, P., Vigano, L., Rusconi, A.
Published in 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems (2005)
Published in 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems (2005)
Get full text
Conference Proceeding