16
Publications
471
Citations
11
H-Index
1976
Active since
Detlef Wotschke is an author at Pennsylvania State University specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsSyntaxLanguageLinguisticsComputer ScienceAutomated ReasoningGrammarComputational ComplexityFormal Verification
Publications per year
1976–2008
16
16
Amounts of nondeterminism in finite automata
Chandra M. R. Kintala, Detlef Wotschke · Acta Informatica · 1980 · 65 citations
Concise description of finite languages
W. Bucher, Hermann Maurer, Karel Čulík et al. · Theoretical Computer Science · 1981 · 29 citations
Rows per page
1–5 of 16