Christian Stangier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1999–2004
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | FMCAD | A Partitioning Methodology for BDD-Based Verification. | Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson |
| 2004 | FMCAD | Invariant Checking Combining Forward and Backward Traversal. | Christian Stangier, Thomas Sidle |
| 2001 | ASPDAC | A new partitioning scheme for improvement of image computation. | Christoph Meinel, Christian Stangier |
| 2001 | DSD | Applying Formal Verification with Protocol Compiler. | Christian Stangier, Ulrich Holtmann |
| 2001 | ICCD | Hierarchical Image Computation with Dynamic Conjunction Scheduling. | Christoph Meinel, Christian Stangier |
| 2000 | FMCAD | Speeding Up Image Computation by Using RTL Information. | Christoph Meinel, Christian Stangier |
| 1999 | DATE | Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. | Christoph Meinel, Christian Stangier |