FB 3

Veröffentlichungen

Springe zu Jahr: noch nicht erschienen 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1981 1980 1979 1978 1977 1974 1973 1972 1971

noch nicht erschienen nach oben

B. Krieg-BrÃ¼ckner, H. Shi, B. Gersdorf, M. DÃ¶hle, T. RÃ¶fer. Context-Sensitive Spatial Interaction and Ambient Control. In Mastrogiovanni, F. Chong, N.-Y. (Hrsg.), Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives.

2013 nach oben

Bernd Krieg-BrÃ¼ckner, Bernd Gersdorf, Christian Mandel, Christoph Budelmann, Marcus-Sebastian SchrÃ¶der (2013). Navigation Aid for Mobility Assistants. In Proceedings of the Joint CEWIT-TZI-acatech Workshop â€œICT meets Medicine and Healthâ€ ICTMH 2013 .

2012 nach oben

Bernd Krieg-BrÃ¼ckner, Hui Shi (2012). Reasoning About Large Places. In Proceedings of International Workshop on Place-Related Knowledge Acquisition Research (P-KAR) 2012.

2011 nach oben

B. Krieg-BrÃ¼ckner, T. RÃ¶fer, H. Shi, B. Gersdorf (2011). MobilitÃ¤tassistenz im "Bremen Ambient Assisted Living Lab" (BAALL). In Altern und Technik (Altern in Deutschland Bd. 6), Nova Acta Leopoldina NF, 104 (368), S. 157–174.

2010 nach oben

	Fischer, C., Shi, H., Jian , C., Schafmeister, F., Menrad, N., v. SteinbÃ¼chel, N., Schill, K., Krieg-BrÃ¼ckner, B. (2010). Modelling User Behaviour while Driving an Intelligent Wheelchair. In Proceedings of Third International Conference on Health Informatics.
	J. Frey, Christoph Stahl, Thomas RÃ¶fer, Bernd Krieg-BrÃ¼ckner, Jan Alexandersson (2010). The DFKI Competence Center for Ambient Assisted Living. In Boris de Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio M. Gomez (Hrsg.), Ambient Intelligence: First International Joint Conference, AmI 2010, Band 6439, S. 310–314, Lecture Notes in Computer Science. Springer, Heidelberg.
	Bernd Krieg-BrÃ¼ckner, Thomas RÃ¶fer, Hui Shi, Bernd Gersdorf (2010). Mobility Assistance in the Bremen Ambient Assisted Living Lab. In GeroPsych: The Journal of Gerontopsychology and Geriatric Psychiatry, 23 (2), S. 121–130. Verlag Hans Huber.
	Shi, H., Jian, C., Krieg-BrÃ¼ckner, B. (2010). Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. In Ray Jarvis, Cosmin Dini (Hrsg.), Proceedings of The Third International Conference on Advances in Computer-Human Interactions, IEEE.

2009 nach oben

	C. Jian, H. Shi, B. Krieg-BrÃ¼ckner (2009). SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.
	B. Krieg-BrÃ¼ckner, H. Shi (2009). Spatio-Temporal Situated Interaction in Ambient Assisted Living. In Ritter, H., Sagerer, G., Steil, J. (Hrsg.), Proceedings of Third International Workshop on Human Centered Robotic Systems, HCRS'09, Nr. 205-214.
	Bernd Krieg-BrÃ¼ckner, Hui Shi, Carsten Fischer, Thomas RÃ¶fer, Jian Cui, Kerstin Schill (2009). Welche Sicherheitsassistenz brauchen Rollstuhlfahrer?. In 2. Deutscher AAL-Kongress 2009. VDE-Verlag, Berlin-Offenbach, Germany.

2008 nach oben

	Hui Shi, Bernd Krieg-BrÃ¼ckner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), S. 33–60.
	Hui Shi, Bernd Krieg-BrÃ¼ckner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Band 3, S. 59–61.

2007 nach oben

Christoph LÃ¼th, Bernd Krieg-BrÃ¼ckner (2007). Sicherheit in der KÃ¼nstlichen Intelligenz. In KÃ¼nstliche Intelligenz, Band 1, S. 51–52.

