Jrgen Frl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1991–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DAC | Post sign-off leakage power optimization. | Hamed Abrishami, Jinan Lou, Jeff Qin, Jrgen Frl, Massoud Pedram |
| 1996 | DATE | An Efficient Algorithm for Real-Time Symbolic Model Checking. | Jrgen Frl, Thomas Kropf, Joachim Gerlach |
| 1995 | DATE | Verifying real-time properties of MOS-transistor circuits. | Jrgen Frl, Thomas Kropf |
| 1991 | ICCD | Module Generation for AND/XOR Fields (XPLAs). | Jrgen Frl, Bernhard Eschermann |