ask others

Bernd Krieg-Brückner

> Home > Persons

Person information

affiliation: University of Bremen, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/MossakowskiK18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/MossakowskiK18
Till Mossakowski, Bernd Krieg-Brückner:
Partial pushout semantics of generics in DOL. Theor. Comput. Sci. 741: 58-70 (2018)
2017
[c49]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/semweb/Krieg-BrucknerM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/semweb/Krieg-BrucknerM17
Bernd Krieg-Brückner, Till Mossakowski:
Generic Ontologies and Generic Ontology Design Patterns. WOP@ISWC 2017
2016
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ksem/Krieg-Bruckner16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ksem/Krieg-Bruckner16
Bernd Krieg-Brückner:
Generic Ontology Design Patterns: Qualitatively Graded Configuration. KSEM 2016: 580-595
2015
[j10]
- view
  - electronic edition @ ijsi.org
- export record
  dblp key:
  - journals/ijsi/Krieg-Bruckner15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijsi/Krieg-Bruckner15
Bernd Krieg-Brückner:
The photo of Prof. Dr. Bernd Krieg-Bruckner with signature. Int. J. Software and Informatics 9(2) (2015)
[j9]
- view
  - electronic edition @ ijsi.org
- export record
  dblp key:
  - journals/ijsi/Krieg-Bruckner15a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijsi/Krieg-Bruckner15a
Bernd Krieg-Brückner:
Chinese University Development Project. Int. J. Software and Informatics 9(2): 95-111 (2015)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jaise/StahlKZG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jaise/StahlKZG15
Christoph Stahl, Bernd Krieg-Brückner, Wolfgang L. Zagler, Björn Gottfried:
Introduction to the thematic issue on Mobility. JAISE 7(5): 603-604 (2015)
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Krieg-BrucknerA15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Krieg-BrucknerA15
Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam:
Formal Modelling for Cooking Assistance. Software, Services, and Systems 2015: 355-376
2010
[c46]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/achi/ShiJK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/achi/ShiJK10
Hui Shi, Cui Jian, Bernd Krieg-Brückner:
Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. ACHI 2010: 1-6
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ami/FreySRKA10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ami/FreySRKA10
Jochen Frey, Christoph Stahl, Thomas Röfer, Bernd Krieg-Brückner, Jan Alexandersson:
The DFKI Competence Center for Ambient Assisted Living. AmI 2010: 310-314
[c44]
- no documents available
- export record
  dblp key:
  - conf/biostec/FischerHJSMSSK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/biostec/FischerHJSMSSK10