2006 nach oben

	Bernd Krieg-BrÃ¼ckner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In M. Raubal, H. Miller, A. Frank, M. Goodchild (Hrsg.), Geographic Information Science - Fourth International Conference, GIScience 2006, Band 4197, Lecture Notes in Computer Science. Springer, Berlin.
	Bernd Krieg-BrÃ¼ckner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In Raubal, M., Miller, H.J., Frank, A.U., Goodchild, M.F. (Hrsg.), Proc. International Conference GIScience 2006, MÃ¼nster, Germany, Band 4197, S. 234–250, Lecture Notes in Computer Science. Springer Verlag. (to appear).

2005 nach oben

	B. Krieg-BrÃ¼ckner, U. Frese, K. LÃ¼ttich, C. Mandel, T. Mossakowski, R. Ross (2005). Specification of an Ontology for Route Graphs. In C. Freksa, M. Knauff, B. Krieg-BrÃ¼ckner, B. Nebel, T. Barkowsky (Hrsg.), Spatial Cognition IV, Band 3343, S. 390–412, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	K. LÃ¼ttich, T. Mossakowski, B. Krieg-BrÃ¼ckner (2005). Ontologies for the Semantic Web in CASL. In J. L. Fiadeiro, P. Mosses, F. Orejas (Hrsg.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Band 3423, S. 106–125, Lecture Notes in Computer Science. Springer, Berlin.

2004 nach oben

	B. Krieg-BrÃ¼ckner, A. Lindow, C. LÃ¼th, A. Mahnke, G. Russell (2004). Semantic Interrelation of Documents via an Ontology. In G. Engels, S. Seehusen (Hrsg.), DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, Band P-52, S. 271–282, Lecture Notes in Informatics. Springer-Verlag, D-69121 Heidelberg, Germany.
	A. Mahnke, B. Krieg-BrÃ¼ckner (2004). Literate Ontology Development. In Robert Meersman, Zahir Tari, Angelo Corsaro et al. (Hrsg.), On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, Band 3292, S. 753–757, Lecture Notes in Computer Science. Springer, Berlin.
	CoFI Language Design Group, B. Krieg-BrÃ¼ckner, P.D. Mosses (2004). CASL Syntax / CASL Summary. In P.D. Mosses (Hrsg.), CASL Reference Manual, Band 2960, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	K. LÃ¼ttich, B. Krieg-BrÃ¼ckner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Hrsg.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, S. 109–119.
	R. Ross, H. Shi, T. Vierhuff, B. Krieg-BrÃ¼ckner, J. Bateman (2004). Towards Dialogue Based Shared Control of Navigating Robots. In C. Freksa, M. Knauff, B. Krieg-BrÃ¼ckner, B. Nebel, T. Barkowsky (Hrsg.), Spatial Cognition 2004, Band 3343, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

2003 nach oben

B. Krieg-BrÃ¼ckner, D. Hutter, A. Lindow, C. LÃ¼th, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J.-G. Smaus, M. Wirsing (2003). MultiMedia Instruction in Safe and Secure Systems. In M. Wirsing, D. Pattinson, R. Hennicker (Hrsg.), Recent Trends in Algebraic Development Techniques, Band 2755, S. 82–117, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

Axel Lankenau, Thomas RÃ¶fer, Bernd Krieg-BrÃ¼ckner (2003). Self-Localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. In Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender (Hrsg.), Spatial Cognition III, Band 2685, S. 34–61, Lecture Notes in Artificial Intelligence. Springer.

2002 nach oben

	E. Astesiano, M. Bidoit, B. Krieg-BrÃ¼ckner, H. Kirchner, P. D. Mosses, D. Sannella, A. Tarlecki (2002). CASL - the Common Algebraic Specification Language. In Theoretical Computer Science, Band 286, S. 153–196.
	B. Krieg-BrÃ¼ckner (2002). MMiSS -- MultiMedia-Instruction in Safe and Secure Systems. In D. Hutter, W. Stephan (Hrsg.), Essays in Honor of Joerg H. Siekmann, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.

2000 nach oben

	E. Astesiano, H.-J. Kreowski, B. Krieg-BrÃ¼ckner (Hrsg.) (2000). Algebraic Foundations of System Specification. IFIP State-of-the-Art Reports. Springer-Verlag, D-69121 Heidelberg, Germany.
	D. Basin, B. Krieg-BrÃ¼ckner (2000). Formalization of the Development Process. In E. Astesiano, H.-J. Kreowski, B. Krieg-BrÃ¼ckner (Hrsg.), Algebraic FounÂdations of System Specification, S. 521–562, IFIP State-of-the-Art Reports. Springer-Verlag, D-69121 Heidelberg, Germany.
	T. Mossakowski, A. Haxthausen, B. Krieg-BrÃ¼ckner (2000). Subsorted Partial Higher-Order Logic as an Extension of CASL. In C. Choppy, D. Bert, P. Mosses (Hrsg.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Band 1827, S. 126–145, Lecture Notes in Computer Science. Springer Verlag, London.
	S. Werner, B. Krieg-BrÃ¼ckner, T. Herrmann (2000). Modelling Navigational Knowledge by Route Graphs. In C. Freksa, C. Habel, K.F. Wender (Hrsg.), Spatial Cognition II, Band 1849, S. 295–317, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.

1999 nach oben

	B. Krieg-BrÃ¼ckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1999). UniForM Workbench, Universelle Entwicklungsumgebung fÃ¼r Formale Methoden; Schlussbericht. Band 9, Monographs of the Bremen Institute of Safe Systems (BISS). Shaker Verlag, Postfach 1290, 52013 Aachen.
	B. Krieg-BrÃ¼ckner (1999). UniForM Perspectives for Formal Methods. In D. Hutter, W. Stephan, P. Traverso, M. Ullmann (Hrsg.), Applied Formal Methods -- FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods, Nr. 1641, S. 251–265, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, J. Peleska, E.-R. Olderog, A. Baer (1999). The UniForM Workbench, a Universal DevelopÂment Environment for Formal Methods. In J.M. Wing, J. Woodcock, J. Davies (Hrsg.), FM'99, Formal Methods. Proceedings, 2 (1709), S. 1186–1205, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1998 nach oben

	Andreas BÃ¼hlmeier, JÃ¶rg Kollmann, Bernd Krieg-BrÃ¼ckner, Thomas RÃ¶fer (Hrsg.) (1998). Studentisches Projekt SAUS: Sensomotorik autonomer Systeme. Informatik Bericht. ISSN 0722-8996. UniversitÃ¤t Bremen.
	B. Krieg-BrÃ¼ckner (1998). A Taxonomy of Spatial Knowledge for Navigation. In U. Schmid, F. Wysotzki (Hrsg.), Qualitative and Quantitative Approaches to Spatial Inference and the Analysis of Movements, Nr. 98-2. Technische UniversitÃ¤t Berlin; Computer Science Department. Technical Report.
	Bernd Krieg-BrÃ¼ckner, Thomas RÃ¶fer, Hans-Otto Carmesin, Rolf MÃ¼ller (1998). A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair. In Christian Freksa, Christopher Habel, Karl F. Wender (Hrsg.), Spatial Cognition, Band 1404, S. 373–397, Lecture Notes in Artificial Intelligence. Springer.
	A. Lankenau, O. Meyer, B. Krieg-BrÃ¼ckner (1998). Safety in Robotics: The Bremen Autonomous Wheelchair. In Proceedings of the 5th Int. Workshop on Advanced Motion Control (AMC '98), S. 524–529.
	T. Mossakowski, Kolyang, B. Krieg-BrÃ¼ckner (1998). Static Semantic Analysis and Theorem Proving for CASL. In F. Parisi-Pressice (Hrsg.), Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADTâ€™97, Nr. 1376, S. 333–348, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1997 nach oben

	M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-BrÃ¼ckner, Z. Qian, M. Wolf (Hrsg.) (1997). Algebraic System Specification and Development: Survey and Annotated Bibliography. Band 3, Monographs of the Bremen Institute of Safe Systems (BISS). Shaker Verlag, Postfach 1290, 52013 Aachen.
	M. Cerioli, A. Haxthausen, B. Krieg-BrÃ¼ckner, T. Mossakowski (1997). Permissive Subsorted Partial Logic in CASL. In M. Johnson (Hrsg.), Algebraic methodology and software technology, 6th international conference, AMAST 97, Nr. 1349, (p. 91â€“107). , Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	J. Kollmann, A. Lankenau, A. BÃ¼hlmeier, B. Krieg-BrÃ¼ckner, T. RÃ¶fer (1997). Navigation of a Kinematically Restricted Wheelchair by the Parti-Game Algorithm. In Spatial Reasoning in Mobile Robots and Animals, S. 35–45. AISB-97 Workshop, Manchester University.
	JÃ¶rg Kollmann, Axel Lankenau, Andreas BÃ¼hlmeier, Bernd Krieg-BrÃ¼ckner, Thomas RÃ¶fer (1997). Navigation of a Kinematically Restricted Wheelchair by the Parti-Game Algorithm. In Spatial Reasoning in Mobile Robots and Animals, AISB-97 Workshop, S. 35–44. Manchester University.
	S. Werner, B. Krieg-BrÃ¼ckner, H.A. Mallot, K. Schweitzer, C. Freksa (1997). Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation. In M. Jarke, K. Pasedach, K. Pohl (Hrsg.), Informatik Â´97, S. 41–50. Springer-Verlag, D-69121 Heidelberg, Germany.

1996 nach oben

	B. Krieg-BrÃ¼ckner (1996). Seven Years of COMPASS. In M. Haveraaen, O. Owe, O.-J. Dahl (Hrsg.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), Nr. 1130, S. 1–13, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Z. Qian, B. Krieg-BrÃ¼ckner (1996). Typed Object-Oriented Functional Programming with Late Binding. In Proc. 10th European Conf. on Object-Oriented Programming, Nr. 1098, S. 48–72, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Z. Qian, B. Krieg-BrÃ¼ckner (1996). Object-Oriented Functional Programming and Type Reconstruction. In M. Haveraaen, O. Owe, O.-J. Dahl (Hrsg.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), Nr. 1130, S. 458–477, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Z. Qian, B. Krieg-BrÃ¼ckner (1996). An Approach to Object-Oriented Functional Programming. In A. Pnueli, H. Lin (Hrsg.), Proc. 1995 Int'l. Workshop on Logic and Software Engineering, S. 71–89. World Scientific Publishing, Singapore.

1995 nach oben

	Bernd Krieg-BrÃ¼ckner, Christoph Herwig (Hrsg.) (1995). Tagungsband des Workshops Kognitive Robotik. Nr. ZKW Bericht Nr. 3/95. UniversitÃ¤t Bremen; Zentrum fÃ¼r Kognitionswissenschaften. Technical Report ZKW Bericht Nr. 3/95.
	B. Krieg-BrÃ¼ckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1995). Universelle Entwicklungsumgebung fÃ¼r Formale Methoden (UniForM Workbench). Nr. 8/95 Informatik Bericht. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report 8/95 Informatik Bericht.
	B. Krieg-BrÃ¼ckner, J. Liu, H. Shi, B. Wolff (1995). Towards Correct, Efficient and Reusable Transformational Developments. In M. Broy, S. JÃ¤hnichen (Hrsg.), KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Final Report., Nr. 1009, S. 270–284, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1994 nach oben

	B. Krieg-BrÃ¼ckner (Hrsg.) (1994). Programmentwicklung durch Spezifikation und Transformation â€” Bremer BeitrÃ¤ge zum Verbundprojekt KORSO (Korrekte Software); Band 2. Nr. Informatik Bericht 10/94. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report Informatik Bericht 10/94.
	Bernd Krieg-BrÃ¼ckner (Hrsg.) (1994). Graduiertenkolleg Raumorientierung und Handlungsorganisation Autonomer Systeme an der UniversitÃ¤t Bremen, Berichte der Arbeitsgruppen. Nr. ZKW Bericht Nr. 10/94. UniversitÃ¤t Bremen; Zentrum fÃ¼r Kognitionswissenschaften. Technical Report ZKW Bericht Nr. 10/94.
	B. Krieg-BrÃ¼ckner, W. Menzel (1994). System Architecture Framework for KORSO. In B. Krieg-BrÃ¼ckner (Hrsg.), Programmentwicklung durch Spezifikation und Transformation â€” Bremer BeitrÃ¤ge zum Verbundprojekt KORSO (Korrekte Software), Nr. 1/94, Informatik Bericht. ISSN 0722-8996. UniversitÃ¤t Bremen.
	B. Krieg-BrÃ¼ckner, J. Liu, H. Shi, B. Wolff (1994). Towards Correct, Efficient and Reusable Transformational Developments (extended version). In B. Krieg-BrÃ¼ckner (Hrsg.), Programmentwicklung durch Spezifikation und Transformation â€” Bremer BeitrÃ¤ge zum Verbundprojekt KORSO (Korrekte Software), Nr. 1/94, Informatik Bericht. ISSN 0722-8996. UniversitÃ¤t Bremen.

1993 nach oben

	B. Hoffmann, B. Krieg-BrÃ¼ckner (Hrsg.) (1993). PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Nr. 680, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1993). Introduction [to PROgram development by SPECification and TRAnsformation]. In B. Hoffmann, B. Krieg-BrÃ¼ckner (Hrsg.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, Nr. 680, S. 3–34, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, E.W. Karlsen, J. Liu, O. Traynor (1993). Uniform Transformational Development. In B. Hoffmann, B. Krieg-BrÃ¼ckner (Hrsg.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, Nr. 680, S. 317–330, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, J. Liu, B. Wolff, H. Shi (1993). Towards Correctness, Efficiency and Reusability of Transformational Developments. In H. Reichel (Hrsg.), Informatik â€” Wirtschaft â€” Gesellschaft, 23. GI Jahrestagung 1993, Dresden, FachgesprÃ¤ch "Spezifikation und Semantik", S. 241–252, Informatik aktuell. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1993). UniForM, Universal Formal Methods Workbench. In U. Grote, G. Wolf (Hrsg.), Statusseminar des BMBF: Softwaretechnologie, S. 337–356. Deutsche Forschungsanstalt fÃ¼r Luft- und Raumfahrt, Berlin.
	J. Liu, B. Krieg-BrÃ¼ckner (1993). Transformation. In B. Hoffmann, B. Krieg-BrÃ¼ckner (Hrsg.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, Nr. 680, S. 99–127, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1992 nach oben

	E.W. Karlsen, B. Krieg-BrÃ¼ckner, O. Traynor (1992). The PROSPECTRA System: A Unified Development Framework. In M. Nivat, C. Rattray, T. Rus, G. Scollo (Hrsg.), Algebraic Methodology and Software Technology (AMAST'91), Workshop in Computing, S. 421–433. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1992). ESPRIT vereint Europa. In Impulse aus der Forschung, UniversitÃ¤t Bremen, Band 13, S. 9–12.
	O. Traynor, J. Liu, B. Krieg-BrÃ¼ckner (1992). Knowledge-Based Transformational Programming. In In Proc. 4th International Conf. on Software Engineering and Knowledge Engineering, Capri, Italy.

1991 nach oben

	B. Krieg-BrÃ¼ckner, D. Plump (eds.) (1991). COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264). Final Report.. Nr. Informatik Bericht Nr. 7/91. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report Informatik Bericht Nr. 7/91.
	B. Krieg-BrÃ¼ckner (1991). Transformational Meta-Program Development. In M. Broy, M. Wirsing (Hrsg.), Methods of Programming, Nr. 544, S. 19–34, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, D. Sannella (1991). Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. In Proc. TAPSOFTÂ´91, Nr. 494, S. 313–336, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner, E.W. Karlsen, J. Liu, O. Traynor (1991). The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. In S. Prehn, W.J. Toetenel (Hrsg.), VDMâ€˜91, Formal Software Development Methods, Proc. 4th Intâ€˜l Symp. of VDM Europe, 2: Tutorials (552), S. 363–397, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1990 nach oben

	B. Krieg-BrÃ¼ckner (1990). PROgram development by SPECification and TRAnsformation (revised version, invited paper). In Technique et Science Informatiques: Special Issue on Advanced Software Engineering in ESPRIT, S. 134–149.
	B. Krieg-BrÃ¼ckner (1990). COMPASS, a COMPrehensive Algebraic approach for System Specification and development, ESPRIT Basic Research Working Group 3264. In EATCS Bulletin, Nr. 40, S. 144–157.
	B. Krieg-BrÃ¼ckner (1990). PROgram development by SPECification and TRAnsformation. In Baader (Hrsg.), Werkzeuge der Software-Verifikation.
	B. Krieg-BrÃ¼ckner (1990). PROgram development by SPECification and TRAnsformation. In G. Kahn (Hrsg.), Proc. Summer School on Programming Environments in ESPRIT (Sophia Antipolis).

1989 nach oben

	P. de la Cruz, B. Krieg-BrÃ¼ckner, A. Perez Riesco (1989). From Algebraic Specifications to Correct Ada Programs. In A. Alvarez (Hrsg.), Proc. Ada Europe Conf. 89 (Madrid), Ada Companion Series. Cambridge University Press.
	B. Krieg-BrÃ¼ckner (ed.) (1989). COMPASS, a COMPrehensive Algebraic approach to System Specification and development: Objectives, State of the Art, References. Nr. Informatik Bericht Nr. 6/89. Department of Computer Science; UniversitÃ¤t Bremen, Bibliothekstr. 1, 28359 Bremen. Technical Report Informatik Bericht Nr. 6/89.
	B. Krieg-BrÃ¼ckner (1989). Algebraic Specification and Functionals for Transformational Program and Meta-Program Development. In J. Diaz, F. Orejas (Hrsg.), Proc. TAPSOFT '89 (Barcelona), 2 (352), S. 36–59, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1989). Algebraic Specification with Functionals in Program Development by Transformation. In H. HÃ¼nke (Hrsg.), Proc. ESPRIT Conf. '89, S. 302–320. Kluwer Academic Publishers, Dordrecht, The Netherlands.

1988 nach oben

	B. Krieg-BrÃ¼ckner (1988). Algebraic Formalisation of Program Development by Transformation. In H. Ganzinger (Hrsg.), Proc. European Symp. On Programming '88, Nr. 300, S. 34–48, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1988). The PROSPECTRA Methodology of Program Development. In J. Zalewski (Hrsg.), Proc. IFIP/IFAC Working Conf. on Hardware and Software for Real Time Process Control (Warsaw), S. 257–271. North Holland.

1987 nach oben

	B. Krieg-BrÃ¼ckner (1987). An Introduction to Ada Language (adaptation to Chinese by Chen Zushun et. al.). In Computer Research and Development, Nr. 25:2, S. 37–53.
	B. Krieg-BrÃ¼ckner (1987). Systematic Transformation of Interface Specifications. In L. G. T. L. Meertens (Hrsg.), Program Specification and Transformation, Proc. IFIP TC2 Working Conf. (TÃ¶lz \'86), S. 269–291. North Holland.
	B. Krieg-BrÃ¼ckner, B. Hoffmann, H. Ganzinger, M. Broy, R. Wilhelm, U. MÃ¶ncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell, G. Winterstein (1987). PROgram development by SPECification and TRAnsformation. In M.W. Rogers (Hrsg.), Results and Achievements, Proc. ESPRIT Conf. '86, S. 301–312. North Holland.
	B. Krieg-BrÃ¼ckner (1987). Integration of Program Construction and Verification: the PROSPECTRA Methodology. In U. Montanari (Hrsg.), Innovative Software Factories and Ada. Proc. CRAI Int'l Spring Conf. '86, Nr. 275, S. 173–194, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1987). Formalisation of Developments: an Algebraic Approach. In M.W. Rogers (Hrsg.), Achievements and Impact, Proc. ESPRIT Conf. '87, S. 491–501. North Holland.
	D.C. Luckham, F.W. von Henke, B. Krieg-BrÃ¼ckner, O. Owe (1987). Anna, a Language for Annotating Ada Programs: Reference Manual. Nr. 260, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1986 nach oben

	B. Krieg-BrÃ¼ckner, H. Ganzinger, R. Wilhelm, M. Broy, U. MÃ¶ncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell, G. Winterstein (1986). PROgram development by SPECification and TRAnsformation in Ada/Anna. In P. Wallis (Hrsg.), Ada: Managing the Transition, Proc. Ada Europe Conf. 86 (Edinburgh), S. 249–260, Ada Companion Series. Cambridge University Press.
	B. Krieg-BrÃ¼ckner (1986). Korrekte Software durch PROSPECTRA. In Impulse aus der Forschung, UniversitÃ¤t Bremen, Band 2, S. 18–20.

1985 nach oben

	F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, R. Gnatz, F. Geiselbrechtinger, E. Hangel, W. Hesse, B. Krieg-BrÃ¼ckner, A. Laut, T.A. Matzner, B. MÃ¶ller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsin (1985). The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. 1 (183), Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1985). Transformation of Interface Specifications. In H.-J. Kreowski (Hrsg.), Recent Trends in Data Type Specification, Nr. 116, S. 156–170, Informatik Fachberichte.
	F.W. von Henke, D.C. Luckham, B. Krieg-BrÃ¼ckner, O. Owe (1985). Semantic Specification of Ada Packages. In J.G.P. Barnes, G.A. Fisher, jr (Hrsg.), Ada in Use, Proc. Ada IntÂ´l Conf. 85 (Paris), S. 185–198, Ada Companion Series. Cambridge University Press.

1984 nach oben

	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner, P. Partsch, P. Pepper, H. WÃ¶ssner (1984). Towards a Wide Spectrum Language to Support Program Specification and Program Development (russian translation). In W.H. Arafanova (Hrsg.), Anforderungen und Spezifikationen in der Programmentwicklung; eine Aufsatzsammlung, S. 28–46, Matematitscheskoje Objespjetschenije EWM. MIR, Moskau.
	B. Krieg-BrÃ¼ckner (1984). Types in the Programming Language Ada. In M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.), On Conceptual Modelling; Perspectives from Artificial Intelligence, Data Bases and Programming Languages, S. 385–408. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1984). Language Comparison and Source-to-Source Translation. In P. Pepper (Hrsg.), Program Transformation and Programming Environments, Band F8, S. 299–304, NATO ASI Series. Springer-Verlag, D-69121 Heidelberg, Germany.

