Path Verification Using Boolean Satisfiability. - Matthias Ringe; Thomas Lindenkreuz; Erich Barke (DATE, 1998)

Static Timing Analysis Taking Crosstalk into Account. - Matthias Ringe; Thomas Lindenkreuz; Erich Barke (DATE, 2000)

Clock Scheduling and Clocktree Construction for High Performance ASICS. - Stephan Held; Bernhard Korte; Jens Maßberg; Matthias Ringe; Jens Vygen (ICCAD, 2003)

Comparing Performance of Decision Diagrams and Case Retrieval Nets. - Alexandre Hanft; Matthias Ringe (LWA, 2008)