Luca Viganò

Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper)

Margherita Zorzi, Luca Viganò, Marco Volpe, 2014, WoLLIC.

Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, Revised Selected Papers

Pierpaolo Degano, Luca Viganò, 2009 .

The operational space control applied to a space robotic manipulator

Paolo Rocco, Gianni Ferretti, GianAntonio Magnani, 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

Optimal periodic output feedback control: a continuous-time approach and a case study

Marco Lovera, András Varga, Marco Bergamasco, 2010, Int. J. Control.

Object-oriented modelling and simulation of flexible multibody thin beams in Modelica with the finite element method

Gianni Ferretti, Politecnico Di Milano, Gerhard Schmitz, 2005 .

Object-Oriented Modelling of Flexible Beams

Gianni Ferretti, Francesco Schiavo, Luca Viganò, 2006 .

Optimal periodic output feedback control: A continuous time approach

Marco Lovera, András Varga, Luca Viganò, 2007, PSYCO.

On the use of torque sensors in a space robotics application

Paolo Rocco, Gianni Ferretti, GianAntonio Magnani, 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Labelled deduction

Dov M. Gabbay, Marcello D'Agostino, Seán Matthews, 2000 .

An LTP/LPV Approach to Orbit Control of Spacecraft on Elliptical Orbits

Marco Lovera, Luca Viganò, Remi Drai, 2008 .