- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| j2 |      | Kurt Mehlhorn, Stefan Näher, Michael Seel, Raimund Seidel, Thomas Schilz, Stefan Schirra, Christian Uhrig: Checking geometric programs or verification of geometric structures. Comput. Geom. 12(1-2): 85-103 (1999) |
| 1996 | ||
| c1 | | Kurt Mehlhorn, Stefan Näher, Thomas Schilz, Stefan Schirra, Michael Seel, Raimund Seidel, Christian Uhrig: Checking Geometric Programs or Verification of Geometric Structures. Symposium on Computational Geometry 1996: 159-165 |
| 1993 | ||
| j1 | | Wolfgang Rülling, Thomas Schilz: A new method for hierarchical compaction [VLSI]. IEEE Trans. on CAD of Integrated Circuits and Systems 12(2): 353-360 (1993) |
| 1 | Kurt Mehlhorn | |
| 2 | Stefan Näher | |
| 3 | Wolfgang Rülling | |
| 4 | Stefan Schirra | |
| 5 | Michael Seel | |
| 6 | Raimund Seidel | |
| 7 | Christian Uhrig |
Data released under the ODC-BY 1.0 license — See also our legal information page