- Spectral Techniques in VLSI CAD
- Multiple Valued Logic: Concepts and Representation (Synthesis Lectures on Digital Circuits and Systems)
- Digital System Verification: A Combined Formal Methods and Simulation Framework
- Modeling Digital Switching Circuits with Linear Algebra
- The Controller Area Network (CAN) Bus and Security (Synthesis Lectures on Digital Circuits & Systems)








