2
Publications
81
Citations
2
H-Index
1996
Active since
Thomas Schilz is an author at Max Planck Institute for Informatics specializing in system software, computer-aided design, and geometric modeling.
Top concepts
GeometryEngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceNatural SciencesProgram AnalysisSoftware TestingGeometry Modeling
Publications per year
1996–1999
2
2
Checking geometric programs or verification of geometric structures
Kurt Mehlhorn, Stefan Näher, Thomas Schilz et al. · 1996 · 57 citations · Full text
Checking geometric programs or verification of geometric structures
Kurt Mehlhorn, Stefan Näher, Michael Seel et al. · Computational Geometry · 1999 · 24 citations · Full text
Rows per page
1–2 of 2