| 2008 |
|---|
| 4 | EE | Darius Grabowski,
Markus Olbrich,
Erich Barke:
Analog circuit simulation using range arithmetics.
ASP-DAC 2008: 762-767 |
| 2007 |
|---|
| 3 | | Darius Grabowski,
Markus Olbrich,
Christoph Grimm,
Erich Barke:
Range Arithmetics to Speed up Reachability Analysis of Analog Systems.
FDL 2007: 38-43 |
| 2006 |
|---|
| 2 | EE | Darius Grabowski,
Christoph Grimm,
Erich Barke:
Semi-symbolic modeling and simulation of circuits and systems.
ISCAS 2006 |
| 1 | EE | Darius Grabowski,
Daniel Platte,
Lars Hedrich,
Erich Barke:
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms.
Electr. Notes Theor. Comput. Sci. 153(3): 37-52 (2006) |
