An 'Executable' Impredicative Semantics for the Ada Configuration. - A. Bucci; Paola Inverardi; Simone Martini 001 (Formal Aspects Comput., 1993)

Slippage control in hand prostheses by sensing grasping forces and sliding motion. - A. Mingrino; A. Bucci; Riccardo Magni; Paolo Dario (IROS, 1994)