Bernd Mahr

	2010
37		Bernd Mahr: Zuses Auffassung vom Rechnen. GI Jahrestagung (2) 2010: 130-131
36		Bernd Mahr: On Judgements and Propositions. ECEASST 26: (2010)
35		Bernd Mahr: Position Statement: Models in Software and Systems Development. ECEASST 30: (2010)
	2009
34		Bernd Mahr: Die Informatik und die Logik der Modelle. Informatik Spektrum 32(3): 228-249 (2009)
33		Bernd Mahr: Information science and the logic of models. Software and System Modeling 8(3): 365-383 (2009)
	2005
32		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

Coauthor Index

1	Sebastian Bab	[32]
2	Ingo Claßen	[19] [20]
3	Wolfgang Coy	[14] [17]
4	Hartmut Ehrig	[2] [3] [4] [6] [11] [12] [19] [20] [26] [27] [28] [29] [30] [31]
5	Günter Feuerstein	[14] [17]
6	M. Gerneth	[22]
7	Rolf Günther	[14] [17]
8	Dean Jacobs	[16]
9	Hans-Jörg Kreowski	[3] [6]
10	Werner Langenheder	[14] [17]
11	Jacques Loeckx	[12]
12	Dirk Lutzebäck	[23]
13	Johann A. Makowsky (Janos Makowsky)	[8] [9] [10]
14	Jan de Meer	[25]
15	Peter Molzberger	[14] [17]
16	Fernando Orejas	[19] [20]
17	Peter Padawitz	[3] [6]
18	Hartmut Przybylski	[14] [17]
19	Karl-Heinz Rödiger	[14] [17]
20	Horst Röpke	[14] [17]
21	Eva Senghaas-Knobloch	[14] [17]
22	Dirk Siefkes	[5]
23	Silke Storp	[25]
24	Robert Tolksdorf	[24]
25	Carla Umbach	[18]
26	Gavin Venters	[23]
27	Birgit Volmerg	[14] [17]
28	Walter Volpert	[14] [17]
29	Hellmut Weber	[14] [17]
30	Herbert Wiedemann	[14] [17]
31	M. Howard Williams	[23]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page