×
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
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

Publications by Year

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.68013
Ehrig, H.; Mahr, B.
166
1985
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
34
1990
Algebraic implementation of abstract data types. Zbl 0483.68018
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
31
1982
Characterizing specification languages which admit initial semantics. Zbl 0536.68011
Mahr, B.; Makowsky, J. A.
8
1984
Characterizing specification languages which admit initial semantics. Zbl 0522.68026
Mahr, B.; Makowsky, J. A.
4
1983
Complexity of algebraic implementations for abstract data types. Zbl 0474.68021
Ehrig, Hartmut; Mahr, Bernd
4
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
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
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
Algebraische Komplexität des allgemeinen Wegeproblems in Graphen. Zbl 0449.68027
Mahr, Bernd
1
1979
Relating uniform and nonuniform models of computation. Zbl 0484.68035
Mahr, Bernd; Siefkes, Dirk
1
1981
An axiomatic approach to semantics of specification languages. Zbl 0493.68023
Mahr, B.; Makowsky, J. A.
1
1982
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
Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086
Ehrig, Hartmut; Mahr, Bernd
2
2001
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
34
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.
166
1985
Characterizing specification languages which admit initial semantics. Zbl 0536.68011
Mahr, B.; Makowsky, J. A.
8
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.
31
1982
Graph grammars as a tool for description in computer processed control: A case study. Zbl 0532.68093
Mahr, B.; Wilharm, A.
1
1982
An axiomatic approach to semantics of specification languages. Zbl 0493.68023
Mahr, B.; Makowsky, J. 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
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

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.