dblp.uni-trier.dewww.uni-trier.de

Bernd Mahr

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
32EEBernd 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)