1983 nach oben

	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1983). Reference Manual for the Ada Programming Language. Nr. ANSI/MIL-STD-1815A-1983, Ada Companion Series. American National Standards Institute, Washington.
	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1983). Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815A-1983. In M.W. Rogers (Hrsg.), The Programming Language Ada: Language, Compilers, Bibliography, Informatik Fachberichte. North Holland.
	B. Krieg-BrÃ¼ckner (1983). Consistency Checking in Ada and Anna: a Transformational Approach. In Ada LETTERS, Nr. 3:2, S. 46–54.

1981 nach oben

	F.L. Bauer, M. Broy, W. Dosch, R. Gnatz, F. Geiselbrechtinger, W. Hesse, B. Krieg- BrÃ¼ckner, A. Laut, T.A. Matznerand B. MÃ¶ller, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, H. Woessner (1981). Report on a Wide Spectrum Language for Program Specification and Development. Nr. TUM-I8104. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Technical Report TUM-I8104.
	F.L. Bauer, M. Broy, W. Dosch, T. Gnatz, B. Krieg-BrÃ¼ckner, A. Laut, D.C. Luckmann, M., T.A. Matzner, B. MÃ¶ller, H. Partsch, P. Pepper, K. Samelson, R. SteinbrÃ¼ggen, M. Wirsing, H. WÃ¶ssner (1981). Programming in a Wide Spectrum Language: a Collection of Examples. In Science of Computer Programming, Nr. 1, S. 73–114.
	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1981). Reference Manual for the Ada Programming Language: Proposed Standard Document. In The Ada Programming Language, Nr. 123, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	B. Krieg-BrÃ¼ckner (1981). Ada and the German Pay Phone: an Illustrative Example of Parallel Processing. In A.J.W. Duijvestijn, C.P. Lockemann (Hrsg.), Trends in Information Processing Systems, Nr. 123, S. 122–134, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1980 nach oben

	P.F. Albrecht, P.E. Garrison, S.L. Graham, R.H. Hyerle, P. Ip, B. Krieg-BrÃ¼ckner (1980). Source-to-Source Translation: Ada to Pascal and Pascal to Ada. In ACM SIGPLAN Notices, Nr. 15, S. 183–193.
	M. Broy, B. Krieg-BrÃ¼ckner (1980). Derivation of Invariant Assertions During Program Development by Transformation. In ACM Transactions on Programming Languages and Systems, Nr. 2, S. 321–337.
	V.D. Donzeau-Gouge, J.-C. Heliard, G. Kahn, B. Krieg-BrÃ¼ckner, B. Lang (1980). Formal Definition of the Ada Programming Language. Honeywell Inc., CII Honeywell Bull and INRIA, Le Chesnay. Preliminary Version.
	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1980). Reference Manual for the Ada Programming Language: Proposed Standard Document. Nr. 008-000-00354-8, Lecture Notes in Computer Science. Elsevier Science.
	B. Krieg-BrÃ¼ckner, D.C. Luckham (1980). Anna: Towards a Language for Annotating Ada Programs. In ACM SIGPLAN Notices, Nr. 15, S. 128–138.

