Bernd Mahr

According to our database, Bernd Mahr authored at least 41 papers between 1975 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

Position Statement: Models in Software and Systems Development.

Bernd Mahr

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

On Judgements and Propositions.

Bernd Mahr

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Zuses Auffassung vom Rechnen.

Bernd Mahr

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2009

Information science and the logic of models.

Bernd Mahr

Softw. Syst. Model., 2009

Die Informatik und die Logik der Modelle.

Bernd Mahr

Inform. Spektrum, 2009

2005

in_T-Integration of Logics.

Bernd Mahr, Sebastian Bab

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2001

Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.

Hartmut Ehrig, Bernd Mahr

Proceedings of the Current Trends in Theoretical Computer Science, 2001

Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997.

Hartmut Ehrig, Bernd Mahr

Proceedings of the Current Trends in Theoretical Computer Science, 2001

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage

Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz

Springer-Lehrbuch, Springer, ISBN: 978-3-540-41923-5, 2001

2000

Commentary on Donald MacKenzie, "A View from the Sonnenbichl".

Bernd Mahr

Proceedings of the History of Computing: Software Issues, 2000

1999

Mathematisch-strukturelle Grundlagen der Informatik

Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz

Springer-Lehrbuch, Springer, ISBN: 978-3-540-63865-0, 1999

1997

Future Trends of TAPSOFT.

Hartmut Ehrig, Bernd Mahr

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Algebraic Techniques in Software Development.

Hartmut Ehrig, Bernd Mahr

Bull. EATCS, 1996

1995

Theory and Practice of Software Development: A Review of Driving Forces and Expectations.

Hartmut Ehrig, Bernd Mahr

Bull. EATCS, 1995

A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development.

Hartmut Ehrig, Bernd Mahr

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1993

Applications of Type Theory.

Bernd Mahr

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Report on the Workshop "The Role of ODP in Medical Applications".

Bernd Mahr, M. Gerneth

Proceedings of the Open Distributed Processing, 1993

An ODP-Oriented Framework for European Services in Telemedicine.

Dirk Lutzebäck, Bernd Mahr, Gavin Venters, M. Howard Williams

Proceedings of the Open Distributed Processing, 1993

Coordination and Logic Programming.

Bernd Mahr, Robert Tolksdorf

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

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

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.

Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas

Comput. J., 1992

1990

Fundamentals of Algebraic Specification 2

Hartmut Ehrig, Bernd Mahr

EATCS Monographs on Theoretical Computer Science 21, Springer, ISBN: 0387517995, 1990

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, Hellmut Weber, Herbert Wiedemann

Inform. Spektrum, 1989

Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation.

Bernd Mahr, Carla Umbach

Proceedings of the Sorts and Types in Artificial Intelligence, 1989

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, Hellmut Weber, Herbert Wiedemann

Proceedings of the GI, 1988

Empty Carriers: The Categorical Burden on Logic.

Bernd Mahr

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Concepts of Algebraic Database Programming Languages.

Dean Jacobs, Bernd Mahr

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

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

Term Evaluation in Partial Algebras.

Bernd Mahr

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Hartmut Ehrig, Bernd Mahr

EATCS Monographs on Theoretical Computer Science 6, Springer, ISBN: 0387137181, 1985

1984

Characterizing Specification Languages which Admit Initial Semantics.

Bernd Mahr, Johann A. Makowsky

Theor. Comput. Sci., 1984

1983

An axiomatic approach to semantics of specification languages.

Johann A. Makowsky, Bernd Mahr

Proceedings of the Theoretical Computer Science, 1983

1982

Algebraic Implementation of Abstract Data Types.

Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz

Theor. Comput. Sci., 1982

Algebraic Complexity of Path Problems.

Bernd Mahr

RAIRO Theor. Informatics Appl., 1982

Graph Grammars as a Tool for Description in Computer Processed Control: A Case Study.

Bernd Mahr, Anne Wilharm

Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982

1981

Complexity of Algebraic Implementations for Abstract Data Types.

Hartmut Ehrig, Bernd Mahr

J. Comput. Syst. Sci., 1981

Relating Uniform and Nonuniform Models of Computation.

Bernd Mahr, Dirk Siefkes

Proceedings of the GI, 1981

1980

A Birds Eye View to Path Problems.

Bernd Mahr

Proceedings of the Graphtheoretic Concepts in Computer Science, 1980

Complexity of Implementations on the Level of Algebraic Specifications

Hartmut Ehrig, Bernd Mahr

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.

Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1975

Gründe, Techniken und Konsequenzen der Verallgemeinerung von Wegealgorithmen.

Bernd Mahr, Jürgen Perl

Proceedings of the 1. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science), 1975