Statistics
Publications
37
Citations
1.4K
H-Index
20
Active since
1997
Johann Schumann is an author at Ames Research Center specializing in computer science, computing, and aerospace engineering.
Publications per year
1997–2022
36
37
Generating statechart designs from scenarios
Jon Whittle, Johann Schumann · 2000 · 360 citations
SETHEO and E-SETHEO - The CADE-13 Systems
Max Moser, Ortrun Ibens, Reinhold Letz et al. · Journal of Automated Reasoning · 1997 · 82 citations
1–5 of 37