Bounded families for the on-line t-relaxed coloring. - Agostino Capponi; Concetta Pilotto (Inf. Process. Lett., 2005)

Local chromatic number and Sperner capacity. - János Körner; Concetta Pilotto; Gábor Simonyi (J. Comb. Theory B, 2005)

Connectivity for the Frisbee Architecture. - Agostino Capponi; Concetta Pilotto; Alfonso Farina; Giovanni Golino; Lance M. Kaplan (FUSION, 2006)

Algorithms for the selection of the active sensors in distributed tracking: comparison between Frisbee and GNS methods. - Agostino Capponi; Concetta Pilotto; Giovanni Golino; Alfonso Farina; Lance M. Kaplan (FUSION, 2006)

3D Nanowire-Based Programmable Logic. - Benjamin Gojman; Raphael Rubin; Concetta Pilotto; André DeHon; Tetsufumi Tanamoto (Nano-Net, 2006)

Convergence Verification: From Shared Memory to Partially Synchronous Systems. - K. Mani Chandy; Sayan Mitra; Concetta Pilotto (FORMATS, 2008)

Stochastic filtering in jump systems with state dependent mode transitions. - Agostino Capponi; Concetta Pilotto (ACC, 2009)

Consensus on asynchronous communication networks in presence of external input. - Concetta Pilotto; K. Mani Chandy; Jerome White (CDC, 2010)

Verification of Faulty Message Passing Systems with Continuous State Space in PVS. - Concetta Pilotto; Jerome White (NASA Formal Methods, 2010)

Expressing stochastic filters via number sequences. - Agostino Capponi; Alfonso Farina; Concetta Pilotto (Signal Process., 2010)

Verification of distributed systems with local-global predicates. - K. Mani Chandy; Brian Go; Sayan Mitra; Concetta Pilotto; Jerome White (Formal Aspects Comput., 2011)

Towards a verification framework for faulty message passing systems in PVS. - Concetta Pilotto; Jerome White (Innov. Syst. Softw. Eng., 2011)

Systematic Design and Formal Verification of Multi-Agent Systems. - Concetta Pilotto (2011)