The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernd Krieg-Brückner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bernd Krieg-Brückner
    Integration of Program Construction and Verification: The PROSPECTRA Methodology. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:173-194 [Conf]
  2. Bernd Krieg-Brückner
    Transformation of Interface Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:156-170 [Conf]
  3. Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
    Permissive Subsorted Partial Logic in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:91-107 [Conf]
  4. Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor
    The PROSPECTRA System: A Unified Development Framework. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:421-433 [Conf]
  5. Bernd Krieg-Brückner
    Towards MultiMedia Instruction in Safe and Secure Systems. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:379-395 [Conf]
  6. Bernd Krieg-Brückner
    Transformational Meta Program Development. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:19-33 [Conf]
  7. Zhenyu Qian, Bernd Krieg-Brückner
    Object-Oriented Functional Programming and Type Reconstruction. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:458-477 [Conf]
  8. Bernd Krieg-Brückner
    Seven Years of COMPASS. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:1-13 [Conf]
  9. Bernd Krieg-Brückner
    Types in the Programming Language Ada. [Citation Graph (0, 0)][DBLP]
    On Conceptual Modelling (Intervale), 1982, pp:385-408 [Conf]
  10. Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell
    Semantic Interrelation of Documents via an Ontology. [Citation Graph (0, 0)][DBLP]
    DeLFI, 2004, pp:271-282 [Conf]
  11. Bernd Krieg-Brückner
    Ada and the German Pay Phone: An Illustrative Example of Parallel Processing. [Citation Graph (0, 0)][DBLP]
    ECI, 1981, pp:122-134 [Conf]
  12. Zhenyu Qian, Bernd Krieg-Brückner
    Typed Object-Oriented Functional Programming with Late Binding. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1996, pp:48-72 [Conf]
  13. Bernd Krieg-Brückner
    Algebraic Formalisation of Program Development by Transformation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:34-48 [Conf]
  14. Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner
    TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:239-243 [Conf]
  15. Berthold Hoffmann, Bernd Krieg-Brückner
    The PROSPECTRA System. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:668-669 [Conf]
  16. Bernd Krieg-Brückner
    UniForM Perspectives for Formal Methods. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:251-265 [Conf]
  17. Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
    The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:363-397 [Conf]
  18. Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
    The UniForM Workbench, a Universal Development Environment for Formal Methods. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1186-1205 [Conf]
  19. Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi
    Towards Correctness, Efficiency and Reusability of Transformational Developments. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:241-246 [Conf]
  20. Steffen Werner, Bernd Krieg-Brückner, Hanspeter A. Mallot, Karin Schweizer, Christian Freksa
    Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:41-50 [Conf]
  21. Bernd Krieg-Brückner, Hui Shi
    Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. [Citation Graph (0, 0)][DBLP]
    GIScience, 2006, pp:234-250 [Conf]
  22. Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff
    Towards Correct, Efficient and Reusable Transformational Developments. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:270-284 [Conf]
  23. Achim Mahnke, Bernd Krieg-Brückner
    Literate Ontology Development. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2004, pp:753-757 [Conf]
  24. Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
    Towards a Wide Spectrum Language to Support Program Specification and Program Development. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:543-552 [Conf]
  25. Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner
    Towards a wide spectrum language to support program specification and program development. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1978, pp:73-85 [Conf]
  26. Bernd Krieg-Brückner
    Introduction. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:3-34 [Conf]
  27. Bernd Krieg-Brückner
    A Language Family for Programming and Meta-Programming. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:147-148 [Conf]
  28. Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
    Uniform Transformational Development. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:317-330 [Conf]
  29. Junbo Liu, Bernd Krieg-Brückner
    Transformation. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:99-127 [Conf]
  30. Junbo Liu, Owen Traynor, Bernd Krieg-Brückner
    Knowledge-Based Transfonnational Programming. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:632-639 [Conf]
  31. Steffen Werner, Bernd Krieg-Brückner, Theo Herrmann
    Modelling Navigational Knowledge by Route Graphs. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 2000, pp:295-316 [Conf]
  32. Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross
    Specification of an Ontology for Route Graphs. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 2004, pp:390-412 [Conf]
  33. Bernd Krieg-Brückner, Thomas Röfer, Hans-Otto Carmesin, Rolf Müller
    A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 1998, pp:373-398 [Conf]
  34. Axel Lankenau, Thomas Röfer, Bernd Krieg-Brückner
    Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 2003, pp:34-61 [Conf]
  35. Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd Krieg-Brückner, John A. Bateman
    Towards Dialogue Based Shared Control of Navigating Robots. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 2004, pp:478-499 [Conf]
  36. Berthold Hoffmann, Bernd Krieg-Brückner
    The PROSPECTRA System. [Citation Graph (0, 0)][DBLP]
    STACS, 1991, pp:539-540 [Conf]
  37. Bernd Krieg-Brückner
    Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:36-59 [Conf]
  38. Bernd Krieg-Brückner, Donald Sannella
    Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:313-336 [Conf]
  39. Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
    Ontologies for the Semantic Web in Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:106-125 [Conf]
  40. Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing
    MultiMedia Instruction in Safe and Secure Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:82-117 [Conf]
  41. Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner
    Subsorted Partial Higher-Order Locig as an Extension of CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:126-145 [Conf]
  42. Till Mossakowski, Kolyang, Bernd Krieg-Brückner
    Static semantic analysis and theorem proving for CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:333-348 [Conf]
  43. Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, T. Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner
    Programming in a Wide Spectrum Language: A Collection of Examples. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:73-114 [Journal]
  44. Bernd Krieg-Brückner
    Foreword: Selected Papers of ESOP'92. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:3, pp:181-182 [Journal]
  45. Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
    CASL: the Common Algebraic Specification Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:153-196 [Journal]
  46. Manfred Broy, Bernd Krieg-Brückner
    Derivation of Invariant Assertions During Program Development by Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:321-337 [Journal]

  47. Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. [Citation Graph (, )][DBLP]


  48. Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials. [Citation Graph (, )][DBLP]


Search in 0.005secs, 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