Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae. - Marco Cadoli; Andrea Giovanardi; Marco Schaerf (AI*IA, 1997)

An Algorithm to Evaluate Quantified Boolean Formulae. - Marco Cadoli; Andrea Giovanardi; Marco Schaerf (AAAI/IAAI, 1998)

An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. - Marco Cadoli; Marco Schaerf; Andrea Giovanardi; Massimo Giovanardi (J. Autom. Reason., 2002)

A simple test to assess the static and dynamic accuracy of an inertial sensors system for human movement analysis. - Andrea Giovanni Cutti; Andrea Giovanardi; Laura Rocchi; Angelo Davalli (EMBC, 2006)

Ambulatory measurement of shoulder and elbow kinematics through inertial and magnetic sensors. - Andrea Giovanni Cutti; Andrea Giovanardi; Laura Rocchi; Angelo Davalli; Rinaldo Sacchetti (Medical Biol. Eng. Comput., 2008)

The Use of IMMUs in a Water Environment: Instrument Validation and Application of 3D Multi-Body Kinematic Analysis in Medicine and Sport. - Anna Lisa Mangia; Matteo Cortesi; Silvia Fantozzi; Andrea Giovanardi; Davide Borra; Giorgio Gatta (Sensors, 2017)