 | 1999 |
|---|
| 3 |       | 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 |
|---|
| 2 |  | 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 |
|---|
| 1 | | 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) |
