| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics | Hardcover | 978-0-7923-7407-7 | 2001 | Alberto L. Sangiovanni-Vincentelli |
| Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications | " | 978-0-7923-9163-0 | 1991 | Patrick C. McGeer |
| Logic Synthesis for Field-Programmable Gate Arrays | " | 978-0-7923-9596-6 | 1995 | Rajeev Murgai · Alberto L. Sangiovanni-Vincentelli |
| Synthesis of Finite State Machines: Functional Optimization | " | 978-0-7923-9842-4 | 1996 | Timothy Kam · Tiziano Villa · Alberto L. Sangiovanni-Vincentelli |
| Synthesis of Finite State Machines: Logic Optimization | " | 978-0-7923-9892-9 | 1997 | Tiziano Villa · Timothy Kam · Alberto L. Sangiovanni-Vincentelli |
| The Unknown Component Problem | Paperback | 978-1-4614-1091-1 | 2011 | Tiziano Villa · Nina Yevtushenko |
| The Unknown Component Problem: Theory and Applications | " | 978-1-4899-7394-8 | 2014 | Tiziano Villa · Nina Yevtushenko · Alan Mishchenko · Alexandre Petrenko · Alberto Sangiovanni-Vincentelli |
| The Unknown Component Problem: Theory and Applications | Hardcover | 978-0-387-34532-1 | 2011 | Tiziano Villa · Nina Yevtushenko · Alan Mishchenko · Alexandre Petrenko · Alberto Sangiovanni-Vincentelli |
| Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis | " | 978-0-7923-9454-9 | 1994 | William K.C. Lam |
K. B. · R. B · R.K. · Robert B. · Robert Brayton · Robert K.