A new integrated system for PLA testing and verification. - Fabio Somenzi; Silvano Gai; Marco Mezzalama; Paolo Prinetto (DAC, 1983)

A review of fault models for lsi/vlsi devices. - Silvano Gai; Marco Mezzalama; Paolo Prinetto (Softw. Microsystems, 1983)

PART: Programmable Array Testing Based on a Partitioning Algorithm. - Fabio Somenzi; Silvano Gai; Marco Mezzalama; Paolo Prinetto (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1984)

Dynamic Storage Allocation: Experiments Using the C Language. - Silvano Gai; Marco Mezzalama (Softw. Pract. Exp., 1985)

Testing Strategy and Technique for Macro-Based Circuits. - Fabio Somenzi; Silvano Gai; Marco Mezzalama; Paolo Prinetto (IEEE Trans. Computers, 1985)

Fault detection in programmable logic arrays. - Fabio Somenzi; Silvano Gai (Proc. IEEE, 1986)

Fast and Coherent Simulation with Zero Delay Elements. - Silvano Gai; Fabio Somenzi; M. Spalla (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

Advances in Concurrent Multilevel Simulation. - Silvano Gai; Fabio Somenzi; Ernst G. Ulrich (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

The Performance of the Concurrent Fault Simulation Algorithms in MOZART. - Silvano Gai; Pier Luca Montessoro; Fabio Somenzi (DAC, 1988)

Fault simulation in a multilevel environment: the MOZART approach. - Gianpiero Cabodi; Silvano Gai; Marco Mezzalama; Pier Luca Montessoro; Fabio Somenzi (FTCS, 1988)

MOZART: a concurrent multilevel simulator. - Silvano Gai; Pier Luca Montessoro; Fabio Somenzi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)

A transputer-based gate-level fault simulator. - Gianpiero Cabodi; Silvano Gai; Matteo Sonza Reorda (Microprocessing and Microprogramming, 1990)

Creator: General and Efficient Multilevel Concurrent Fault Simulation. - Pier Luca Montessoro; Silvano Gai (DAC, 1991)

General and efficient multiple list traversal for concurrent fault simulation. - Pier Luca Montessoro; Silvano Gai (Great Lakes Symposium on VLSI, 1991)

Fast Differential Fault Simulation by Dynamic Fault Ordering. - Gianpiero Cabodi; Silvano Gai; Matteo Sonza Reorda (ICCD, 1991)

A parallel system for test pattern generation. - Gianpiero Balboni; Gianpiero Cabodi; Silvano Gai; D. Sismondi; Matteo Sonza Reorda (SPDP, 1991)

The fault dropping problem in concurrent event-driven simulation. - Silvano Gai; Pier Luca Montessoro (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)

A New Model for Improving symbolic Product Machine Traversal. - Gianpiero Cabodi; Paolo Camurati; Fulvio Corno; Silvano Gai; Paolo Prinetto; Matteo Sonza Reorda (DAC, 1992)

Initial Requirements for E3: An Environment for Experimenting and Evolving Software Process. - Letizia Jaccheri; Silvano Gai (EWSPT, 1992)

A Parallel System for Test Pattern Generation. - Gianpiero Balboni; Gianpiero Cabodi; Silvano Gai; Matteo Sonza Reorda (Parallel Comput., 1993)

TORSIM: An Efficient Fault Simulator for Synchronous Sequential Circuits. - Silvano Gai; Pier Luca Montessoro; Matteo Sonza Reorda (EDAC-ETC-EUROASIC, 1994)

Searching for PMIPS: Process Model Instructions per Second. - Mario Baldi; Silvano Gai; Maria Letizia Jaccheri; Patricia Lago (EWSPT, 1994)

A BDD Package For A Massively Parallel SIMD Architecture. - Gianpiero Cabodi; Silvano Gai; Maurizio Rebaudengo; Matteo Sonza Reorda (PDP, 1994)

Creator: new advanced concepts in concurrent simulation. - Silvano Gai; Pier Luca Montessoro (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

An improved data parallel algorithm for Boolean function manipulation using BDDs. - Silvano Gai; Maurizio Rebaudengo; Matteo Sonza Reorda (PDP, 1995)

Exploiting Code Mobility in Decentralized and Flexible Network Management. - Mario Baldi; Silvano Gai; Gian Pietro Picco (Mobile Agents, 1997)

A Comparison of ATM Stream Merging Techniques. - Mario Baldi; Davide Bergamasco; Silvano Gai; Dante Malagrinò (HPN, 1998)

CLIMAX: CelL-Interleaved Merged ATM conneXions. - Mario Baldi; Davide Bergamasco; Silvano Gai; Dante Malagrinò (Telecommun. Syst., 1999)

COPS Usage for Policy Provisioning (COPS-PR). - Kwok-Ho Chan; John Seligson; David Durham; Silvano Gai; Keith McCloghrie; Shai Herzog; Francis Reichmeyer; Raj Yavatkar; Andrew Smith (RFC, 2001)

Fibre Channel Fabric Address Manager MIB. - Claudio DeSanti; Vinay Gaonkar; Keith McCloghrie; Silvano Gai (RFC, 2006)

Fibre-Channel Name Server MIB. - Claudio DeSanti; Vinay Gaonkar; H. K. Vivek; Keith McCloghrie; Silvano Gai (RFC, 2006)

Fibre Channel Routing Information MIB. - Claudio DeSanti; Keith McCloghrie; Srini Kode; Silvano Gai (RFC, 2006)

MIB for Fibre Channel's Fabric Shortest Path First (FSPF) Protocol. - Claudio DeSanti; Vinay Gaonkar; Keith McCloghrie; Silvano Gai (RFC, 2006)

Fibre Channel Fabric Configuration Server MIB. - Claudio DeSanti; H. K. Vivek; Keith McCloghrie; Silvano Gai (RFC, 2007)

Fibre Channel Zone Server MIB. - Claudio DeSanti; H. K. Vivek; Keith McCloghrie; Silvano Gai (RFC, 2007)

Fibre Channel Registered State Change Notification (RSCN) MIB. - Claudio DeSanti; H. K. Vivek; Keith McCloghrie; Silvano Gai (RFC, 2007)

Routing Bridges (RBridges): Base Protocol Specification. - Radia J. Perlman; Donald E. Eastlake III; Dinesh G. Dutt; Silvano Gai; Anoop Ghanwani (RFC, 2011)

Programmable Dataplane Architecture for Distributed Services at the Network Edge. - Mario Baldi; Diego Crupnicoff; Silvano Gai (SDS, 2020)

Disaggregating Stateful Network Functions. - Deepak Bansal; Gerald DeGrace; Rishabh Tewari; Michal Zygmunt; James Grantham; Silvano Gai; Mario Baldi; Krishna Doddapaneni; Arun Selvarajan; Arunkumar Arumugam; Balakrishnan Raman; Avijit Gupta; et al. (NSDI, 2023)