1979 nach oben

	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner, P. Partsch, P. Pepper, H. WÃ¶ssner (1979). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In F.L. Bauer, M. Broy (Hrsg.), Program Construction, Nr. 69, S. 273–289, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	V.D. Donzeau-Gouge, G. Kahn, B. Krieg-BrÃ¼ckner, B. Lang (1979). Formal Definition of Ada. Honeywell Inc. and CII Honeywell Bull, Louveciennes. Interim Draft.
	J.D. Ichbiah, B. Krieg-BrÃ¼ckner, A. Wichmann, H.F. Ledgard, J.-C. Heliard, J.R. Abrial, J.P.G. Barnes, O. Roubine (1979). Preliminary Ada Reference Manual. In ACM SIGPLAN Notices, Nr. 14: 6 Part A.

1978 nach oben

	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner (1978). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In Proc. 5. Fachtagung Programmiersprachen GI (Braunschweig), S. 73–85. Springer-Verlag, D-69121 Heidelberg, Germany.
	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner (1978). A Wide Spectrum Language for Program Development. In B. Robinet (Hrsg.), Program Transformations: Proc. 3rd International Symposium on Programming (Paris), S. 1–15. Dunod, Paris.
	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner, P. Partsch, P. Pepper, H. WÃ¶ssner (1978). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In ACM SIGPLAN Notices, Nr. 13, S. 15–24.
	B. Krieg-BrÃ¼ckner (1978). Concrete and Abstract Specification and Program Development by Transformation. Nr. TUM-INFO-7805. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Dissertation TUM-INFO-7805.

