Edit Profile (opens in new tab) Avenhaus, Jürgen Compute Distance To: Compute Author ID: avenhaus.jurgen Published as: Avenhaus, J.; Avenhaus, Jürgen; Avenhaus, Juergen Documents Indexed: 36 Publications since 1971, including 1 Book Reviewing Activity: 18 Reviews Co-Authors: 15 Co-Authors with 31 Joint Publications 266 Co-Co-Authors all top 5 Co-Authors 5 single-authored 21 Madlener, Klaus E. 3 Becker, Klaus W. 2 Löchner, Bernd 1 Book, Ronald Vernon 1 Denzinger, Jörg 1 Gramlich, Bernhard 1 Heck, Norbert 1 Hillenbrand, Thomas 1 Küchlin, Wolfgang W. 1 Loría-Sáenz, C. 1 Middeldorp, Aart 1 Otto, Friedrich 1 Plaisted, David Alan 1 Sinz, Carsten 1 Squier, Craig C. all top 5 Serials 3 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 3 Theoretical Computer Science 3 Journal of Symbolic Computation 2 Acta Informatica 2 RAIRO, Informatique Théorique 2 Revista Colombiana de Matemáticas 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Computing 1 Transactions of the American Mathematical Society 1 Journal of Automated Reasoning Fields 24 Computer science (68-XX) 18 Group theory and generalizations (20-XX) 13 Mathematical logic and foundations (03-XX) 2 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 113 times in 73 Documents Cited by ▼ Year ▼ The Nielsen reduction and P-complete problems in free groups. Zbl 0555.20015Avenhaus, J.; Madlener, K. 11 1984 Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität. Zbl 0371.02019Avenhaus, J.; Madlener, K. 11 1977 String matching and algorithmic problems in free groups. Zbl 0514.20026Avenhaus, Juergen; Madlener, Klaus 11 1980 On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. Zbl 0542.20038Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C. 9 1984 Groups presented by finite two-monadic Church-Rosser Thue systems. Zbl 0604.20034Avenhaus, J.; Madlener, K.; Otto, F. 9 1986 On groups defined by monadic Thue systems. Zbl 0608.20045Avenhaus, J.; Madlener, K. 8 1986 Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen. Zbl 0371.02020Avenhaus, Jürgen; Madlener, K. 7 1978 Term rewriting and equational reasoning. Zbl 0704.68061Avenhaus, J.; Madlener, K. 7 1990 On the complexity of intersection and conjugacy problems in free groups. Zbl 0555.20016Avenhaus, J.; Madlener, K. 5 1984 Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. Zbl 0396.03040Avenhaus, J.; Madlener, K. 5 1978 How to compute generators for the intersection of subgroups in free groups. Zbl 0466.68036Avenhaus, J.; Madlener, K. 5 1981 Logicality of conditional rewrite systems. Zbl 0938.68050Yamada, T.; Avenhaus, J.; Loría-Sáenz, C.; Middeldorp, A. 4 2000 On using ground joinable equations in equational theorem proving. Zbl 1019.03005Avenhaus, J.; Hillenbrand, Th.; Löchner, B. 3 2003 Reduction systems. (Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen.) Zbl 0827.68063Avenhaus, Jürgen 3 1995 String matching and algorithmic problems in free groups. Zbl 0431.03031Avenhaus, Jürgen; Madlener, Klaus 2 1980 Theorem proving in hierarchical clausal specifications. Zbl 0867.68096Avenhaus, J.; Madlener, K. 2 1997 Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung. Zbl 0216.23403Avenhaus, J. 2 1971 CCE: Testing ground joinability. Zbl 0988.68587Avenhaus, Jürgen; Löchner, Bernd 1 2001 A framework for operational equational specifications with pre-defined structures. Zbl 0928.68078Avenhaus, Jürgen; Becker, Klaus 1 1999 \(E_n-E_{n-1}\)-entscheidbare Gruppen. Zbl 0314.02055Avenhaus, J.; Madlener, K. 1 1975 Komplexitätsuntersuchungen für Einrelatorgruppen. Zbl 0359.02044Avenhaus, J.; Madlener, K. 1 1977 Komplexität bei Gruppen: Der Einbettungssatz von Higman. Zbl 0363.20030Avenhaus, J.; Madlener, K. 1 1977 The Nielsen reduction as key problem to polynomial algorithms in free groups. Zbl 0548.68038Avenhaus, J.; Madlener, K. 1 1982 General algorithms for permutations in equational inference. Zbl 0985.68026Avenhaus, Jürgen; Plaisted, David A. 1 2001 An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation. Zbl 0494.20020Avenhaus, J.; Madlener, K. 1 1981 Efficient algorithms for computing modulo permutation theories. Zbl 1126.68556Avenhaus, Jürgen 1 2004 Efficient algorithms for computing modulo permutation theories. Zbl 1126.68556Avenhaus, Jürgen 1 2004 On using ground joinable equations in equational theorem proving. Zbl 1019.03005Avenhaus, J.; Hillenbrand, Th.; Löchner, B. 3 2003 CCE: Testing ground joinability. Zbl 0988.68587Avenhaus, Jürgen; Löchner, Bernd 1 2001 General algorithms for permutations in equational inference. Zbl 0985.68026Avenhaus, Jürgen; Plaisted, David A. 1 2001 Logicality of conditional rewrite systems. Zbl 0938.68050Yamada, T.; Avenhaus, J.; Loría-Sáenz, C.; Middeldorp, A. 4 2000 A framework for operational equational specifications with pre-defined structures. Zbl 0928.68078Avenhaus, Jürgen; Becker, Klaus 1 1999 Theorem proving in hierarchical clausal specifications. Zbl 0867.68096Avenhaus, J.; Madlener, K. 2 1997 Reduction systems. (Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen.) Zbl 0827.68063Avenhaus, Jürgen 3 1995 Term rewriting and equational reasoning. Zbl 0704.68061Avenhaus, J.; Madlener, K. 7 1990 Groups presented by finite two-monadic Church-Rosser Thue systems. Zbl 0604.20034Avenhaus, J.; Madlener, K.; Otto, F. 9 1986 On groups defined by monadic Thue systems. Zbl 0608.20045Avenhaus, J.; Madlener, K. 8 1986 The Nielsen reduction and P-complete problems in free groups. Zbl 0555.20015Avenhaus, J.; Madlener, K. 11 1984 On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids. Zbl 0542.20038Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C. 9 1984 On the complexity of intersection and conjugacy problems in free groups. Zbl 0555.20016Avenhaus, J.; Madlener, K. 5 1984 The Nielsen reduction as key problem to polynomial algorithms in free groups. Zbl 0548.68038Avenhaus, J.; Madlener, K. 1 1982 How to compute generators for the intersection of subgroups in free groups. Zbl 0466.68036Avenhaus, J.; Madlener, K. 5 1981 An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation. Zbl 0494.20020Avenhaus, J.; Madlener, K. 1 1981 String matching and algorithmic problems in free groups. Zbl 0514.20026Avenhaus, Juergen; Madlener, Klaus 11 1980 String matching and algorithmic problems in free groups. Zbl 0431.03031Avenhaus, Jürgen; Madlener, Klaus 2 1980 Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen. Zbl 0371.02020Avenhaus, Jürgen; Madlener, K. 7 1978 Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. Zbl 0396.03040Avenhaus, J.; Madlener, K. 5 1978 Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität. Zbl 0371.02019Avenhaus, J.; Madlener, K. 11 1977 Komplexitätsuntersuchungen für Einrelatorgruppen. Zbl 0359.02044Avenhaus, J.; Madlener, K. 1 1977 Komplexität bei Gruppen: Der Einbettungssatz von Higman. Zbl 0363.20030Avenhaus, J.; Madlener, K. 1 1977 \(E_n-E_{n-1}\)-entscheidbare Gruppen. Zbl 0314.02055Avenhaus, J.; Madlener, K. 1 1975 Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung. Zbl 0216.23403Avenhaus, J. 2 1971 all cited Publications top 5 cited Publications all top 5 Cited by 79 Authors 16 Otto, Friedrich 13 Madlener, Klaus E. 7 Avenhaus, Jürgen 3 Birget, Jean-Camille 3 Book, Ronald Vernon 3 Krivoj, S. L. 3 Meseguer Guaita, José 3 Narendran, Paliath 2 Kilgour, D. Marc 2 Lohrey, Markus 2 Piggott, Adam 2 Wrochna, Marcin 2 Zhang, Louxin 1 Aiguier, Marc 1 Araújo, João 1 Autebert, Jean-Michel 1 Avenhaus, Rudolf 1 Bauch, Hartmut 1 Bevers, Eddy 1 Boasson, Luc 1 Boy de la Tour, Thierry 1 Cartwright, Donald I. 1 Cohen, Daniel E. 1 Diekert, Volker 1 Dougherty, Daniel J. 1 Durán, Francisco 1 Durnev, Valeriĭ Georgievich 1 Echenim, Mnacho 1 Eisenberg, Andy 1 Elder, Murray J. 1 Forcheri, Paola 1 Garzon, Max H. 1 Gentilini, Paolo 1 Geser, Alfons 1 Glass, Thomas A. 1 Godlevsky, A. B. 1 Hillenbrand, Thomas 1 Hipel, Keith William 1 Kapitonova, Yu. V. 1 Katsura, Masashi 1 Kim, Dohan 1 Kinyon, Michael K. 1 Kirschmer, Markus 1 Kobayashi, Yuji 1 Konieczny, Janusz 1 Krön, Bernhard 1 Kuhn, Norbert 1 Kuhr, Tomas 1 Leedham-Green, Charles R. 1 Lewi, Johan 1 Liu, Haining 1 Longuet, Delphine 1 Lucas, Salvador 1 Luks, Eugene M. 1 Lynch, Christopher A. 1 Malheiro, António 1 Margolis, Stuart W. 1 McKenzie, Pierre 1 Meakin, John C. 1 Miyano, Satoru 1 Molfino, Maria Teresa 1 Remeslennikov, Vladimir Nikanorovich 1 Roman’kov, Vitaly Anatol’evich 1 Salehi, Saeed 1 Sénizergues, Géraud 1 Smallbone, Nicholas 1 Steinby, Magnus 1 Stewart, Iain A. 1 Stokkermans, Karel 1 Stratulat, Sorin 1 Stroetmann, Karl 1 Tretkoff, Carol 1 Vychodil, Vilém 1 Waack, Stephan 1 Weil, Pascal 1 Wirth, Claus-Peter 1 Wrathall, Celia 1 Zalcstein, Yechezkel 1 Zeger, Kenneth all top 5 Cited in 34 Serials 16 Theoretical Computer Science 6 Journal of Symbolic Computation 4 Mathematical Systems Theory 3 Journal of Computer and System Sciences 2 Acta Informatica 2 Computing 2 Transactions of the American Mathematical Society 2 Cybernetics 2 International Journal of Algebra and Computation 2 RAIRO. Informatique Théorique et Applications 2 Applicable Algebra in Engineering, Communication and Computing 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Bulletin of the Australian Mathematical Society 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Mathematical Notes 1 Fuzzy Sets and Systems 1 Glasgow Mathematical Journal 1 Journal of Algebra 1 Journal of Combinatorial Theory. Series B 1 Journal of Soviet Mathematics 1 RAIRO, Informatique Théorique 1 Semigroup Forum 1 Theory and Decision 1 Information and Computation 1 Journal of Automated Reasoning 1 SIAM Journal on Discrete Mathematics 1 Stochastic Hydrology and Hydraulics 1 Annals of Operations Research 1 Cybernetics and Systems Analysis 1 Mathematical Logic Quarterly (MLQ) 1 The Journal of Logic and Algebraic Programming 1 Logica Universalis 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 13 Fields 48 Computer science (68-XX) 40 Group theory and generalizations (20-XX) 23 Mathematical logic and foundations (03-XX) 6 Combinatorics (05-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Numerical analysis (65-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Partial differential equations (35-XX) 1 Fluid mechanics (76-XX) 1 Geophysics (86-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year