| 2005 |
|---|
| 32 | EE | Bernd Mahr,
Sebastian Bab:
inT-Integration of Logics.
Formal Methods in Software and Systems Modeling 2005: 204-219 |
| 2001 |
|---|
| 31 | | Hartmut Ehrig,
Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997.
Current Trends in Theoretical Computer Science 2001: 118-130 |
| 30 | | Hartmut Ehrig,
Bernd Mahr:
Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.
Current Trends in Theoretical Computer Science 2001: 134-152 |
| 1997 |
|---|
| 29 | | Hartmut Ehrig,
Bernd Mahr:
Future Trends of TAPSOFT.
TAPSOFT 1997: 6-10 |
| 1996 |
|---|
| 28 | | Hartmut Ehrig,
Bernd Mahr:
Algebraic Techniques in Software Development.
Bulletin of the EATCS 58: (1996) |
| 1995 |
|---|
| 27 | | Hartmut Ehrig,
Bernd Mahr:
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development.
TAPSOFT 1995: 3-24 |
| 26 | | Hartmut Ehrig,
Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations.
Bulletin of the EATCS 57: (1995) |
| 1994 |
|---|
| 25 | | Jan de Meer,
Bernd Mahr,
Silke Storp:
Open Distributed Processing, II: Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing, Berlin, Germany, 13-16 September 1993
North-Holland 1994 |
| 1993 |
|---|
| 24 | | Bernd Mahr,
Robert Tolksdorf:
Coordination and Logic Programming.
GI Jahrestagung 1993: 545-550 |
| 23 | | Dirk Lutzebäck,
Bernd Mahr,
Gavin Venters,
M. Howard Williams:
An ODP-Oriented Framework for European Services in Telemedicine.
Open Distributed Processing 1993: 15-33 |
| 22 | | Bernd Mahr,
M. Gerneth:
Report on the Workshop "The Role of ODP in Medical Applications".
Open Distributed Processing 1993: 387-394 |
| 21 | | Bernd Mahr:
Applications of Type Theory.
TAPSOFT 1993: 343-355 |
| 1992 |
|---|
| 20 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Comput. J. 35(5): 460-467 (1992) |
| 19 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
Comput. J. 35(5): 468-477 (1992) |
| 1989 |
|---|
| 18 | | Bernd Mahr,
Carla Umbach:
Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation.
Sorts and Types in Artificial Intelligence 1989: 286-304 |
| 17 | | Karl-Heinz Rödiger,
Wolfgang Coy,
Günter Feuerstein,
Rolf Günther,
Werner Langenheder,
Bernd Mahr,
Peter Molzberger,
Hartmut Przybylski,
Horst Röpke,
Eva Senghaas-Knobloch,
Birgit Volmerg,
Walter Volpert,
Hellmut Weber,
Herbert Wiedemann:
Informatik und Verantwortung, Arbeitskeis "Grenzen eines verantwortbaren Einsatzes von Informationstechnik" der Gesellschaft für Informatik.
Informatik Spektrum 12(5): 281-289 (1989) |
| 1988 |
|---|
| 16 | | Dean Jacobs,
Bernd Mahr:
Concepts of Algebraic Database Programming Languages.
ADT 1988 |
| 15 | | Bernd Mahr:
Empty Carriers: The Categorical Burden on Logic.
Categorial Methods in Computer Science 1988: 50-65 |
| 14 | | Wolfgang Coy,
Günter Feuerstein,
Rolf Günther,
Werner Langenheder,
Bernd Mahr,
Peter Molzberger,
Hartmut Przybylski,
Karl-Heinz Rödiger,
Horst Röpke,
Eva Senghaas-Knobloch,
Birgit Volmerg,
Walter Volpert,
Hellmut Weber,
Herbert Wiedemann:
Informatik und Verantwortung.
GI Jahrestagung (1) 1988: 691-702 |
| 1986 |
|---|
| 13 | | Bernd Mahr:
Term Evaluation in Partial Algebras.
ADT 1986 |
| 12 | | Hartmut Ehrig,
Jacques Loeckx,
Bernd Mahr:
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets.
Bulletin of the EATCS 30: 61-65 (1986) |
| 1985 |
|---|
| 11 | | Hartmut Ehrig,
Bernd Mahr:
Fundamentals of Algebraic Specification 1: Equations und Initial Semantics
Springer 1985 |
| 1984 |
|---|
| 10 | | Bernd Mahr,
Johann A. Makowsky:
Characterizing Specification Languages which Admit Initial Semantics.
Theor. Comput. Sci. 31: 49-59 (1984) |
| 1983 |
|---|
| 9 | | Bernd Mahr,
Johann A. Makowsky:
Characterizing Specification Languages Which Admit Initial Semantics.
CAAP 1983: 300-316 |
| 8 | | Johann A. Makowsky,
Bernd Mahr:
An axiomatic approach to semantics of specification languages.
Theoretical Computer Science 1983: 211-219 |
| 1982 |
|---|
| 7 | | Bernd Mahr:
Algebraic Complexity of Path Problems.
ITA 16(3): 263-292 (1982) |
| 6 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Bernd Mahr,
Peter Padawitz:
Algebraic Implementation of Abstract Data Types.
Theor. Comput. Sci. 20: 209-263 (1982) |
| 1981 |
|---|
| 5 | | Bernd Mahr,
Dirk Siefkes:
Relating Uniform and Nonuniform Models of Computation.
GI Jahrestagung 1981: 41-48 |
| 4 | | Hartmut Ehrig,
Bernd Mahr:
Complexity of Algebraic Implementations for Abstract Data Types.
J. Comput. Syst. Sci. 23(2): 223-253 (1981) |
| 1980 |
|---|
| 3 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Bernd Mahr,
Peter Padawitz:
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.
MFCS 1980: 231-245 |
| 2 | | Hartmut Ehrig,
Bernd Mahr:
Complexity of Implementations on the Level of Algebraic Specifications
STOC 1980: 281-293 |
| 1 | | Bernd Mahr:
A Birds Eye View to Path Problems.
WG 1980: 335-353 |
