A hardware implementation of a modified DES-algorithm. - Thomas Kropf; Jürgen Frößl; W. Beller; T. Giesler (Microprocessing and Microprogramming, 1990)

Module Generation for AND/XOR Fields (XPLAs). - Jürgen Frößl; Bernhard Eschermann (ICCD, 1991)

A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation. - Jürgen Frößl; Thomas Kropf (EDAC-ETC-EUROASIC, 1994)

Verifying real-time properties of MOS-transistor circuits. - Jürgen Frößl; Thomas Kropf (ED&TC, 1995)

An Efficient Algorithm for Real-Time Symbolic Model Checking. - Jürgen Frößl; Thomas Kropf; Joachim Gerlach (ED&TC, 1996)

Synthese großer Schaltungen. - Jürgen Frößl (MBMV, 2002)

Post sign-off leakage power optimization. - Hamed Abrishami; Jinan Lou; Jeff Qin; Jürgen Frößl; Massoud Pedram (DAC, 2011)