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 Documents Indexed: 31 Publications since 1976, including 5 Books 1 Further Contribution Co-Authors: 16 Co-Authors with 24 Joint Publications 293 Co-Co-Authors all top 5 Co-Authors 7 single-authored 13 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 A. 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 J. 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 27 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 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 15 Publications have been cited 259 times in 210 Documents Cited by ▼ Year ▼ Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013Ehrig, H.; Mahr, B. 166 1985 Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013Ehrig, Hartmut; Mahr, Bernd 34 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 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 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 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 Algebraische Komplexität des allgemeinen Wegeproblems in Graphen. Zbl 0449.68027Mahr, Bernd 1 1979 Relating uniform and nonuniform models of computation. Zbl 0484.68035Mahr, Bernd; Siefkes, Dirk 1 1981 An axiomatic approach to semantics of specification languages. Zbl 0493.68023Mahr, B.; Makowsky, J. A. 1 1982 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 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 34 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. 166 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 all cited Publications top 5 cited Publications all top 5 Cited by 266 Authors 18 Ehrig, Hartmut 12 Tarlecki, Andrzej 8 Hennicker, Rolf 8 Orejas, Fernando 8 Sannella, Donald T. 7 Bidoit, Michel 6 Lowe, Michael J. S. 6 Meseguer Guaita, José 6 Parisi-Presicce, Francesco 5 Bernot, Gilles 4 Fiadeiro, José Luiz 4 Kreowski, Hans-Jörg 4 Mahr, Bernd 4 Oriat, C. 4 Padawitz, Peter 4 Wirsing, Martin 3 Bergstra, Jan A. 3 Ermel, Claudia 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 3 Tucker, John V. 3 Wagner, Eric G. 2 Adámek, Jiří 2 Bardohl, Roswitha 2 Bauderon, Michel 2 Blum, Edward Kenneth 2 Boehm, Paul 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 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 Omodeo, Eugenio Giovanni 2 Poigné, Axel 2 Prange, Ulrike 2 Qian, Zhenyu 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 Beierle, Christoph 1 Berghammer, Rudolf 1 Bettaz, Mohamed 1 Blikle, Andrzej Jacek 1 Börger, Egon 1 Bouhoula, Adel 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 1 Cicerone, Serafino 1 Ciobanu, Gabriel 1 Cîrstea, Corina 1 Coglio, Alessandro 1 Corradini, Andrea ...and 166 more Authors all top 5 Cited in 33 Serials 75 Theoretical Computer Science 15 Journal of Computer and System Sciences 14 Formal Aspects of Computing 11 Acta Informatica 9 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 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 all top 5 Cited in 11 Fields 200 Computer science (68-XX) 27 Mathematical logic and foundations (03-XX) 23 Category theory; homological algebra (18-XX) 16 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.