Bernd Mahr

Publication Activity (10 Years)

Years Active: 1975-2010
Publications (10 Years): 0

Publications

Bernd Mahr
Position Statement: Models in Software and Systems Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Bernd Mahr
Zuses Auffassung vom Rechnen. GI Jahrestagung (2) (2010)
Bernd Mahr
On Judgements and Propositions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Bernd Mahr
Die Informatik und die Logik der Modelle. Inform. Spektrum 32 (3) (2009)
Bernd Mahr
Information science and the logic of models. Softw. Syst. Model. 8 (3) (2009)
Bernd Mahr, Sebastian Bab
-Integration of Logics. Formal Methods in Software and Systems Modeling (2005)
Bernd Mahr
Commentary on Donald MacKenzie, "A View from the Sonnenbichl". ICHC (2000)
Hartmut Ehrig, Bernd Mahr
Future Trends of TAPSOFT. TAPSOFT (1997)
Hartmut Ehrig, Bernd Mahr
Algebraic Techniques in Software Development. Bull. EATCS 58 (1996)
Hartmut Ehrig, Bernd Mahr
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. TAPSOFT (1995)
Hartmut Ehrig, Bernd Mahr
Theory and Practice of Software Development: A Review of Driving Forces and Expectations. Bull. EATCS 57 (1995)
Bernd Mahr, Robert Tolksdorf
Coordination and Logic Programming. GI Jahrestagung (1993)
Bernd Mahr
Applications of Type Theory. TAPSOFT (1993)
Dirk Lutzebäck, Bernd Mahr, Gavin Venters, M. Howard Williams
An ODP-Oriented Framework for European Services in Telemedicine. Open Distributed Processing (1993)
Bernd Mahr, M. Gerneth
Report on the Workshop "The Role of ODP in Medical Applications". Open Distributed Processing (1993)
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) (1992)
Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. Comput. J. 35 (5) (1992)
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)
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. Inform. Spektrum 12 (5) (1989)
Dean Jacobs, Bernd Mahr
Concepts of Algebraic Database Programming Languages. ADT (1988)
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)
Bernd Mahr
Empty Carriers: The Categorical Burden on Logic. Categorial Methods in Computer Science (1988)
Hartmut Ehrig, Jacques Loeckx, Bernd Mahr
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bull. EATCS 30 (1986)
Bernd Mahr
Term Evaluation in Partial Algebras. ADT (1986)
Bernd Mahr, Johann A. Makowsky
Characterizing Specification Languages which Admit Initial Semantics. Theor. Comput. Sci. 31 (1984)
Bernd Mahr, Johann A. Makowsky
Characterizing Specification Languages Which Admit Initial Semantics. CAAP (1983)
Johann A. Makowsky, Bernd Mahr
An axiomatic approach to semantics of specification languages. Theoretical Computer Science (1983)
Bernd Mahr, Anne Wilharm
Graph Grammars as a Tool for Description in Computer Processed Control: A Case Study. WG (1982)
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. 20 (1982)
Bernd Mahr
Algebraic Complexity of Path Problems. RAIRO Theor. Informatics Appl. 16 (3) (1982)
Hartmut Ehrig, Bernd Mahr
Complexity of Algebraic Implementations for Abstract Data Types. J. Comput. Syst. Sci. 23 (2) (1981)
Bernd Mahr, Dirk Siefkes
Relating Uniform and Nonuniform Models of Computation. GI Jahrestagung (1981)
Bernd Mahr
A Birds Eye View to Path Problems. WG (1980)
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. MFCS (1980)
Hartmut Ehrig, Bernd Mahr
Complexity of Implementations on the Level of Algebraic Specifications STOC (1980)
Bernd Mahr, Jürgen Perl
Gründe, Techniken und Konsequenzen der Verallgemeinerung von Wegealgorithmen. WG (1975)