David Hansel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1998–2001
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | RSP | Distributed Prototyping from Validated Specifications. | David Hansel, Rance Cleaveland, Scott A. Smolka |
| 2000 | CAV | Efficient Algorithms for Model Checking Pushdown Systems. | Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon |
| 1998 | ICPR | A model driven 3D image interpretation system applied to person detection in video images. | Olaf Munkelt, Christof Ridder, David Hansel, Walter Hafner |