Edit Profile (opens in new tab) Mahr, Bernd Compute Distance To: Compute Author ID: mahr.bernd Published as: Mahr, Bernd; Mahr, B. External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 33 Publications since 1976, including 5 Books 1 Further Contribution Co-Authors: 16 Co-Authors with 25 Joint Publications 295 Co-Co-Authors all top 5 Co-Authors 8 single-authored 14 Ehrig, Hartmut 3 Makowsky, Johann-Andreas 3 Siefkes, Dirk 2 Bab, Sebastian 2 Cornelius, Felix 2 Große-Rhode, Martin 2 Kreowski, Hans-Jörg 2 Padawitz, Peter 2 Zeitz, Philip 1 Angluin, Dana 1 Bloniarz, Peter A. 1 Borodin, Allan B. 1 Brent, Richard Peirce 1 Brown, Donna J. 1 Buchi, J. Richard 1 Carlson, David A. 1 Chazelle, Bernard 1 Cook, Stephen Arthur 1 Cypher, A. 1 DeMillo, Richard Allan 1 Dobkin, David P. 1 Fagin, Ronald 1 Filotti, I. S. 1 Fischer, Michael J. 1 Fleischmann, Klaus 1 Förster, Klaus-Jürgen 1 Frederickson, Greg N. 1 Guibas, Leonidas John 1 Heintz, Joos 1 Hoffmann, Christoph M. 1 Hong, Jiawei 1 Ibarra, Oscar H. 1 Ja’Ja’, Joseph F. 1 Johnson, Donald B. 1 Joseph, Deborah 1 Kannan, Ravindran 1 Karp, Richard Manning 1 Kung, H. T. 1 Leininger, Brian S. 1 Lichtenstein, David 1 Lipton, Richard Jay 1 Lloyd, Errol L. 1 Loeckx, Jacques 1 Lynch, Nancy Ann 1 Mayer, Jack N. 1 Meyer, Albert Ronald 1 Miller, Gary Lee 1 Miller, Raymond E. 1 Mirkowska, Grazyna 1 Overmars, Mark H. 1 Parikh, Rohit 1 Paterson, Michael S. 1 Paul, Wolfgang Jakob 1 Pippenger, Nicholas J. 1 Plaisted, David Alan 1 Pratt, Vaughan R. 1 Reif, John H. 1 Reingold, Edward Martin 1 Sadri, Fereidoon 1 Savage, John E. 1 Schnorr, Claus Peter 1 Seiferas, Joel I. 1 Simon, Janos 1 Spirakis, Paul G. 1 Storer, James A. 1 Strong, H. Raymond 1 Supowit, Kenneth J. 1 Tarjan, Robert Endre 1 Tompa, Martin 1 Toueg, Sam 1 Ukkonen, Esko 1 Ullman, Jeffrey David 1 Umbach, Carla 1 Van Leeuwen, Jan 1 Wieczorek, Tina 1 Wilharm, Anne 1 Yao, Frances F. 1 Yap, Chee-Keng all top 5 Serials 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 2 Theoretical Computer Science 2 EATCS Monographs on Theoretical Computer Science 1 Journal of Computer and System Sciences 1 RAIRO, Informatique Théorique 1 Applied Computer Science. Berichte zur Praktischen Informatik all top 5 Fields 29 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 6 Combinatorics (05-XX) 3 Category theory; homological algebra (18-XX) 2 Associative rings and algebras (16-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Sequences, series, summability (40-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 285 times in 229 Documents Cited by ▼ Year ▼ Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013Ehrig, H.; Mahr, B. 186 1985 Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013Ehrig, Hartmut; Mahr, Bernd 36 1990 Algebraic implementation of abstract data types. Zbl 0483.68018Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 32 1982 Characterizing specification languages which admit initial semantics. Zbl 0536.68011Mahr, B.; Makowsky, J. A. 9 1984 Complexity of algebraic implementations for abstract data types. Zbl 0474.68021Ehrig, Hartmut; Mahr, Bernd 4 1981 Characterizing specification languages which admit initial semantics. Zbl 0522.68026Mahr, B.; Makowsky, J. A. 4 1983 Compound algebraic implementations: An approach to stepwise refinement of software systems. Zbl 0442.68016Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 2 1980 A birds eye view to path problems. Zbl 0454.68070Mahr, Bernd 2 1981 Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086Ehrig, Hartmut; Mahr, Bernd 2 2001 Relating uniform and nonuniform models of computation. Zbl 0484.68035Mahr, Bernd; Siefkes, Dirk 1 1981 Bounded concatenation theory as a uniform method for proving lower complexity bounds. Zbl 0439.03004Fleischmann, Klaus; Mahr, Bernd; Siefkes, Dirk 1 1977 Algebraische Komplexität des allgemeinen Wegeproblems in Graphen. Zbl 0449.68027Mahr, Bernd 1 1979 An axiomatic approach to semantics of specification languages. Zbl 0493.68023Mahr, B.; Makowsky, J. A. 1 1982 Theory and practice of software development: A review of driving forces and expectations of Tapsoft from 1985 to 1997. Zbl 1049.68028Ehrig, Hartmut; Mahr, Bernd 1 2001 A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Zbl 1023.68628Ehrig, Hartmut; Loeckx, Jacques; Mahr, Bernd 1 1986 Graph grammars as a tool for description in computer processed control: A case study. Zbl 0532.68093Mahr, B.; Wilharm, A. 1 1982 Iteration and summability in semirings. Zbl 0567.16025Mahr, B. 1 1984 Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086Ehrig, Hartmut; Mahr, Bernd 2 2001 Theory and practice of software development: A review of driving forces and expectations of Tapsoft from 1985 to 1997. Zbl 1049.68028Ehrig, Hartmut; Mahr, Bernd 1 2001 Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013Ehrig, Hartmut; Mahr, Bernd 36 1990 A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Zbl 1023.68628Ehrig, Hartmut; Loeckx, Jacques; Mahr, Bernd 1 1986 Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013Ehrig, H.; Mahr, B. 186 1985 Characterizing specification languages which admit initial semantics. Zbl 0536.68011Mahr, B.; Makowsky, J. A. 9 1984 Iteration and summability in semirings. Zbl 0567.16025Mahr, B. 1 1984 Characterizing specification languages which admit initial semantics. Zbl 0522.68026Mahr, B.; Makowsky, J. A. 4 1983 Algebraic implementation of abstract data types. Zbl 0483.68018Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 32 1982 An axiomatic approach to semantics of specification languages. Zbl 0493.68023Mahr, B.; Makowsky, J. A. 1 1982 Graph grammars as a tool for description in computer processed control: A case study. Zbl 0532.68093Mahr, B.; Wilharm, A. 1 1982 Complexity of algebraic implementations for abstract data types. Zbl 0474.68021Ehrig, Hartmut; Mahr, Bernd 4 1981 A birds eye view to path problems. Zbl 0454.68070Mahr, Bernd 2 1981 Relating uniform and nonuniform models of computation. Zbl 0484.68035Mahr, Bernd; Siefkes, Dirk 1 1981 Compound algebraic implementations: An approach to stepwise refinement of software systems. Zbl 0442.68016Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 2 1980 Algebraische Komplexität des allgemeinen Wegeproblems in Graphen. Zbl 0449.68027Mahr, Bernd 1 1979 Bounded concatenation theory as a uniform method for proving lower complexity bounds. Zbl 0439.03004Fleischmann, Klaus; Mahr, Bernd; Siefkes, Dirk 1 1977 all cited Publications top 5 cited Publications all top 5 Cited by 276 Authors 20 Ehrig, Hartmut 12 Tarlecki, Andrzej 9 Hennicker, Rolf 8 Orejas, Fernando 8 Sannella, Donald T. 7 Bidoit, Michel 6 Lowe, Michael J. S. 6 Meseguer Guaita, José 6 Oriat, Catherine 6 Parisi-Presicce, Francesco 5 Bernot, Gilles 5 Kreowski, Hans-Jörg 5 Mahr, Bernd 5 Tucker, John V. 4 Bergstra, Jan A. 4 Fiadeiro, José Luiz 4 Padawitz, Peter 4 Taentzer, Gabriele 4 Wagner, Eric G. 4 Wirsing, Martin 3 Ermel, Claudia 3 König, Harald 3 Makowsky, Johann-Andreas 3 Meinke, Karl 3 Mossakowski, Till 3 Navarro, Marisa 3 Padberg, Julia 3 Qian, Zhenyu 3 Skeirik, Stephen 2 Adámek, Jiří 2 Bardohl, Roswitha 2 Bauderon, Michel 2 Beierle, Christoph 2 Blum, Edward Kenneth 2 Boehm, Paul 2 Bouhoula, Adel 2 Choppy, Christine 2 Courcelle, Bruno 2 Dunets, Andriy 2 Durán, Francisco 2 Ehrig, Karsten 2 Formisano, Andrea 2 Goguen, Joseph Amadee 2 Gray, John W. 2 Große-Rhode, Martin 2 Hanus, Michael 2 Harman, N. A. 2 Haxthausen, Anne Elisabeth 2 Heckel, Reiko 2 Kaplan, Stéphane 2 Kindler, Ekkart 2 Knapik, Teodor 2 Korff, Martin 2 Leavens, Gary T. 2 Maibaum, Thomas Stephen Edward 2 Manca, Vincenzo 2 Meldal, Sigurd 2 Omodeo, Eugenio Giovanni 2 Poigné, Axel 2 Prange, Ulrike 2 Reif, Wolfgang 2 Rosický, Jiří 2 Salibra, Antonino 2 Schellhorn, Gerhard 2 Schulz, Christoph 2 Scollo, Giuseppe 2 Tulipani, Sauro 2 Veloso, Paulo Augusto S. 1 Abramsky, Samson 1 Aït-Kaci, Hassan 1 Alcalde, Juan 1 Antoniou, Grigoris 1 Araksyan, V. V. 1 Arenas, Aurelio 1 Armando, Alessandro 1 Baeten, Jos C. M. 1 Bakhshi, Rena 1 Barbosa, Luís Soares 1 Barr, Michael 1 Bauer, Friedrich Ludwig 1 Bauer, Sebastian S. 1 Baumeister, Hubert 1 Beeri, Catriel 1 Berghammer, Rudolf 1 Bert, Didier 1 Bettaz, Mohamed 1 Blikle, Andrzej Jacek 1 Börger, Egon 1 Breazu-Tannen, Val 1 Brinksma, Ed 1 Broy, Manfred 1 Bucchiarone, Antonio 1 Burstall, Rod M. 1 Busatto, Giorgio 1 Cantone, Domenico 1 Carchiolo, Vincenza 1 Căzănescu, Virgil Emil 1 Cerioli, Maura 1 Chapman, Nigel P. 1 Cherchago, Alexey ...and 176 more Authors all top 5 Cited in 35 Serials 77 Theoretical Computer Science 15 Journal of Computer and System Sciences 14 Formal Aspects of Computing 11 Acta Informatica 10 Journal of Logical and Algebraic Methods in Programming 6 Information Processing Letters 6 Journal of Symbolic Computation 6 Diagrammes 6 The Journal of Logic and Algebraic Programming 5 Information and Computation 5 MSCS. Mathematical Structures in Computer Science 3 Applied Categorical Structures 2 Algebra Universalis 2 Journal of Computer Science and Technology 1 Artificial Intelligence 1 Discrete Mathematics 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Fuzzy Sets and Systems 1 The Journal of Symbolic Logic 1 Mathematics and Computers in Simulation 1 Mathematical Systems Theory 1 RAIRO, Informatique Théorique 1 Studia Logica 1 Cybernetics 1 Cybernetics and Systems 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 New Generation Computing 1 Journal of Automated Reasoning 1 Distributed Computing 1 RAIRO. Informatique Théorique et Applications 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Eurasian Mathematical Journal all top 5 Cited in 11 Fields 218 Computer science (68-XX) 29 Mathematical logic and foundations (03-XX) 25 Category theory; homological algebra (18-XX) 17 General algebraic systems (08-XX) 2 Combinatorics (05-XX) 2 Associative rings and algebras (16-XX) 2 Group theory and generalizations (20-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Convex and discrete geometry (52-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.