Hardware/software co-verification in ATM. - Giovanni Mancini (HLSS, 1994)

A Methodology for HW-SW Codesign in ATM. - Giovanni Mancini; Dave Yurach; Spiros Boucouris (DAC, 1995)

ESL hand-off: fact or EDA fiction? - Hiroyuki Yagi; Wolfgang Roesner; Tim Kogel; Eshel Haritan; Hidekazu Tangi; Michael McNamara; Gary Smith 001; Nikil D. Dutt; Giovanni Mancini (DAC, 2008)

Balancing cyclic pursuit by means of set-theoretic techniques. - Giovanni Mancini (2014)

Estimating the relative position of mobile agents on Jordan curves from ambiguous proximity data. - Pietro De Lellis; Franco Garofalo; Francesco Lo Iudice; Giovanni Mancini (SIAM Conf. on Control and its Applications, 2015)

State estimation of heterogeneous oscillators by means of proximity measurements. - Pietro De Lellis; Franco Garofalo; Francesco Lo Iudice; Giovanni Mancini (Autom., 2015)

Decentralised coordination of a multi-agent system based on intermittent data. - Pietro De Lellis; Franco Garofalo; Francesco Lo Iudice; Giovanni Mancini (Int. J. Control, 2015)