Friedrich Otto - Concepedia

Author

Friedrich Otto

University of Kassel

Also Known As

FRIEDRICH OTTO, Friedrich Otto, Otto, Friedrich, Weikum, Gerhard

281

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

University of Kassel University of Kaiserslautern University at Albany, State University of New York Albany State University Toho University

About

Friedrich Otto is an author at University of Kassel specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	28	773
2	Computer Science	14	21	517
3	Language Studies	9	9	456
4	Education	3	3	50
5	Computer Engineering	1	1	10

Friedrich Otto

Publications

1.4K

Citations

H-Index

Page 1

	Year	Citations
Church-Rosser Thue systems and formal languages Robert McNaughton, Paliath Narendran, Friedrich Otto Journal of the ACM EngineeringChurch-rosser Thue SystemsHigher-order LogicFormal LanguagesFormal Verification	1988	129
A finiteness condition for rewriting systems Craig C. Squier, Friedrich Otto, Yuji Kobayashi Theoretical Computer Science EngineeringFiniteness ConditionAutomated ReasoningRegulated RewritingRewriting System	1994	110
Growing Context-Sensitive Languages and Church–Rosser Languages Gerhard Buntrock, Friedrich Otto Information and Computation Context-sensitive LanguagesLinguistic AnthropologyLanguage SymbiosisLanguage StudiesLinguistics	1998	103
Pseudo-natural algorithms for the word problem for finitely presented monoids and groups Klaus Madlener, Friedrich Otto Journal of Symbolic Computation Mathematical ProgrammingCombinatorics On WordComputational Complexity TheoryEngineeringPseudo-natural Algorithms	1985	51
The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages Gundula Niemann, Friedrich Otto Information and Computation Context-sensitive LanguagesPhilosophy Of LanguageSyntaxLanguage SymbiosisComputational Linguistics	2005	49
Conjugacy in monoids with a special Church-Rosser presentation is decidable Friedrich Otto Semigroup Forum Universal AlgebraSpecial Church-rosser Presentation	1984	47
On ground-confluence of term rewriting systems Deepak Kapur, Paliath Narendran, Friedrich Otto Information and Computation Terminology ManagementSyntaxRegulated RewritingComputational LinguisticsGrammar	1990	44
For Groups the Property of Having Finite Derivation Type is equivalent to the Homological Finiteness ConditionFP3 Robert Cremanns, Friedrich Otto Journal of Symbolic Computation Homological Finiteness Conditionfp3	1996	40
About the descriptive power of certain classes of finite string-rewriting systems Klaus Madlener, Friedrich Otto Theoretical Computer Science EngineeringRepresentation TheoryRegulated RewritingFinite String-rewriting SystemsRewriting System	1989	37
Finite Derivation Type Implies The Homological Finiteness Condition FP3 Robert Cremanns, Friedrich Otto Journal of Symbolic Computation Finite Model TheoryFinite Derivation TypeHigher-order LogicFinite-state System	1994	36

Page 1