Gründe, Techniken und Konsequenzen der Verallgemeinerung von Wegealgorithmen. - Bernd Mahr; Jürgen Perl (WG, 1975)

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. - Hartmut Ehrig; Hans-Jörg Kreowski; Bernd Mahr; Peter Padawitz (MFCS, 1980)

Complexity of Implementations on the Level of Algebraic Specifications - Hartmut Ehrig; Bernd Mahr (STOC, 1980)

A Birds Eye View to Path Problems. - Bernd Mahr (WG, 1980)

Relating Uniform and Nonuniform Models of Computation. - Bernd Mahr; Dirk Siefkes (GI Jahrestagung, 1981)

Complexity of Algebraic Implementations for Abstract Data Types. - Hartmut Ehrig; Bernd Mahr (J. Comput. Syst. Sci., 1981)

Graph Grammars as a Tool for Description in Computer Processed Control: A Case Study. - Bernd Mahr; Anne Wilharm (WG, 1982)

Algebraic Complexity of Path Problems. - Bernd Mahr (RAIRO Theor. Informatics Appl., 1982)

Algebraic Implementation of Abstract Data Types. - Hartmut Ehrig; Hans-Jörg Kreowski; Bernd Mahr; Peter Padawitz (Theor. Comput. Sci., 1982)

An axiomatic approach to semantics of specification languages. - Johann A. Makowsky; Bernd Mahr (Theoretical Computer Science, 1983)

Characterizing Specification Languages which Admit Initial Semantics. - Bernd Mahr; Johann A. Makowsky (Theor. Comput. Sci., 1984)

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Hartmut Ehrig; Bernd Mahr (Springer, 1985)

Term Evaluation in Partial Algebras. - Bernd Mahr (ADT, 1986)

A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. - Hartmut Ehrig; Jacques Loeckx; Bernd Mahr (Bull. EATCS, 1986)

Concepts of Algebraic Database Programming Languages. - Dean Jacobs; Bernd Mahr (ADT, 1988)

Empty Carriers: The Categorical Burden on Logic. - Bernd Mahr (Categorial Methods in Computer Science, 1988)

Informatik und Verantwortung. - 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; et al. (GI Jahrestagung (1), 1988)

Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. - Bernd Mahr; Carla Umbach (Sorts and Types in Artificial Intelligence, 1989)

Informatik und Verantwortung, Arbeitskeis "Grenzen eines verantwortbaren Einsatzes von Informationstechnik" der Gesellschaft für Informatik. - 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; et al. (Inform. Spektrum, 1989)

Fundamentals of Algebraic Specification 2 - Hartmut Ehrig; Bernd Mahr (Springer, 1990)

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. - Hartmut Ehrig; Bernd Mahr; Ingo Claßen; Fernando Orejas (Comput. J., 1992)

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. - Hartmut Ehrig; Bernd Mahr; Ingo Claßen; Fernando Orejas (Comput. J., 1992)

Coordination and Logic Programming. - Bernd Mahr; Robert Tolksdorf (GI Jahrestagung, 1993)

An ODP-Oriented Framework for European Services in Telemedicine. - Dirk Lutzebäck; Bernd Mahr; Gavin Venters; M. Howard Williams (Open Distributed Processing, 1993)

Report on the Workshop "The Role of ODP in Medical Applications". - Bernd Mahr; M. Gerneth (Open Distributed Processing, 1993)

Applications of Type Theory. - Bernd Mahr (TAPSOFT, 1993)

A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. - Hartmut Ehrig; Bernd Mahr (TAPSOFT, 1995)

Theory and Practice of Software Development: A Review of Driving Forces and Expectations. - Hartmut Ehrig; Bernd Mahr (Bull. EATCS, 1995)

Algebraic Techniques in Software Development. - Hartmut Ehrig; Bernd Mahr (Bull. EATCS, 1996)

Future Trends of TAPSOFT. - Hartmut Ehrig; Bernd Mahr (TAPSOFT, 1997)

Mathematisch-strukturelle Grundlagen der Informatik - Hartmut Ehrig; Bernd Mahr; Felix Cornelius; Martin Große-Rhode; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 1999)

Commentary on Donald MacKenzie, "A View from the Sonnenbichl". - Bernd Mahr (ICHC, 2000)

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage - Hartmut Ehrig; Bernd Mahr; Martin Große-Rhode; Felix Cornelius; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage, 2001)

Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997. - Hartmut Ehrig; Bernd Mahr (Current Trends in Theoretical Computer Science, 2001)

Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties. - Hartmut Ehrig; Bernd Mahr (Current Trends in Theoretical Computer Science, 2001)

inT-Integration of Logics. - Bernd Mahr; Sebastian Bab (Formal Methods in Software and Systems Modeling, 2005)

Die Informatik und die Logik der Modelle. - Bernd Mahr (Inform. Spektrum, 2009)

Information science and the logic of models. - Bernd Mahr (Softw. Syst. Model., 2009)

Zuses Auffassung vom Rechnen. - Bernd Mahr (GI Jahrestagung (2), 2010)

On Judgements and Propositions. - Bernd Mahr (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Position Statement: Models in Software and Systems Development. - Bernd Mahr (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)