1977 nach oben

	F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-BrÃ¼ckner (1977). Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Nr. TUM-INFO-7722. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Technical Report TUM-INFO-7722.
	B. Krieg-BrÃ¼ckner (1977). Prevention of Side-Effects from Functions. In Machine Oriented Languages Bulletin, IFIP WG 2.4 (6).

1974 nach oben

	F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig (1974). Language Layers, Portability and Program Structuring. In W.L. v.d. Poel, L.A. Maarsen (Hrsg.), Machine Oriented Higher Level Languages, S. 79–104. Elsevier Science.
	W. Hesse, F. Geiselbrechtinger, B. Krieg, H. Scheidig (1974). Report on the Programming Language L0. Nr. Bericht 7415. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Technical Report Bericht 7415.
	B. Krieg (1974). Increasing the Flexibility and Reliability of the Class Concept. Nr. Bericht 7429. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Technical Report Bericht 7429.
	B. Krieg, R. Gnatz, R. Hoellerer (1974). S0, a Low Level Systems Implementation Language. In GÃ¼nther et al. (Hrsg.), Proc. Int. Computing Symp. 1973 (Davos), S. 285–290. North Holland.
	B. Krieg (1974). A Class of Recursive Coroutines. In Proc. IFIP Congress 74 (Stockholm), S. 408–412. North Holland.

1973 nach oben

F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig (1973). Lo, the Basic Layer of the Wide Spectrum Language L. In W. Brauer (Hrsg.), 3. Jahrestagung GI, Nr. 1, S. 188–197, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1972 nach oben

R. Gnatz, R. Hoellerer, B. Krieg (1972). S0, eine niedere Programmiersprache. Nr. Bericht 7212. Technische UniversitÃ¤t MÃ¼nchen; Institut fÃ¼r Informatik. Manual Bericht 7212.

1971 nach oben

	B. Krieg (1971). Formal Definition of the Block Concept and some Implementation Models. Cornell University. Master's Thesis.
AusgewÃ¤hlte EintrÃ¤ge im BibTex-Format anzeigen

Autor: Prof. Dr. Bernd Krieg-Brückner

AG BKB

Zuletzt geändert am: 24. Januar 2003