3
Publications
490
Citations
3
H-Index
2000
Active since
Affiliations
Johannes Gutenberg University Mainz(Current)
Richard Kreckel is an author at Johannes Gutenberg University Mainz specializing in quantum field theory, parallel programming, and software analysis.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationParallel ProgrammingQuantum Field TheorySoftware Engineering
Publications per year
2000–2002
3
3
Rows per page
1–3 of 3