Thomas Schilz

Publication Activity (10 Years)

Years Active: 1993-1999
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

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) (1999)
Kurt Mehlhorn, Stefan Näher, Thomas Schilz, Stefan Schirra, Michael Seel, Raimund Seidel, Christian Uhrig
Checking Geometric Programs or Verification of Geometric Structures. SCG (1996)
Wolfgang Rülling, Thomas Schilz
A new method for hierarchical compaction [VLSI]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12 (2) (1993)