2
Publications
187
Citations
2
H-Index
2003
Active since
Affiliations
Technical University of Munich(Current)
Thomas Perst is an author at Technical University of Munich specializing in engineering, automated reasoning, and program analysis.
Top concepts
EngineeringCalibrationData ScienceSemantic WebVerificationFormal MethodsInstrumentationComputer ScienceProgram AnalysisSignal Processing
Publications per year
2003–2005
2
2
XML type checking with macro tree transducers
Sebastian Maneth, Alexandru Berlea, Thomas Perst et al. · 2005 · 120 citations
Engineering, Xml Type, Verification +18
Thomas Perst, Helmut Seidl · Information Processing Letters · 2003 · 67 citations
Rows per page
1–2 of 2