 | 2009 |
| 4 |  | Erich Barke,
Darius Grabowski,
Helmut Graeb,
Lars Hedrich,
Stefan Heinen,
Ralf Popp,
Sebastian Steinhorst,
Yifan Wang:
Formal approaches to analog circuit verification.
DATE 2009: 724-729 |
| 2006 |
| 3 |  | Dieter Treytnar,
Ralf Popp:
EDA - Eine Voraussetzung für die Nanoelektronik.
it - Information Technology 48(2): 112-123 (2006) |
| 2002 |
| 2 |  | Ralf Popp,
Joerg Oehmen,
Lars Hedrich,
Erich Barke:
Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits.
DATE 2002: 274-278 |
| 1995 |
| 1 |  | Ralf Popp,
Matthias Fröhlich,
Nigel Jefferies:
Security Services for Telecommunications Users.
IS&N 1995: 28-39 |