Search the dblp DataBase
Bernd Mahr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Dean Jacobs, Bernd Mahr
Concepts of Algebraic Database Programming Languages. [Citation Graph (0, 0)][DBLP]
ADT, 1988, pp:- [Conf] - Bernd Mahr
Term Evaluation in Partial Algebras. [Citation Graph (0, 0)][DBLP]
ADT, 1986, pp:- [Conf] - Bernd Mahr, Sebastian Bab
inT-Integration of Logics. [Citation Graph (0, 0)][DBLP]
Formal Methods in Software and Systems Modeling, 2005, pp:204-219 [Conf] - Bernd Mahr, Johann A. Makowsky
Characterizing Specification Languages Which Admit Initial Semantics. [Citation Graph (0, 0)][DBLP]
CAAP, 1983, pp:300-316 [Conf] - Bernd Mahr
Empty Carriers: The Categorical Burden on Logic. [Citation Graph (0, 0)][DBLP]
Categorial Methods in Computer Science, 1988, pp:50-65 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
GI Jahrestagung (1), 1988, pp:691-702 [Conf] - Bernd Mahr, Dirk Siefkes
Relating Uniform and Nonuniform Models of Computation. [Citation Graph (0, 0)][DBLP]
GI Jahrestagung, 1981, pp:41-48 [Conf] - Bernd Mahr, Robert Tolksdorf
Coordination and Logic Programming. [Citation Graph (0, 0)][DBLP]
GI Jahrestagung, 1993, pp:545-550 [Conf] - Bernd Mahr, Carla Umbach
Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. [Citation Graph (0, 0)][DBLP]
Sorts and Types in Artificial Intelligence, 1989, pp:286-304 [Conf] - Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. [Citation Graph (0, 0)][DBLP]
MFCS, 1980, pp:231-245 [Conf] - Dirk Lutzebäck, Bernd Mahr, Gavin Venters, M. Howard Williams
An ODP-Oriented Framework for European Services in Telemedicine. [Citation Graph (0, 0)][DBLP]
Open Distributed Processing, 1993, pp:15-33 [Conf] - Bernd Mahr, M. Gerneth
Report on the Workshop "The Role of ODP in Medical Applications". [Citation Graph (0, 0)][DBLP]
Open Distributed Processing, 1993, pp:387-394 [Conf] - Hartmut Ehrig, Bernd Mahr
Complexity of Implementations on the Level of Algebraic Specifications [Citation Graph (0, 0)][DBLP]
STOC, 1980, pp:281-293 [Conf] - Hartmut Ehrig, Bernd Mahr
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1995, pp:3-24 [Conf] - Hartmut Ehrig, Bernd Mahr
Future Trends of TAPSOFT. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1997, pp:6-10 [Conf] - Bernd Mahr
Applications of Type Theory. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1993, pp:343-355 [Conf] - Johann A. Makowsky, Bernd Mahr
An axiomatic approach to semantics of specification languages. [Citation Graph (0, 0)][DBLP]
Theoretical Computer Science, 1983, pp:211-219 [Conf] - Bernd Mahr
A Birds Eye View to Path Problems. [Citation Graph (0, 0)][DBLP]
WG, 1980, pp:335-353 [Conf] - Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. [Citation Graph (0, 0)][DBLP]
Comput. J., 1992, v:35, n:5, pp:460-467 [Journal] - Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. [Citation Graph (0, 0)][DBLP]
Comput. J., 1992, v:35, n:5, pp:468-477 [Journal] - Hartmut Ehrig, Jacques Loeckx, Bernd Mahr
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. [Citation Graph (0, 0)][DBLP]
Bulletin of the EATCS, 1986, v:30, n:, pp:61-65 [Journal] - Hartmut Ehrig, Bernd Mahr
Theory and Practice of Software Development: A Review of Driving Forces and Expectations. [Citation Graph (0, 0)][DBLP]
Bulletin of the EATCS, 1995, v:57, n:, pp:- [Journal] - Hartmut Ehrig, Bernd Mahr
Algebraic Techniques in Software Development. [Citation Graph (0, 0)][DBLP]
Bulletin of the EATCS, 1996, v:58, n:, pp:- [Journal] - 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. [Citation Graph (0, 0)][DBLP]
Informatik Spektrum, 1989, v:12, n:5, pp:281-289 [Journal] - Bernd Mahr
Algebraic Complexity of Path Problems. [Citation Graph (0, 0)][DBLP]
ITA, 1982, v:16, n:3, pp:263-292 [Journal] - Hartmut Ehrig, Bernd Mahr
Complexity of Algebraic Implementations for Abstract Data Types. [Citation Graph (0, 0)][DBLP]
J. Comput. Syst. Sci., 1981, v:23, n:2, pp:223-253 [Journal] - Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
Algebraic Implementation of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1982, v:20, n:, pp:209-263 [Journal] - Bernd Mahr, Johann A. Makowsky
Characterizing Specification Languages which Admit Initial Semantics. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1984, v:31, n:, pp:49-59 [Journal]
Search in 0.007secs, Finished in 0.008secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002