Concepedia

Thomas S. Heinze

TS

Statistics

Publications

9

Citations

117

H-Index

9

Active since

1992

Affiliations

Friedrich Schiller University Jena(Current)

Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

Thomas S. Heinze is an author at Friedrich Schiller University Jena specializing in computer science, computing, and formal methods.

Publications per year

1992–2024

9

Publications

9

Deep security analysis of program code

Tim Sonnekalb, Thomas S. Heinze, Patrick Mäder · Empirical Software Engineering · 2021 · 19 citations · Full text

Computing, Computer Science, Cybersecurity +17

Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection

André Schäfer, Wolfram Amme, Thomas S. Heinze · 2021 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +9

In vitro metabolism and DNA adduct formation from the mutagenic environmental contaminant 2-nitrofluoranthene

Diógenes Herreno-Sáenz, Frederick E. Evans, Thomas S. Heinze et al. · Chemical Research in Toxicology · 1992 · 15 citations

Pharmacy, Biochemistry, Toxicology +15

Static analysis and process model transformation for an advanced business process to Petri net mapping

Thomas S. Heinze, Wolfram Amme, Simon Moser · Software Practice and Experience · 2017 · 12 citations

Computing, Computer Science, Systems Engineering +16

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Sebastian Biewer, Rayna Dimitrova, Michael Fries et al. · Logical Methods in Computer Science · 2022 · 12 citations · Full text

Computing, Computer Science, Systems Engineering +17

1–5 of 9