The list of publications has its emphasis on the teaching and research
activities in Munich.
Habilitation and dissertation theses usually appear in a separate section.
Barendregt, H.; Nipkow T. (Eds.): Types for Proofs and Programs.
Springer, Heidelberg,1994 (Lecture Notes in Computer Science 806)
Bauer, F.L. (Ed.): Logic, Algebra and Computation. Springer, Berlin,
1991 (NATO ASI Ser. F 79)
Bauer, F.L.: Kryptologie. Methoden und Maximen. Springer, Berlin,
1993
2. Aufl. 1994
Bauer, F.L.: Andrei und das Untier - Sechs Lektionen Informatik.
Bayer. Schulbuchverlag, München, 1972
Andrei - Eine Geschichte um Mathematik und Informatik. Privatdruck,
1991
Bauer, F.L.: Entzifferte Geheimnisse. Methoden und Maximen der Kryptologie.
Springer, Berlin, 1995. 2. erw. Aufl. 1997 Engl. Übers.: Decrypted
Secrets. Methods and Maxims of Cryptology. Springer, Berlin, 1997
Bauer, F.L.; Berghammer, R.; Broy, M.; Dosch, W.; Geiselbrechtinger, F.;
Gnatz, R.; Hangel, E.; Hesse, W.; Krieg-Brückner, B.; Laut, A.; Matzner,
T.; Möller, B.; Nickl, F.; Partsch, H.; Pepper, P.; Samelson, K.;
Wirsing, M.; Wössner, H.: The Munich Project CIP. Vol. 1: The Wide
Spectrum Language CIP-L. Springer, Berlin, 1985 (Lecture Notes in Computer
Science 183)
Bauer, F.L.; Brauer, W.; Schwichtenberg, H. (Eds.): Logic and Algebra
of Specification.Springer, Berlin, 1993
Bauer, F.L.; Broy, M. (Eds.): Program construction. Springer, Berlin,
1979 (Lecture Notes in Computer Science 69)
Bauer, F.L.; Ehler, H.; Horsch, A.; Möller, B.; Partsch, H.; Paukner,
O.; Pepper, P.: The Munich Project CIP. Vol. 2: The Program Transformation
System CIP-S. Springer, Berlin, 1987 (Lecture Notes in Computer Science
292)
Baumgarten, U.: Ada. Eine Einführung. Addison-Wesley, Bonn,
1988
Bayer, R.; Graham, R.M.; Seegmüller, G. (Eds.): Operating Systems
- an Advanced Course. Springer, Berlin, 1978 (Lecture Notes in Computer
Science 60)
Bayer, R.; Härder, T.; Lockemann, P. (Eds.): Objektbanken für
Experten. Springer, Berlin, 1992 (Informatik Aktuell)
Bayer, R. (Ed.): Neue Informations- und Kommunikationstechnologien für
wissenschaftliche Bibliotheken. Bericht der IKB-Kommission / Bayerisches
Staatsministerium für Unterricht, Kultus, Wissenschaft und Kunst.
K.G. Saur, München, 1997
Bibel, W.; Jantke, K. (Eds.): Mathematical Methods of Specification
and Synthesis of Software Systems '85. Proc. of the Int. Spring School,
Wendisch-Rietz, GDR, 22.-26.4.85. Springer, Berlin, 1986 (Lecture Notes
in Computer Science 215)
Bibel, W.; Jorrand, P. (Eds.): Fundamentals of Artificial Intelligence.
An Advanced Course for AI. Vignieux, July 1985, Springer, Berlin, 1986
(Lecture Notes in Computer Science 232
Bibel, W.; Kowalski, R. (Eds.): 5th Conf. on Automated Deduction.
Springer, Berlin, 1980 (Lecture Notes in Computer Science 87)
Bibel, W.; Siekmann, J. (Eds.): Künstliche Intelligenz. Frühjahrsschule,
Teisendorf, März 1982. Springer, Berlin, 1982 (Informatik-Fachberichte
59)
Björner, D.; Broy, M.; Pottosin, I.V. (Eds.): Formal Methods in
Programming and their Application. Springer, Berlin, 1993 (Lecture
Notes in Computer Science 735)
Björner, B.; Broy, M.; Potosin, I.V. (Eds.): Perspectives of System
Informatics. 2nd Internat. Andrei Ershov Memorial Conf. Akademgorodok,
Novosibirsk, Russia, June 1996. Springer, Berlin, 1996 (Lecture Notes in
Computer Science 1181)
Bode, A. (Ed.): RISC-Architekturen, Systeme, optimierende Compiler,
Anwendungen, Leistungsmessung, Parallelismus. 2., überarb. u.
erw. Aufl. BI Wissenschaftsverlag, Mannheim, 1990 (Reihe Informatik 60)
Bode, A.: Lexikon Informatik und Kommunikationstechnik, Stichwörter
zum Fachgebiet Rechnerarchitektur und Hardware. VDI-Verlag, Düsseldorf,
1990
Bode, A. (Ed.): Distributed Memory Computing. Springer, Berlin,
1991 (Lecture Notes in Computer Science 487)
Bode, A.; Dal Cin, M. (Eds.): Parallel Computer Architectures, Theory,
Hardware, Software, Applications. Springer, Berlin, 1993 (Lecture Notes
in Computer Science 732)
Bode, A.; Dierstein, R.; Göbel, M.; Jaeschke, A. (Eds.): Visualisierung
von Umweltdaten in Computersystemen. Springer, Berlin, 1990 (Informatik-Fachberichte
230)
Bode, A.; Reeve, M.; Wolf, G. (Eds.): PARLE '93, Parallel Architectures
and Languages Europe. Springer, Berlin, 1993 (Lecture Notes in Computer
Science 694)
Bode, A.; J. Dongarra; T. Ludwig; V. Sunderam (Eds.): 3rd European Conf.
on Parallel Virtual Machine. EuroPVM '96, 7.-9.10.1996 München.
Springer, Berlin, 1996 (Lecture Notes in Computer Science 1156)
Bode, A.; M. Gerndt; R. G. Hackenberg; H. Hellwagner (Eds.): Proc. 1st
Internat. Workshop on High-Level Parallel Programming Models and Supportive
Environments. April 16th, Honolulu, Hawai. IEEE Press, Los Alamitos,
CA, 1996
Brauer, W.; Reisig, W.; Rozenberg, G.: Petri Nets - Central Models and
their Properties.
1. Teil; Petri Nets - Applications and Relationships to other
Models of Concurrency. 2. Teil; Proc. Advanced Course on Petri Nets, Bad Honnef, 8.-19.9.86.
Springer, Berlin, 1987 (Lecture Notes in Computer Science 254, 255)
Brauer, W.; Stetter, F.: Informatik und Schule 1989 - Zukunftsperspektiven
der Informatik für Schule und Ausbildung. GI-Fachtagung, München,
Nov. 89. Springer, Berlin, 1989 (Informatik-Fachberichte 220)
Breu, R.: Algebraic Specification Techniques in Object Oriented Programming
Environments. Springer, Berlin, 1991 (Lecture Notes in Computer Science
562)
Broy, M.: (Ed.): Control Flow and Data Flow: Concepts of Distributed
Programming. Springer, Berlin, 1985 (NATO ASI Ser. F 14)
Broy, M.(Ed.): Logic of Programming and Calculi of Discrete Design.
Springer, Berlin, 1987 (NATO ASI Ser. F 36)
Broy, M. (Ed.): Constructive Methods in Computing Science. Springer,
Berlin, 1989 (NATO ASI Ser. F 55)
Broy, M. (Ed.): Informatik und Mathematik. Springer, Berlin, 1991
Broy, M.: Informatik - eine grundlegende Einführung. Springer,
Berlin, Teil 1. 1992,
Teil 2. 1993, Teil 3. 1994, Teil 4. 1995, russ.
Übers. 1997
Broy, M. (Ed.): Programming and Mathematical Method. Springer, Berlin,
1992 (NATO ASI Ser. F 88)
Broy, M. (Ed.): Program Design Calculi. Springer, Berlin, 1993 (NATO
ASI Ser. F 118)
Broy, M.; Jones, C. (Eds.): Programming Concepts and Methods. IFIP
Working Group 2.2/2.3 Work. Conf., Israel, 1990. North-Holland, Amsterdam,
1991
Broy, M.; Merz, S.; Spies, K. (Eds.): Formal Systems Specification.
The RPC-Memory Specification Case Study. Springer, Berlin, 1996 (Lecture
Notes in Computer Science 1169)
Broy, M.; Schieder, B. (Eds.): Mathematical Methods in Program Development.
Springer, Berlin, 1997 (NATO ASI Ser. F 158
Broy, M.; Schmidt, G. (Eds.): Theoretical Foundations of Programming
Methodology. Lecture Notes of an Int. Summer School Directed by F.L.
Bauer, E.W. Dijkstra and C.A.R. Hoare. Reidel, Dordrecht, 1982 (NATO ASI
Ser. C 91)
Broy, M.; Wirsing, M. (Eds.): Methods of Programming. Springer,
Berlin, 1991 (Lecture Notes in Computer Science 544)
Brown, A.; Brüggemann-Klein, A.; Feng, A. (Eds.): Proc. of the
6th Internat. Conf. on Electronic Publishing, Document Manipulation and
Typography. EP '96. Wiley, New York, NY, 1996.
Bungartz, H.-J.; Griebel, M.; Zenger, C.: Einführung in die Computergraphik:
Grundlagen, Geometrische Modellierung, Algorithmen. Vieweg, Wiesbaden,
1996
Desel, J.; Esparza, J.: Free-Choice Petri Nets. Cambridge UP, Cambridge,
1995 (Cambridge Tracts in Theoretical Computer Science 40)
Diekert, V.: Combinatorics on Traces. Springer, Berlin, 1990 (Lecture
Notes in Computer Science 454)
Dirlich, G.; Freksa, C.; Schwatlo, U.; Wimmer, K. (Eds.): Kognitive
Aspekte der Mensch-Computer-Interaktion. Workshop München 12.-13.4.84,
Springer, Berlin, 1986 (Informatik-Fachberichte 120)
Donzeau-Gouge, V.; Heliard, J.-C.; Kahn, G.; Krieg-Brückner, B.; Lang,
B.: Formal Definition of the Ada Programming Language (Preliminary Version).
INRIA, Roquencourt, 1980
Endres, A.; Reetz, J. (Eds.): Textverarbeitung und Bürosysteme.
Informatik-Symposium 1981, Bad Neuenahr. Oldenbourg, München, 1982
(Fachberichte und Referate 13)
Endres, A.; Weber, H. (Eds.): Software Development Environments and
CASE Technology. Europ. Symp. 1991, Königswinter. Springer, Berlin,
1991 (Lecture Notes in Computer Science 509)
Enjalbert, P.; Mayr, E.W.; Wagner, K.W. (Eds.): Proc. of the 11th Symp.
on Theoretical Aspects of Computer Science, STACS '94, Caen, Februar
1994. Springer, Berlin, 1994 (Lecture Notes in Computer Science 775)
Faltings, B.; Struß, P. (Eds.): Recent Advances in Qualitative
Physics. MIT Press, Cambridge, MA, 1992
Fößmeier, R.: Die Schnittstellen von UNIX-Programmen.
Springer, Berlin, 1991
Freksa, C.; Habel, C. (Eds.): Repräsentation und Verarbeitung räumlichen
Wissens. Springer, Berlin, 1990 (Informatik-Fachberichte 254)
Fronhöfer, B.; Wrightson, G. (Eds.): Proc. of \ Parallelization
in Inference Systems. Dagstuhl, Dez. 1990. Springer, Berlin, 1992 (Lecture
Notes in Artificial Intelligence 598)
Furbach, U.: Logische und funktionale Programmierung. Vieweg, Braunschweig,
1991
Ganzha, V.; Vorozhtsov, E.V.: Computer-Aided Analysis of Difference
Schemes for Partial Differential Equations. Wiley, New York, 1996
Ganzha, V.; Vorozhtsov, E.V.: Numerical Solutions for Partial Differential
Equations: Problem Solving Using Mathematica. CRC Press, Boca Raton,
Florida, 1996
Gerner, N.; Hegering, H.-G.; Swoboda, J. (Eds.): Kommunikation in Verteilten
Systemen. ITG/GI-Fachtagung. Springer, Berlin, 1993 (Informatik Aktuell)
Greiner, M.; Tinhofer, G.: Stochastik für Studienanfänger
der Informatik. C. Hanser, München, 1996
Greiner, M.: Stochastik für Studierende der Informatik: ausgewählte
Aufgaben zur Vertiefung und Prüfungsvorbereitung. CS Press, München,
1997 (Beiträge zur Informatik-Ausbildung 1)
Griebel M.: Multilevelmethoden als Iterationsverfahren über Erzeugendensystemen.
Teubner, Stuttgart, 1994 (Teubner Skripten zur Numerik)
Griebel M.; Dornseifer Th.; Neunhöffer T.: Numerische Simulation
in der Strömungsmechanik - eine praxisorientierte Einführung.
Vieweg, Braunschweig, 1995
Griebel M.; Zenger Chr. (Eds.): Numerical Simulation in Science and
Engineering. Proc. of the Symp. on Scientific Computing, Munich, June
17-18 1993, Vieweg, Braunschweig, 1994, (Notes in Numerical Fluid Mechanics
48)
Hagg, E.: Realisierung von Multisensoranwendungen mit vernetzten logischen
Sensoren und Aktoren. Shaker, Aachen, 1993
Hegering, H.-G.; Yemini, Y. (Eds.): Integrated Network Management III.
North-Holland, Amsterdam, 1993
Hellwagner, H. (Ed.): 2nd Internat. Workshop on High-Level Parallel
Programming Models and Supportive Environments. HIPS '97, Geneva, Switzerland,
April 1st. IEEE Press, Los Alamitos, CA, 1997
Hentschel, B.; Gliss, H.; Bayer, R.; Dierstein, R.: Datenschutzfibel.
J. P. Bachem, Köln, 1974
Hern?ndez, D.: Qualitative Representation of Spatial Knowledge.
Springer, Berlin, 1994 (Lecture Notes in Artificial Intelligence 804)
Hommel, G.; Jähnichen, S.; Koster, C.H.A.: Methodisches Programmieren.
de Gruyter, Berlin, 1983 (de Gruyter-Lehrbuch)
Hommel, G.; Krönig, D. (Eds.): Requirements Engineering. Arbeitstagung
der GI, Friedrichshafen 12.-14.10.83. Springer, Berlin, 1983 (Informatik-Fachberichte
74)
Hoßfeld, F.; Maehle, E.; Mayr, E.W. (Eds.): Proc. of the 4th Workshop
on Parallel Systems and Algorithms, PASA \rq 96, Jülich, April
1996. World Scientific Publishing, Singapore, 1997
Karl, W.: Parallele Prozessorarchitekturen, Codegenerierung für
superskalare, superpipelined und VLIW-Prozessoren. BI Wissenschaftsverlag,
Mannheim, 1993 (Reihe Informatik 93)
Kitano, H.; Kumar, V.; Suttner, C.B. (Eds.): Parallel Processing for
AI Bd. 2. Elsevier, 1994
Koch, M.: Kooperation bei der Dokumentenbearbeitung: Entwicklung einer
Gruppeneditorumgebung für das Internet. Deutscher Universitätsverlag,
Wiesbaden, 1997
Krickhahn, R.; Radig, B.: Die Wissensrepräsentationssprache OPS
5: Sprachbeschreibung und Einführung in die regelorientierte Programmierung.
Vieweg, Braunschweig, 1987
Kurfeß, F.: Parallelism in Logic - Its Potential for Performance
and Program Development. Vieweg, Braunschweig, 1991 (Artificial Intelligence)
Lampson, B.W.; Paul, M.; Siegert, H.-J. (Eds.): Distributed Systems
- Architecture and Implementation. Springer, Berlin, 1981 (Lecture
Notes in Computer Science 105)
Ludwig, Th.: Automatische Lastverwaltung für Parallelrechner.
BI Wissenschaftsverlag, Mannheim, 1993 (Reihe Informatik 94)
Luksch, P.: Parallelisierung ereignisgetriebener Simulationsverfahren
auf Mehrprozessorsystemen mit verteiltem Speicher. Kovac, Hamburg,
1993
Mayr, E.W. (Ed.): Proc. of the 18th Internat. Workshop on Graph-Theoretic
Concepts in Computer Science. WG \rq 92 Wiesbaden-Naurod, June 1992.
Springer, Berlin, 1993 (Lecture Notes in Computer Science 657)
Mayr, E.W.; Noltemeier, H.; Syslo, M.; Tinhofer, G. (Eds.): Computational
Graph Theory. Springer, Berlin, 1990 (comp. sup. 7)
Mayr, E.W.; Puech, C. (Eds.): Proc. of the 12th Symp. on Theoretical
Aspects of Computer Science. STACS \rq 95, München März 1995.
Springer, Heidelberg, 1995 (Lecture Notes in Computer Science 900)
Mayr, E.W.; Schmidt, G.; Tinhofer, G. (Eds.): Proc. of the 20th Internat.
Workshop on\break Graph-Theoretic Concepts in Computer Science. Herrsching
Juni 1994. Springer, Heidelberg, 1994 (Lecture Notes in Computer Science
903)
Mitschang, B.: Anfrageverarbeitung in Datenbanksystemen: Entwurfs- und
Implementierungskonzepte. Vieweg, Braunschweig, 1995
Neuhold, E.J.; Paul, M. (Eds.): Formal Description of Programming Concepts.
Springer, Berlin, 1991 (IFIP state-of-the-art-report 9
Nowacki, H.; Gnatz, R. (Eds.): Geometrisches Modellieren. Fachtagung
der GI und der TU Berlin, Berlin 24.-26.11.82. Springer, Berlin, 1983 %,
399 S. (Informatik-Fachberichte 65)
Paul, M. (Ed.): Computerintegrierter Arbeitsplatz im Büro.
Proc. 17. GI-Jahrestagung, München. Springer, Berlin, 1987 (Informatik-Fachberichte
156).
Paul, M. (Ed.): Computerunterstützter Arbeitsplatz. Proc. 19.
GI-Jahrestagung, München 18.-20.10.89, Bd. 1 u. 2. Springer, Berlin,
1989 (Informatik-Fachberichte 222, 223)
Paul, M.; Siegert, H.-J. (Eds.): Distributed Systems - Methods and Tools
for Specification. Springer, Berlin, 1985 (Lecture Notes in Computer
Science 190)
Pepper, P. (Ed.): Program Transformation and Programming Environments.
Rep. on a Workshop directed by F. L. Bauer and H. Remus, München,
12.-16.9.83, Springer, Berlin, 1984 (NATO ASI Ser. F 8)
Radig, B. (Ed.): Modelle und Strukturen. DAGM-Symp. Hamburg, 1981,
Springer, Berlin, 1981 (Informatik-Fachberichte 49)
Reisig, W.: Systementwurf mit Netzen. Springer, Berlin, 1985
engl. Ausgabe: A Primer in Petri Net Design. Springer, Berlin,
1992
Reisig, W.; Girault, C. (Eds.): Application and Theory of Petri Nets:
Selected Papers from the 1st and 2nd Eur. Workshop. Straßburg
1980, Bad Honnef 1981. Springer, Berlin, 1982 (Informatik-Fachberichte
52)
Retti, J.; Bibel, W.; et al.: Artificial Intelligence - Eine Einführung.
Teubner, Stuttgart, 1984
Riloff, E.; Scheler, G.; Wermter, S. (Eds.): Connectionist, Statistical
and Symbolic Approaches to Learning for Natural Language Processing.
Springer, Berlin, 1996 (Lecture Notes in Computer Science 1040)
Röschke, D.; Sperl, M.; Voigtmann, T.: Einführung in die Programmierung
unter UNIX. Akademie Verlag, Heidelberg, 1996
Rüde, U.: Mathematical and Computational Techniques for Multilevel
Adaptive Methods. SIAM, Philadelphia, PA, 1993 (Frontiers in Applied
Mathematics 13)
Schmidt, G.; Ströhlein, T.: Relationen und Graphen. Springer,
Berlin, 1989 (Mathematik für Informatiker); engl. Übers. 1993
Schnekenburger, T; Stellner, G: Dynamic Load Distribution for Parallel
Applications. Teubner, Stuttgart, 1997 (Teubner-Texte zur Informatik)
Schrott, A.: Ein Verfahren zur visuellen Unterstützung des Greifvorgangs
bei Robotern basierend auf einer Greifer-Sensor-Koppelung. Shaker,
Aachen, 1994 (Reihe Informatik)
Schweiger, J.: Ein Formalismus für die Generierung von Expertensystemen
zur Lösung von Konfigurationsaufgaben aus konzeptuellen Spezifikationen
des Expertenwissens. Diss., Shaker, Aachen, 1994
Siegert, H.-J.: Betriebssysteme: eine Einführung. 3. Aufl.,
Oldenbourg, München, 1991
Slotosch, O.: Analogieschlüsse beim automatischen Beweisen.
Kovac, Hamburg, 1992
Sommerville, I.; Paul, M. (Eds.): Proc. of the 4th European Software
Engineering Conf. - ESEC '93. Garmisch-Partenkirchen, Sept. 1993, Springer,
Berlin, 1993 (Lecture Notes in Computer Science 717)