Carsten Fischer, Hui Shi, Cui Jian, Frank Schafmeister, Nils Menrad, Nicole von Steinbüchel, Kerstin Schill, Bernd Krieg-Brückner:
Modelling user Behaviour While Driving an Intelligent Wheelchair. HEALTHINF 2010: 330-336

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c43]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaaiss/JianSK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaaiss/JianSK09
Cui Jian, Hui Shi, Bernd Krieg-Brückner:
SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 47-48
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iros/MandelLLRGK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iros/MandelLLRGK09
Christian Mandel, Thorsten Lüth, Tim Laue, Thomas Röfer, Axel Gräser, Bernd Krieg-Brückner:
Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials. IROS 2009: 1118-1125
[p4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/09/Krieg-Bruckner009
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/09/Krieg-Bruckner009
Bernd Krieg-Brückner, Hui Shi:
Spatio-Temporal Situated Interaction in Ambient Assisted Living. Human Centered Robot Systems, Cognition, Interaction, Technology 2009: 205-214
2008
[j7]
- no documents available
- export record
  dblp key:
  - journals/ijsi/ShiK08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijsi/ShiK08
Hui Shi, Bernd Krieg-Brückner:
Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. Int. J. Software and Informatics 2(1): 33-60 (2008)
[j6]
- view
  - electronic edition @ kuenstliche-intelligenz.de
- export record
  dblp key:
  - journals/ki/ShiK08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ki/ShiK08
Hui Shi, Bernd Krieg-Brückner:
Qualitative Semantic Representations. KI 22(3): 59-61 (2008)
2007
[j5]
- view
  - electronic edition @ kuenstliche-intelligenz.de
- export record
  dblp key:
  - journals/ki/LuthK07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ki/LuthK07
Christoph Lüth, Bernd Krieg-Brückner:
Sicherheit in der Künstlichen Intelligenz. KI 21(1): 51-52 (2007)
2006
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/giscience/Krieg-BrucknerS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/giscience/Krieg-BrucknerS06
Bernd Krieg-Brückner, Hui Shi:
Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. GIScience 2006: 234-250
2005
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Krieg-Bruckner05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Krieg-Bruckner05
Bernd Krieg-Brückner:
Towards MultiMedia Instruction in Safe and Secure Systems. Mechanizing Mathematical Reasoning 2005: 379-395
2004
[c39]
- view
  - electronic edition @ gi.de
- export record
  dblp key:
  - conf/delfi/Krieg-BrucknerLLMR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/delfi/Krieg-BrucknerLLMR04
Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell:
Semantic Interrelation of Documents via an Ontology. DeLFI 2004: 271-282
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/otm/MahnkeK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/otm/MahnkeK04
Achim Mahnke, Bernd Krieg-Brückner:
Literate Ontology Development. OTM Workshops 2004: 753-757
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spatialCognition/Krieg-BrucknerFLMMR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spatialCognition/Krieg-BrucknerFLMMR04
Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross:
Specification of an Ontology for Route Graphs. Spatial Cognition 2004: 390-412
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spatialCognition/RossSVKB04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spatialCognition/RossSVKB04
Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd Krieg-Brückner, John A. Bateman:
Towards Dialogue Based Shared Control of Navigating Robots. Spatial Cognition 2004: 478-499
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/LuttichMK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/LuttichMK04
Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner:
Ontologies for the Semantic Web in Casl. WADT 2004: 106-125
[e4]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spatialCognition/2004
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spatialCognition/2004
Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky:
Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers. Lecture Notes in Computer Science 3343, Springer 2004, ISBN 3-540-25048-4 [contents]
2003
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spatialCognition/LankenauRK03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spatialCognition/LankenauRK03
Axel Lankenau, Thomas Röfer, Bernd Krieg-Brückner:
Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. Spatial Cognition 2003: 34-61
2002
[j4]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/tcs/AstesianoBKKMST02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AstesianoBKKMST02
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. Theor. Comput. Sci. 286(2): 153-196 (2002)
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/Krieg-BrucknerHLLMMMPRRSW02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/Krieg-BrucknerHLLMMMPRRSW02
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. WADT 2002: 82-117
2000
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spatialCognition/WernerKH00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spatialCognition/WernerKH00
Steffen Werner, Bernd Krieg-Brückner, Theo Herrmann:
Modelling Navigational Knowledge by Route Graphs. Spatial Cognition 2000: 295-316

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/LuthTKK99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/LuthTKK99
Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner:
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: 239-243
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Krieg-BrucknerPOB99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Krieg-BrucknerPOB99
Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer:
The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods 1999: 1186-1205
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/MossakowskiHK99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/MossakowskiHK99
Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner:
Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145
[p3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/ifip/BasinK99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/ifip/BasinK99
David A. Basin, Bernd Krieg-Brückner:
Formalization of the Development Process. Algebraic Foundations of Systems Specification 1999: 521-562
[e3]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - series/ifip/afss1999
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/ifip/afss1999
Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner:
Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, Springer 1999, ISBN 978-3-642-64151-0 [contents]
1998
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Krieg-Bruckner98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Krieg-Bruckner98
Bernd Krieg-Brückner:
UniForM Perspectives for Formal Methods. FM-Trends 1998: 251-265
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spatialCognition/Krieg-BrucknerRCM98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spatialCognition/Krieg-BrucknerRCM98
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. Spatial Cognition 1998: 373-398
1997
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/CerioliHKM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/CerioliHKM97
Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski:
Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gi/WernerKMSF97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gi/WernerKMSF97
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. GI Jahrestagung 1997: 41-50
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/MossakowskiKK97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wadt/MossakowskiKK97
Till Mossakowski, Kolyang, Bernd Krieg-Brückner:
Static semantic analysis and theorem proving for CASL. WADT 1997: 333-348
1996
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/QianK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/QianK96
Zhenyu Qian, Bernd Krieg-Brückner:
Typed Object-Oriented Functional Programming with Late Binding. ECOOP 1996: 48-72
1995
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compass/Krieg-Bruckner95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compass/Krieg-Bruckner95
Bernd Krieg-Brückner:
Seven Years of COMPASS. COMPASS/ADT 1995: 1-13
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compass/QianK95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compass/QianK95
Zhenyu Qian, Bernd Krieg-Brückner:
Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT 1995: 458-477
[p2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/korso/Krieg-BrucknerLSW95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/korso/Krieg-BrucknerLSW95
Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff:
Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284
1994
[j3]
- no documents available
- export record
  dblp key:
  - journals/scp/Krieg-Bruckner94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Krieg-Bruckner94
Bernd Krieg-Brückner:
Foreword: Selected Papers of ESOP'92. Sci. Comput. Program. 22(3): 181-182 (1994)
1993
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gi/Krieg-BrucknerLWS93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gi/Krieg-BrucknerLWS93
Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi:
Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung 1993: 241-246
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/prospectra/Krieg-Bruckner93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/prospectra/Krieg-Bruckner93
Bernd Krieg-Brückner:
Introduction. PROSPECTRA Book 1993: 3-34
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/prospectra/LiuK93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/prospectra/LiuK93
Junbo Liu, Bernd Krieg-Brückner:
Transformation. PROSPECTRA Book 1993: 99-127
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/prospectra/Krieg-Bruckner93a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/prospectra/Krieg-Bruckner93a
Bernd Krieg-Brückner:
A Language Family for Programming and Meta-Programming. PROSPECTRA Book 1993: 147-148
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/prospectra/Krieg-BrucknerKLT93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/prospectra/Krieg-BrucknerKLT93
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor:
Uniform Transformational Development. PROSPECTRA Book 1993: 317-330
[e2]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/prospectra/1993
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/prospectra/1993
Berthold Hoffmann, Bernd Krieg-Brückner:
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Lecture Notes in Computer Science 680, Springer 1993, ISBN 3-540-56733-X [contents]
1992
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/seke/LiuTK92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/seke/LiuTK92
Junbo Liu, Owen Traynor, Bernd Krieg-Brückner:
Knowledge-Based Transfonnational Programming. SEKE 1992: 632-639
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/1992
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/1992
Bernd Krieg-Brückner:
ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 582, Springer 1992, ISBN 3-540-55253-7 [contents]
1991
[c14]
- no documents available
- export record
  dblp key:
  - conf/amast/KarlsenKT91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/KarlsenKT91
Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor:
The PROSPECTRA System: A Unified Development Framework. AMAST 1991: 421-433
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cip/Krieg-Bruckner91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cip/Krieg-Bruckner91
Bernd Krieg-Brückner:
Transformational Meta Program Development. Methods of Programming 1991: 19-33
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Krieg-BrucknerKLT91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Krieg-BrucknerKLT91
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor:
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. VDM Europe (2) 1991: 363-397
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/HoffmannK91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/HoffmannK91
Berthold Hoffmann, Bernd Krieg-Brückner:
The PROSPECTRA System. VDM Europe (1) 1991: 668-669
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stacs/HoffmannK91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stacs/HoffmannK91
Berthold Hoffmann, Bernd Krieg-Brückner:
The PROSPECTRA System. STACS 1991: 539-540
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/Krieg-BrucknerS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/Krieg-BrucknerS91
Bernd Krieg-Brückner, Donald Sannella:
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. TAPSOFT, Vol.2 1991: 313-336

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tapsoft/Krieg-Bruckner89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tapsoft/Krieg-Bruckner89
Bernd Krieg-Brückner:
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. TAPSOFT, Vol.2 1989: 36-59
1988
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/Krieg-Bruckner88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/Krieg-Bruckner88
Bernd Krieg-Brückner:
Algebraic Formalisation of Program Development by Transformation. ESOP 1988: 34-48
1987
[b2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/LuckhamHKO87
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/LuckhamHKO87
David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe:
ANNA - A Language for Annotating Ada Programs, Reference Manual. Lecture Notes in Computer Science 260, Springer 1987, ISBN 3-540-17980-1
1986
[c6]
- no documents available
- export record
  dblp key:
  - conf/adaEurope/Krieg-Bruckner86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/Krieg-Bruckner86
Bernd Krieg-Brückner:
Integration of Program Construction and Verification: The PROSPECTRA Methodology. System Development and Ada 1986: 173-194
1985
[b1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/sp/BauerB85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/sp/BauerB85
Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7
1984
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adt/Krieg-Bruckner84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adt/Krieg-Bruckner84
Bernd Krieg-Brückner:
Transformation of Interface Specifications. ADT 1984: 156-170
1982
[c4]
- no documents available
- export record
  dblp key:
  - conf/db-workshops/Krieg-Bruckner82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/db-workshops/Krieg-Bruckner82
Bernd Krieg-Brückner:
Types in the Programming Language Ada. On Conceptual Modelling (Intervale) 1982: 385-408
1981
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BauerBDGKLLMMPPSSWW81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BauerBDGKLLMMPPSSWW81
Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas 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. Sci. Comput. Program. 1(1-2): 73-114 (1981)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eci/Krieg-Bruckner81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eci/Krieg-Bruckner81
Bernd Krieg-Brückner:
Ada and the German Pay Phone: An Illustrative Example of Parallel Processing. ECI 1981: 122-134
1980
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/BroyK80
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/BroyK80
Manfred Broy, Bernd Krieg-Brückner:
Derivation of Invariant Assertions During Program Development by Transformation. ACM Trans. Program. Lang. Syst. 2(3): 321-337 (1980)
[p1]
- no documents available
- export record
  dblp key:
  - books/cu/mckeag80/IchbiahBHKRW80
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/cu/mckeag80/IchbiahBHKRW80
Jean Ichbiah, John G. P. Barnes, J. C. Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann:
Modules and Visibility in the Ada Programming Language. On the Construction of Programs 1980: 153-192

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1978
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pc/BauerBGHKPPW78
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pc/BauerBGHKPPW78
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. Program Construction 1978: 543-552
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/programmier/BauerBGHK78
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/programmier/BauerBGHK78
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. Fachtagung über Programmiersprachen 1978: 73-85

Coauthor Index

see FAQ

maintained by

, founded at