Edit Profile Mahr, Bernd Compute Distance To: Compute Author ID: mahr.bernd Published as: Mahr, B.; Mahr, Bernd External Links: MGP · Wikidata · dblp · GND Documents Indexed: 31 Publications since 1976, including 5 Books all top 5 Co-Authors 7 single-authored 12 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 Buchi, J. Richard 1 Fleischmann, Klaus 1 Förster, Klaus-Jürgen 1 Loeckx, Jacques 1 Perl, Jürgen 1 Umbach, Carla 1 Wieczorek, Tina 1 Wilharm, Anne 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 26 Computer science (68-XX) 9 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 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 16 Publications have been cited 275 times in 220 Documents Cited by ▼ Year ▼ Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013Ehrig, H.; Mahr, B. 171 1985 Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013Ehrig, Hartmut; Mahr, Bernd 40 1990 Algebraic implementation of abstract data types. Zbl 0483.68018Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 31 1982 Characterizing specification languages which admit initial semantics. Zbl 0536.68011Mahr, B.; Makowsky, J. A. 8 1984 Bounded concatenation theory as a uniform method for proving lower complexity bounds. Zbl 0439.03004Fleischmann, Klaus; Mahr, Bernd; Siefkes, Dirk 5 1977 Characterizing specification languages which admit initial semantics. Zbl 0522.68026Mahr, B.; Makowsky, J. A. 4 1983 Complexity of algebraic implementations for abstract data types. Zbl 0474.68021Ehrig, Hartmut; Mahr, Bernd 4 1981 Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086Ehrig, Hartmut; Mahr, Bernd 2 2001 A birds eye view to path problems. Zbl 0454.68070Mahr, Bernd 2 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 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 Iteration and summability in semirings. Zbl 0567.16025Mahr, B. 1 1984 Graph grammars as a tool for description in computer processed control: A case study. Zbl 0532.68093Mahr, B.; Wilharm, A. 1 1982 An axiomatic approach to semantics of specification languages. Zbl 0493.68023Mahr, B.; Makowsky, J. A. 1 1982 Relating uniform and nonuniform models of computation. Zbl 0484.68035Mahr, Bernd; Siefkes, Dirk 1 1981 Algebraische Komplexität des allgemeinen Wegeproblems in Graphen. Zbl 0449.68027Mahr, Bernd 1 1979 Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086Ehrig, Hartmut; Mahr, Bernd 2 2001 Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013Ehrig, Hartmut; Mahr, Bernd 40 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. 171 1985 Characterizing specification languages which admit initial semantics. Zbl 0536.68011Mahr, B.; Makowsky, J. A. 8 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. 31 1982 Graph grammars as a tool for description in computer processed control: A case study. Zbl 0532.68093Mahr, B.; Wilharm, A. 1 1982 An axiomatic approach to semantics of specification languages. Zbl 0493.68023Mahr, B.; Makowsky, J. 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 5 1977 all cited Publications top 5 cited Publications all top 5 Cited by 284 Authors 18 Ehrig, Hartmut 12 Tarlecki, Andrzej 8 Hennicker, Rolf 8 Orejas, Fernando 8 Parisi-Presicce, Francesco 8 Sannella, Donald T. 7 Bidoit, Michel 7 Meseguer Guaita, José 6 Lowe, Michael J. S. 5 Bernot, Gilles 4 Fiadeiro, José Luiz 4 Kreowski, Hans-Jörg 4 Mahr, Bernd 4 Oriat, C. 4 Padawitz, Peter 4 Wagner, Eric G. 4 Wirsing, Martin 3 Courcelle, Bruno 3 Ermel, Claudia 3 Große-Rhode, Martin 3 König, Harald 3 Makowsky, Johann-Andreas 3 Meinke, Karl 3 Mossakowski, Till 3 Navarro, Marisa 3 Padberg, Julia 3 Skeirik, Stephen 3 Taentzer, Gabriele 2 Adámek, Jiří 2 Aït-Kaci, Hassan 2 Bardohl, Roswitha 2 Bauderon, Michel 2 Beierle, Christoph 2 Bergstra, Jan A. 2 Blum, Edward Kenneth 2 Boehm, Paul 2 Bouhoula, Adel 2 Choppy, Christine 2 Dunets, Andriy 2 Durán, Francisco 2 Ehrig, Karsten 2 Formisano, Andrea 2 Goguen, Joseph Amadee 2 Gray, John W. 2 Harman, N. A. 2 Heckel, Reiko 2 Kaplan, Stéphane 2 Kindler, Ekkart 2 Knapik, Teodor 2 Leavens, Gary T. 2 Maibaum, Thomas Stephen Edward 2 Manca, Vincenzo 2 Németi, István 2 Omodeo, Eugenio Giovanni 2 Poigné, Axel 2 Prange, Ulrike 2 Qian, Zhenyu 2 Reif, Wolfgang 2 Rosický, Jiří 2 Salibra, Antonino 2 Sánchez, Ana M. 2 Schellhorn, Gerhard 2 Schulz, Christoph 2 Scollo, Giuseppe 2 Simeoni, Marta 2 Tucker, John V. 2 Tulipani, Sauro 2 Veloso, Paulo Augusto S. 1 Abramsky, Samson 1 Alcalde, Juan 1 Andréka, Hajnal 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 Bettaz, Mohamed 1 Blikle, Andrzej Jacek 1 Börger, Egon 1 Breazu-Tannen, Val 1 Brinksma, Ed 1 Broy, Manfred 1 Bruss, Anna Rosa 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 184 more Authors all top 5 Cited in 34 Serials 81 Theoretical Computer Science 16 Journal of Computer and System Sciences 14 Formal Aspects of Computing 11 Acta Informatica 8 Journal of Logical and Algebraic Methods in Programming 7 Journal of Symbolic Computation 7 Information and Computation 6 Information Processing Letters 6 Diagrammes 6 The Journal of Logic and Algebraic Programming 5 MSCS. Mathematical Structures in Computer Science 3 Applied Categorical Structures 2 Algebra Universalis 2 Annals of Pure and Applied Logic 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 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 all top 5 Cited in 11 Fields 206 Computer science (68-XX) 34 Mathematical logic and foundations (03-XX) 23 Category theory; homological algebra (18-XX) 17 General algebraic systems (08-XX) 3 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Associative rings and algebras (16-XX) 2 Group theory and generalizations (20-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.