| 1999 | DAC | Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits. | Valeria Bertacco, Maurizio Damiani, Stefano Quer |
| 1997 | ICCAD | The disjunctive decomposition of logic functions. | Valeria Bertacco, Maurizio Damiani |
| 1996 | EDCC | On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore |
| 1996 | ICCD | Boolean Function Representation Based on Disjoint-Support Decompositions. | Valeria Bertacco, Maurizio Damiani |
| 1996 | ITC | Synthesis of Self-Testing Finite State Machines from High-Level Specifications. | Vishwani D. Agrawal, Ronald D. Blanton, Maurizio Damiani |
| 1995 | DATE | Synthesis of multilevel fault-tolerant combinational circuits. | Alessandro Bogliolo, Maurizio Damiani |
| 1995 | VTS | Synthesis of combinational circuits with special fault-handling capabilitie. | Alessandro Bogliolo, Maurizio Damiani |
| 1995 | VTS | Reliability evaluation of combinational logic circuits by symbolic simulation. | Alessandro Bogliolo, Maurizio Damiani, Piero Olivo, Bruno Ricc |
| 1994 | ISCAS | A Synthesis Framework Based on Trace and Automata Theory. | Jrme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli |
| 1993 | DAC | Optimization of Combinational Logic Circuits Based on Compatible Gates. | Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli |
| 1992 | DAC | Recurrence Equations and the Optimization of Synchronous Logic Circuits. | Maurizio Damiani, Giovanni De Micheli |
| 1990 | ICCAD | Observability Don't Care Sets and Boolean Relations. | Maurizio Damiani, Giovanni De Micheli |
| 1989 | ICCD | Improved testability evaluations in combinational logic networks. | Silvia Ercolani, Michele Favalli, Maurizio Damiani, Piero Olivo, Bruno Ricc |
| 1989 | ITC | CMOS Design for Improved IC Testability. | Michele Favalli, Piero Olivo, Maurizio Damiani, Bruno Ricc |
| 1989 | ITC | On the Design of Multiple-Input Shift-Registers for Signature Analysis Testing. | Piero Olivo, Maurizio Damiani, Bruno Ricc |
| 1988 | ICCD | Aliasing errors in signature analysis testing of integrated circuits. | Maurizio Damiani, Piero Olivo, Michele Favalli, Bruno Ricc |