Darius Grabowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2009
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | DATE | Formal approaches to analog circuit verification. | Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang |
| 2008 | ASPDAC | Analog circuit simulation using range arithmetics. | Darius Grabowski, Markus Olbrich, Erich Barke |
| 2007 | FDL | Range Arithmetics to Speed up Reachability Analysis of Analog Systems. | Darius Grabowski, Markus Olbrich, Christoph Grimm, Erich Barke |
| 2006 | ISCAS | Semi-symbolic modeling and simulation of circuits and systems. | Darius Grabowski, Christoph Grimm, Erich Barke |