The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernd Mahr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dean Jacobs, Bernd Mahr
    Concepts of Algebraic Database Programming Languages. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  2. Bernd Mahr
    Term Evaluation in Partial Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  3. 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]
  4. Bernd Mahr, Johann A. Makowsky
    Characterizing Specification Languages Which Admit Initial Semantics. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:300-316 [Conf]
  5. Bernd Mahr
    Empty Carriers: The Categorical Burden on Logic. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:50-65 [Conf]
  6. 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]
  7. Bernd Mahr, Dirk Siefkes
    Relating Uniform and Nonuniform Models of Computation. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:41-48 [Conf]
  8. Bernd Mahr, Robert Tolksdorf
    Coordination and Logic Programming. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:545-550 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Hartmut Ehrig, Bernd Mahr
    Complexity of Implementations on the Level of Algebraic Specifications [Citation Graph (0, 0)][DBLP]
    STOC, 1980, pp:281-293 [Conf]
  14. 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]
  15. Hartmut Ehrig, Bernd Mahr
    Future Trends of TAPSOFT. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:6-10 [Conf]
  16. Bernd Mahr
    Applications of Type Theory. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:343-355 [Conf]
  17. 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]
  18. Bernd Mahr
    A Birds Eye View to Path Problems. [Citation Graph (0, 0)][DBLP]
    WG, 1980, pp:335-353 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. Hartmut Ehrig, Bernd Mahr
    Algebraic Techniques in Software Development. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:58, n:, pp:- [Journal]
  24. 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]
  25. Bernd Mahr
    Algebraic Complexity of Path Problems. [Citation Graph (0, 0)][DBLP]
    ITA, 1982, v:16, n:3, pp:263-292 [Journal]
  26. 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]
  27. 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]
  28. 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002