×
Compute Distance To:
Author ID: mahr.bernd Recent zbMATH articles by "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

Publications by Year

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.68013
Ehrig, H.; Mahr, B.
186
1985
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
36
1990
Algebraic implementation of abstract data types. Zbl 0483.68018
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
32
1982
Characterizing specification languages which admit initial semantics. Zbl 0536.68011
Mahr, B.; Makowsky, J. A.
9
1984
Complexity of algebraic implementations for abstract data types. Zbl 0474.68021
Ehrig, Hartmut; Mahr, Bernd
4
1981
Characterizing specification languages which admit initial semantics. Zbl 0522.68026
Mahr, B.; Makowsky, J. A.
4
1983
Compound algebraic implementations: An approach to stepwise refinement of software systems. Zbl 0442.68016
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
2
1980
A birds eye view to path problems. Zbl 0454.68070
Mahr, Bernd
2
1981
Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086
Ehrig, Hartmut; Mahr, Bernd
2
2001
Relating uniform and nonuniform models of computation. Zbl 0484.68035
Mahr, Bernd; Siefkes, Dirk
1
1981
Bounded concatenation theory as a uniform method for proving lower complexity bounds. Zbl 0439.03004
Fleischmann, Klaus; Mahr, Bernd; Siefkes, Dirk
1
1977
Algebraische Komplexität des allgemeinen Wegeproblems in Graphen. Zbl 0449.68027
Mahr, Bernd
1
1979
An axiomatic approach to semantics of specification languages. Zbl 0493.68023
Mahr, 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.68028
Ehrig, Hartmut; Mahr, Bernd
1
2001
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Zbl 1023.68628
Ehrig, Hartmut; Loeckx, Jacques; Mahr, Bernd
1
1986
Graph grammars as a tool for description in computer processed control: A case study. Zbl 0532.68093
Mahr, B.; Wilharm, A.
1
1982
Iteration and summability in semirings. Zbl 0567.16025
Mahr, B.
1
1984
Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086
Ehrig, 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.68028
Ehrig, Hartmut; Mahr, Bernd
1
2001
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
36
1990
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Zbl 1023.68628
Ehrig, Hartmut; Loeckx, Jacques; Mahr, Bernd
1
1986
Fundamentals of algebraic specification 1. Equations and initial semantics. Zbl 0557.68013
Ehrig, H.; Mahr, B.
186
1985
Characterizing specification languages which admit initial semantics. Zbl 0536.68011
Mahr, B.; Makowsky, J. A.
9
1984
Iteration and summability in semirings. Zbl 0567.16025
Mahr, B.
1
1984
Characterizing specification languages which admit initial semantics. Zbl 0522.68026
Mahr, B.; Makowsky, J. A.
4
1983
Algebraic implementation of abstract data types. Zbl 0483.68018
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
32
1982
An axiomatic approach to semantics of specification languages. Zbl 0493.68023
Mahr, B.; Makowsky, J. A.
1
1982
Graph grammars as a tool for description in computer processed control: A case study. Zbl 0532.68093
Mahr, B.; Wilharm, A.
1
1982
Complexity of algebraic implementations for abstract data types. Zbl 0474.68021
Ehrig, Hartmut; Mahr, Bernd
4
1981
A birds eye view to path problems. Zbl 0454.68070
Mahr, Bernd
2
1981
Relating uniform and nonuniform models of computation. Zbl 0484.68035
Mahr, Bernd; Siefkes, Dirk
1
1981
Compound algebraic implementations: An approach to stepwise refinement of software systems. Zbl 0442.68016
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
2
1980
Algebraische Komplexität des allgemeinen Wegeproblems in Graphen. Zbl 0449.68027
Mahr, Bernd
1
1979
Bounded concatenation theory as a uniform method for proving lower complexity bounds. Zbl 0439.03004
Fleischmann, Klaus; Mahr, Bernd; Siefkes, Dirk
1
1977
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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.