×

zbMATH — the first resource for mathematics

Mahr, Bernd

Compute Distance To:
Author ID: mahr.bernd Recent zbMATH articles by "Mahr, Bernd"
Published as: Mahr, B.; Mahr, Bernd
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 31 Publications since 1976, including 5 Books

Publications by Year

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.68013
Ehrig, H.; Mahr, B.
171
1985
Fundamentals of algebraic specification 2. Module specifications and constraints. Zbl 0759.68013
Ehrig, Hartmut; Mahr, Bernd
40
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
Bounded concatenation theory as a uniform method for proving lower complexity bounds. Zbl 0439.03004
Fleischmann, Klaus; Mahr, Bernd; Siefkes, Dirk
5
1977
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
Algebraic techniques in software development: A review of progress up to the mid nineties. Zbl 1049.68086
Ehrig, Hartmut; Mahr, Bernd
2
2001
A birds eye view to path problems. Zbl 0454.68070
Mahr, Bernd
2
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 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
Iteration and summability in semirings. Zbl 0567.16025
Mahr, B.
1
1984
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
Relating uniform and nonuniform models of computation. Zbl 0484.68035
Mahr, Bernd; Siefkes, Dirk
1
1981
Algebraische Komplexität des allgemeinen Wegeproblems in Graphen. Zbl 0449.68027
Mahr, Bernd
1
1979
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
40
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.
171
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
Bounded concatenation theory as a uniform method for proving lower complexity bounds. Zbl 0439.03004
Fleischmann, Klaus; Mahr, Bernd; Siefkes, Dirk
5
1977
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

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.