Andreas Kuehlmann

Timing analysis in high-level synthesis

Reinaldo A. Bergamaschi, Andreas Kuehlmann, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

Formal verification of a PowerPC microprocessor

Andreas Kuehlmann, D. P. Appenzeller, A. Kuehlmann, 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.

More Moore: foolish, feasible, or fundamentally different?

Jan M. Rabaey, Jerry Bautista, Robert Aitken, 2008, ICCAD 2008.

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002

Larry Pileggi, Andreas Kuehlmann, 2002, ICCAD.

Embedded Systems Specification and Modeling

Paulo Tabuada, Sandeep K. Shukla, Rajesh Gupta, 2010 .

Thinking Big

Andreas Kuehlmann, 2010, IEEE Solid-State Circuits Magazine.