Manfred Broy

	2012
247		Manfred Broy: System Behaviour Models with Discrete and Dense Time. Advances in Real-Time Systems 2012: 3-25
246		Manfred Broy, Albert Endres: Mehr Lebensqualität dank Informatik. Informatik Spektrum 35(1): 34-38 (2012)
	2011
245		Manfred Broy, Christian Leuxner, Tony Hoare: Software and Systems Safety - Specification and Verification IOS Press 2011
244		Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree: Cross-layer analysis, testing and verification of automotive control software. EMSOFT 2011: 263-272
243		Manfred Broy: The Role of Requirements and Specification in Product Line Engineering. SPLC 2011: 3-7
242		Manfred Broy: Towards formal modeling of functional features and feature interactions in software intensive systems. SPLC Workshops 2011: 1
241		Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011). Software Engineering 2011: 198
240		Kim Lauenroth, Klaus Pohl, Wolfgang Böhm, Manfred Broy: Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020). Software Engineering 2011: 201
239		Manfred Broy: Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification. Software and Systems Safety - Specification and Verification 2011: 33-87
238		Manfred Broy: Can Practitioners Neglect Theory and Theoreticians Neglect Practice? IEEE Computer 44(10): 19-24 (2011)
237		Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner: Informatik in der Automobilindustrie. Informatik Spektrum 34(1): 1-5 (2011)
236		Manfred Broy, Günter Reichart, Lutz Rothhardt: Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung. Informatik Spektrum 34(1): 42-59 (2011)
235		Manfred Broy, María Victoria Cengarle: UML formal semantics: lessons learned. Software and System Modeling 10(4): 441-446 (2011)
	2010
234		Manfred Broy: Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. Concurrency, Compositionality, and Correctness 2010: 118-126
233		Daniel Méndez Fernández, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy: A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. MoDELS (2) 2010: 183-197
232		Manfred Broy, David Cruz, Martin Deubler, Kim Lauenroth, Klaus Pohl, Ernst Sikora: Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020). Software Engineering 2010: 240
231		Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung (SQMB). Software Engineering 2010: 250
230		Manfred Broy: Seamless Method- and Model-based Software and Systems Engineering. The Future of Software Engineering 2010: 33-47
229		Manfred Broy: A Logical Basis for Component-Oriented Software and Systems Engineering. Comput. J. 53(10): 1758-1782 (2010)
228		Manfred Broy, Ralf Reussner: Architectural Concepts in Programming Languages. IEEE Computer 43(10): 88-91 (2010)
227		Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit: Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda. Informatik Spektrum 33(1): 37-44 (2010)
226		Manfred Broy: Multifunctional software systems: Structured modeling and specification of functional requirements. Sci. Comput. Program. 75(12): 1193-1214 (2010)
	2009
225		Manfred Broy: From system requirements documents to integrated system modeling artifacts. ACM Symposium on Document Engineering 2009: 98
224		Manfred Broy: Seamless Model Driven Systems Engineering Based on Formal Models. ICFEM 2009: 1-19
223		Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider: Orchestration of Global Software Engineering Projects - Position Paper. ICGSE 2009: 332-337
222		Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter: Formalizing the notion of adaptive system behavior. SAC 2009: 1029-1033
221		Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung (SQMB 2009). Software Engineering 2009: 211-
220		Brian Berenbach, Manfred Broy: Professional and Ethical Dilemmas in Software Engineering. IEEE Computer 42(1): 74-80 (2009)
219		Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer: Toward a Holistic and Standardized Automotive Architecture Description. IEEE Computer 42(11): 98-101 (2009)
218		Manfred Broy, Albert Endres: Informatik überall, jederzeit und für alle. Informatik Spektrum 32(2): 153-162 (2009)
217		Herbert Weber, Manfred Broy: Systemorientiertes Automotive Engineering. Informatik Spektrum 32(3): 206-213 (2009)
216		Manfred Broy, Gheorghe Stefanescu: Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebr. Program. 78(2): 53 (2009)
	2008
215		Manfred Broy, Ingolf H. Krüger, Michael Meisinger: Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers Springer 2008
214		Manfred Broy, Reinhard Stolle, Alexandre Saad: 6.Workshop Automotive Software Engineering. GI Jahrestagung (2) 2008: 617-618
213		Manfred Broy: Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). ISoLA 2008: 1-13
212		Manfred Broy: Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität. Software Engineering 2008: 23
211		Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung. Software Engineering 2008: 295-297
210		Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone: Guest Editorial. Formal Asp. Comput. 20(4-5): 349-350 (2008)
209		Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova: On the correctness of upper layers of automotive systems. Formal Asp. Comput. 20(6): 637-662 (2008)
208		Arndt Bode, Manfred Broy, Uwe Dumslaff, Gregor Engels: Architektur & Management im Großen meistern. Informatik Spektrum 31(6): 523-525 (2008)
207		Manfred Broy: Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer. it - Information Technology 50(2): 135-136 (2008)
	2007
206		Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild: Service-Oriented Modeling of CoCoME with Focus and AutoFocus. CoCoME 2007: 177-206
205		Manfred Broy, Johannes Siedersleben, Clemens A. Szyperski: CoCoME Jury Evaluation and Conclusion. CoCoME 2007: 449-458
204		Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71
203		Manfred Broy: From "Formal Methods" to System Modeling. Formal Methods and Hybrid Real-Time Systems 2007: 24-44
202		Manfred Broy: Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. SERA 2007: 3-12
201		Manfred Broy: Interaction and Realizability. SOFSEM (1) 2007: 29-50
200		Manfred Broy, Ingolf H. Krüger, Michael Meisinger: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1): (2007)
199		Manfred Broy: Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones. ISSE 3(1): 75-102 (2007)
198		Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein: Das AutoMoDe-Projekt. Inform., Forsch. Entwickl. 22(1): 45-57 (2007)
197		Manfred Broy, Bernhard Rumpe: Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung. Informatik Spektrum 30(1): 3-18 (2007)
196		Manfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz: Ein Requirements-Engineering-Referenzmodell. Informatik Spektrum 30(3): 127-142 (2007)
195		Manfred Broy: Editorial comment to 'About "trivial" software patents: The IsNot case'. Sci. Comput. Program. 64(3): 263 (2007)
194		Manfred Broy: Editorial-Science of Computer Programming-25 years. Sci. Comput. Program. 66(2): 103-104 (2007)
	2006
193		Manfred Broy, Ingolf H. Krüger, Michael Meisinger: Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers Springer 2006
192		Manfred Broy: From Chaos to Undefinedness. Essays Dedicated to Joseph A. Goguen 2006: 476-496
191		Manfred Broy: Challenges in automotive software engineering. ICSE 2006: 33-42
190		Manfred Broy: Requirements Engineering as a Key to Holistic Software Quality. ISCIS 2006: 24-34
189		Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic: 2nd UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS Workshops 2006: 318-323
188		Manfred Broy: The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. SEW 2006: 85-88
187		Manfred Broy: The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. IEEE Computer 39(10): 72-80 (2006)
186		Manfred Broy, Matthias Jarke, Manfred Nagl, H. Dieter Rombach: Manifest*: Strategische Bedeutung des Software Engineering in Deutschland. Informatik Spektrum 29(3): 210-221 (2006)
185		Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz: SoSyM special section on service-based software engineering. Software and System Modeling 5(2): 170-171 (2006)
	2005
184		Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner: Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] Springer 2005
183		Manfred Broy: Automotive software and systems engineering (Panel). MEMOCODE 2005: 143-149
182		Manfred Broy: The Impact of Models in Software Development. Mechanizing Mathematical Reasoning 2005: 396-406
181		Dominikus Herzberg, Manfred Broy: Modeling layered distributed communication systems. Formal Asp. Comput. 17(1): 1-18 (2005)
180		Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle: Guest Editorial: Special Section on Interaction and State-Based Modeling. IEEE Trans. Software Eng. 31(12): 997-998 (2005)
179		Manfred Broy, Andreas Rausch: Das neue V-Modell® XT. Informatik Spektrum 28(3): 220-229 (2005)
178		Arndt Bode, Manfred Broy, Dirk Taubner: Software auf dem Weg zur Industrialisierung. Informatik Spektrum 28(4): 269 (2005)
177		Manfred Broy: A semantic and methodological essence of message sequence charts. Sci. Comput. Program. 54(2-3): 213-256 (2005)
	2004
176		Manfred Broy: A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. Architecting Systems with Trustworthy Components 2004: 26-47
175		Manfred Broy: Distributed Concurrent Object-Oriented Software. Essays in Memory of Ole-Johan Dahl 2004: 83-95
174		Manfred Broy: Architecture Driven Modeling in Software Development. ICECCS 2004: 3-12
173		Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy: Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. SoftSpez Final Report 2004: 29-47
172		Manfred Broy: Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. Electr. Notes Theor. Comput. Sci. 108: 3-9 (2004)
171		Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial. Formal Asp. Comput. 16(3): 165- (2004)
170		Karl-Rudolf Moll, Manfred Broy, Markus Pizka, Tilman Seifert, Klaus Bergner, Andreas Rausch: Erfolgreiches Management von Software-Projekten. Informatik Spektrum 27(5): 419-432 (2004)
	2003
169		Manfred Broy, Alexandre V. Zamulin: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers Springer 2003
168		Manfred Broy: Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. FORTE 2003: 48-61
167		Manfred Broy: Automotive Software Engineering. ICSE 2003: 719-720
166		Manfred Broy: Modular Hierarchies of Models for Embedded Systems. MEMOCODE 2003: 183-
165		Manfred Broy: Engineering Software Intensive Systems. SNPD 2003: 1-5
164		Manfred Broy: A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. Verification: Theory and Practice 2003: 161-181
163		Friedrich L. Bauer, Manfred Broy: Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. Acta Inf. 39(3): 141-142 (2003)
162		Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial: Where Theory and Practice Meet. Formal Asp. Comput. 15(4): 297-298 (2003)
161		Manfred Broy: Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern. Informatik Spektrum 26(1): 13-16 (2003)
160		Manfred Broy, Wolfgang Pree: Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme. Informatik Spektrum 26(1): 3-7 (2003)
	2002
159		Manfred Broy: Multi-view Modeling of Software Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 207-225
158		Manfred Broy: Message Sequence Charts in the Development Process - Role and Limitations. Electr. Notes Theor. Comput. Sci. 65(7): 18-33 (2002)
157		Manfred Broy, Johannes Siedersleben: Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung. Informatik Spektrum 25(1): 3-11 (2002)
156		Manfred Broy: Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen). Informatik Spektrum 25(5): 367-369 (2002)
155		Manfred Broy, H. Dieter Rombach: Software Engineering Wurzeln, Stand und Perspektiven. Informatik Spektrum 25(6): 438-451 (2002)
154		Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy: From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. International Journal of Software Engineering and Knowledge Engineering 12(2): 155-174 (2002)
153		Luqi, Manfred Broy: Software engineering beyond our planning horizon: automation for computer-based systems. Sci. Comput. Program. 42(1): 1-10 (2002)
	2001
152		Dines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Springer 2001
151		Manfred Broy, Oscar Slotosch: From Requirements to Validated Embedded Systems. EMSOFT 2001: 51-65
150		Manfred Broy: Specification and Modeling: An Academic Perspective. ICSE 2001: 673-675
149		H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas: Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE 2001: 698
148		Manfred Broy: Letter from the Editor. Acta Inf. 37(4/5): 227-228 (2001)
147		Manfred Broy, Susanne Hartkopf, Kirstin Kohler, H. Dieter Rombach: Germany: Combining Software and Application Competencies. IEEE Software 18(4): 93-95 (2001)
146		Manfred Broy: Toward a Mathematical Foundation of Software Engineering Methods. IEEE Trans. Software Eng. 27(1): 42-57 (2001)
145		Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin: Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999). Inform., Forsch. Entwickl. 16(1): 53-59 (2001)
144		Michael Friedewald, H. Dieter Rombach, Petra Stahl, Manfred Broy, Susanne Hartkopf, Simone Kimpeler, Kirstin Kohler, Robert Wucher, Peter Zoche: Softwareentwicklung in Deutschland, Eine Bestandsaufnahme. Informatik Spektrum 24(2): 81-90 (2001)
143		Manfred Broy: Refinement of time. Theor. Comput. Sci. 253(1): 3-26 (2001)
142		Manfred Broy, Gheorghe Stefanescu: The algebra of stream processing functions. Theor. Comput. Sci. 258(1-2): 99-129 (2001)
	2000
141		Dines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings Springer 2000
140		Manfred Broy, Martin Wirsing: Invited Talk: Algebraic State Machines. AMAST 2000: 89-188
139		Manfred Broy: The Essence of Message Sequence Charts. ISMSE 2000: 42-47
138		Manfred Broy: Software Engineering as a Modelling Process. JISBD 2000: 9
137		Detlef Schmid, Manfred Broy: . . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung. Informatik Spektrum 23(2): 109-117 (2000)
136		Manfred Broy: Algebraic specification of reactive systems. Theor. Comput. Sci. 239(1): 3-40 (2000)
	1999
135		Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy: A Formal Model for Componentware. FBT 1999: 17-26
134		Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy: Focusing on Mobility. HICSS 1999
133		Manfred Broy: From States to Histories. WADT 1999: 22-36
132		Birgit Schieder, Manfred Broy: Adapting Calculational Logic to the Undefined. Comput. J. 42(2): 73-81 (1999)
131		Luqi, Manfred Broy: Preface - Software Engineering to our Planning Horizon. Electr. Notes Theor. Comput. Sci. 25: 145-146 (1999)
130		Manfred Broy, Franz Huber, Bernhard Schätz: AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform., Forsch. Entwickl. 14(3): 121-134 (1999)
129		Manfred Broy, Joachim W. Schmidt: Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt). Informatik Spektrum 22(3): 206-209 (1999)
128		Manfred Broy: Software technology - formal methods and scientific foundations. Information & Software Technology 41(14): 947-950 (1999)
	1998
127		Manfred Broy, Bernhard Rumpe: Requirements Targeting Software and Systems Engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings Springer 1998
126		Radu Grosu, Gheorghe Stefanescu, Manfred Broy: Visual Formalisms Revisited. ACSD 1998: 41-51
125		Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72
124		Manfred Broy, Oscar Slotosch: Enriching the Software Development Process by Formal Methods. FM-Trends 1998: 44-61
123		Radu Grosu, Thomas Stauner, Manfred Broy: A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91
122		Manfred Broy, Ingolf Krüger: Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. ICFEM 1998: 2-
121		Manfred Broy: A Logical Basis for Modular Software and Systems Engineering. SOFSEM 1998: 19-35
120		Manfred Broy: A Functional Rephrasing of the Assumption/Commitment Specification Style. Formal Methods in System Design 13(1): 87-119 (1998)
119		Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plasil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski: What characterizes a (software) component? Software - Concepts and Tools 19(1): 49-56 (1998)
118		Manfred Broy: A uniform mathematical concept of a component (Appendix to M. Broy et al.: ``What characterizes a (software) component?''. Software - Concepts and Tools 19(1): 57-59 (1998)
	1997
117		Manfred Broy, Bernhard Rumpe: Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen. Springer 1997: I-IX, 1-355
116		Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt: Using Extended Event Traces to Describe Communication in Software Architectures. APSEC 1997: 203-212
115		Manfred Broy: Refinement of Time. ARTS 1997: 44-63
114		Manfred Broy: Compositional Refinement of Interactive Systems Modelled by Relations. COMPOS 1997: 130-149
113		Manfred Broy, Radu Grosu, Cornel Klein: Reconciling Real-Time with Asynchronous Message Passing. FME 1997: 182-200
112		Manfred Broy: Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. Foundations of Computer Science: Potential - Theory - Cognition 1997: 279-286
111		Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner: Innovation durch Kooperation im Software-Engineering. GI Jahrestagung 1997: 503-504
110		Peter Hubwieser, Manfred Broy: Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht. INFOS 1997: 40-50
109		Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies: Software and System Modeling Based on a Unified Formal Semantics. Requirements Targeting Software and Systems Engineering 1997: 43-68
108		Manfred Broy, Stefan Jähnichen: KORSO - Korrekte Software durch formale Methoden. Inform., Forsch. Entwickl. 12(3): 157-160 (1997)
107		Manfred Broy: Compositional refinement of interactive systems. J. ACM 44(6): 850-891 (1997)
106		Peter Hubwieser, Manfred Broy: Ein neuer Ansatz für den Informatikunterricht am Gymnasium. LOG IN 17(3/4): 42- (1997)
105		Manfred Broy: Towards a Mathematical Concept of a Component and its Use. Software - Concepts and Tools 18(3): 137- (1997)
	1996
104		Manfred Broy: Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany NATO ASI DPD 1996
103		Manfred Broy, Stephan Merz, Katharina Spies: Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994) Springer 1996
102		Dines Bjørner, Manfred Broy, Igor V. Pottosin: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings Springer 1996
101		Manfred Broy: Algebraic Specification of Reactive Systems. AMAST 1996: 487-503
100		Bernhard Schätz, Heinrich Hußmann, Manfred Broy: Graphical Development of Consistent System Specifications. FME 1996: 248-267
99		Manfred Broy: Formal Description Techniques - How Formal and Descriptive are they? FORTE 1996: 95-110
98		Manfred Broy: Specification and refinement of a buffer of length one. NATO ASI DPD 1996: 273-304
97		Manfred Broy: Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant. Formal Methods in System Design 8(3): 221-272 (1996)
	1995
96		Manfred Broy, Stefan Jähnichen: KORSO - Methods, Languages, and Tools for the Construction of Correct Software Springer 1995
95		Manfred Broy, Martin Wirsing: Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26
94		Manfred Broy: Mathematics of Software Engineering. MPC 1995: 18-48
93		Manfred Broy: Mathematical System Models as a Basis of Software Engineering. Computer Science Today 1995: 292-306
92		Michal Walicki, Manfred Broy: Structured Specifications and Implementation of Nondeterministic Data Types. Nord. J. Comput. 2(3): 358-395 (1995)
	1994
91		Manfred Broy: Equations for Describing Dynamic Nets of Communicating Systems. COMPASS/ADT 1994: 170-187
90		Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder: Interpreter Verification for a Functional Language. FSTTCS 1994: 77-88
89		Manfred Broy, Ketil Stølen: Specification and Refinement of Finite Dataflow Networks - a Relational Approach. FTRTFT 1994: 247-267
88		Manfred Broy, Leslie Lamport: The RPC-Memory Specification Problem - Problem Statement. Formal Systems Specification 1994: 1-4
87		Manfred Broy: A Functional Solution to the RPC-Memory Specification Problem. Formal Systems Specification 1994: 183-211
86		Manfred Broy, Stephan Merz, Katharina Spies: The RPC-Memory Case Study: A Synopsis. Formal Systems Specification 1994: 5-20
85		Manfred Broy: Advanced Component Interface Specification. Theory and Practice of Parallel Programming 1994: 369-392
84		Manfred Broy, Greg Nelson: Adding Fair Choice to Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 16(3): 924-938 (1994)
83		Manfred Broy: Professor Friedrich L. Bauer zum 70. Geburtstag. Informatik Spektrum 17(4): 258-259 (1994)
	1993
82		Dines Bjørner, Manfred Broy, Igor V. Pottosin: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings Springer 1993
81		Manfred Broy, Martin Wirsing: Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43
80		Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl: Semantics of PAnndA-S. PROSPECTRA Book 1993: 171-222
79		Manfred Broy: Functional Specification of Time-Sensitive Communicating Systems. ACM Trans. Softw. Eng. Methodol. 2(1): 1-46 (1993)
	1992
78		Manfred Broy, Thomas Streicher: Modular functional modelling of Petri nets with individual tokens. Advances in Petri Nets: The DEMON Project 1992: 70-88
77		Manfred Broy: Reliable Systems Enginerring (Position Statement). IFIP Congress (1) 1992: 683
76		Manfred Broy: Algebraic and Functional Specification of an Interactive Serializable Database Interface. Distributed Computing 6(1): 5-18 (1992)
75		Manfred Broy: Operational and denotational semantics with explicit concurrency. Fundam. Inform. 16(3-4): 201-229 (1992)
74		Freimut Bodendorf, Manfred Broy, Herbert Burkert, Albert Endres, Herbert Fiedler, V. Ilzhöfer, H. Kappus, Christoph Lingenfelder, C. Müller, Franz Stetter: Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz. Informatik Spektrum 15(2): 89-100 (1992)
73		Manfred Broy, Claus Dendorfer: Modelling Operating System Structures by Timed Stream Processing Functions. J. Funct. Program. 2(1): 1-21 (1992)
	1991
72		Manfred Broy, Martin Wirsing: Method of Programming, Selected Papers on the CIP-Project Springer 1991
71		Manfred Broy: Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. Methods of Programming 1991: 79-99
70		Manfred Broy: Towards a Formal Foundation of the Specification and Description Language SDL. Formal Asp. Comput. 3(1): 21-57 (1991)
69		Manfred Broy, Thomas Streicher: Specification and design of shared resource arbitration. International Journal of Parallel Programming 20(1): 1-22 (1991)
68		Manfred Broy, Christian Lengauer: On Denotational versus Predicative Semantics. J. Comput. Syst. Sci. 42(1): 1-29 (1991)
	1990
67		Manfred Broy: Methodological Objectives for Formal Description Techniques. FORTE 1990: 1-16
	1989
66		Manfred Broy: Functional Specification of Communicating Systems. IFIP Congress 1989: 851-856
65		Manfred Broy: Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering. IFIP Congress 1989: 953
64		Manfred Broy: Functional Specification of Time Sensitive Communicating Systems. REX Workshop 1989: 153-179
63		Martin Wirsing, Manfred Broy: A Modular Framework for Specification and Implementation. TAPSOFT, Vol.1 1989: 42-73
	1988
62		Manfred Broy: Requirement and Design Specification for Distributed Systems. Concurrency 1988: 33-62
61		Manfred Broy: Spezifikation und Entwurf komplexer, kausal vernetzter Systeme. GI Jahrestagung (1) 1988: 34-55
60		Manfred Broy, Martin Wirsing: Ultra-loose algebraic specifications. Bulletin of the EATCS 35: 117-127 (1988)
59		Manfred Broy: Broadcasting Buffering Communication. Comput. Lang. 13(1): 31-47 (1988)
58		Manfred Broy: Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly. Sci. Comput. Program. 10(1): 65-85 (1988)
57		Manfred Broy: Equational Specification of Partial Higher-Order Algebras. Theor. Comput. Sci. 57: 3-45 (1988)
	1987
56		Manfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987)
55		Manfred Broy: Semantics of Finite and Infinite Networks of Concurrent Communicating Agents. Distributed Computing 2(1): 13-31 (1987)
54		Manfred Broy: Predicative Specifications for Functional Programs Describing Communication Networks. Inf. Process. Lett. 25(2): 93-101 (1987)
53		Manfred Broy: Specification and Top-Down Design of Distributed Systems. J. Comput. Syst. Sci. 34(2/3): 236-265 (1987)
	1986
52		Manfred Broy, Alfons Geser, Heinrich Hußmann: Towards Advanced Programming Environments Based on Algebraic Concepts. Advanced Programming Environments 1986: 554-470
51		Manfred Broy: Partial Interpretations of Higher Order Algebraic Types (Extended Abstract). MFCS 1986: 29-43
50		Manfred Broy, Thomas Streicher: Views of Distributed Systems. Mathematical Models for the Semantics of Parallelism 1986: 114-143
49		Manfred Broy: Denotational Semantics of Communicating Sequential Programs. Inf. Process. Lett. 23(5): 253-259 (1986)
48		Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986)
47		Manfred Broy: A Theory for Nondeterminism, Parallelism, Communication, and Concurrency. Theor. Comput. Sci. 45(1): 1-61 (1986)
	1985
46		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 Springer 1985
45		Manfred Broy: Specification and Top Down Design of Distributed Systems. TAPSOFT, Vol.1 1985: 4-28
44		Manfred Broy: Rechnergestützte Systeme für den Programmentwurf. Wissensbasierte Systeme 1985: 58-69
43		Manfred Broy, Andrzej Tarlecki: Algebraic specification of the abstract data type "Continuum". Bulletin of the EATCS 26: 32-35 (1985)
42		Manfred Broy: On the Herbrand-Kleene Universe for Nondeterministic Computations. Theor. Comput. Sci. 36: 1-19 (1985)
	1984
41		Manfred Broy: On the Herbrand Kleene Universe for Nondeterministic Computations. MFCS 1984: 214-222
40		Manfred Broy: Denotational Semantics of Concurrent Programs with Shared Memory. STACS 1984: 163-173
39		Manfred Broy: Semantics of Communicating Processes Information and Control 61(3): 202-246 (1984)
38		Manfred Broy, Friedrich L. Bauer: A Systematic Approach to Language Constructs for Concurrent Programs. Sci. Comput. Program. 4(2): 103-139 (1984)
37		Manfred Broy, Martin Wirsing, C. Pair: A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984)
	1983
36		Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras. ADT 1983
35		Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras and Partial Interpretations. CAAP 1983: 1-34
34		Manfred Broy: Funktionales Programmieren - Programmieren mit Funktionalen. GI Jahrestagung 1983: 24-40
33		Manfred Broy: Applicative Real-Time Programming. IFIP Congress 1983: 259-264
32		Manfred Broy, Martin Wirsing: Algebraic Definition of a Functional Programming Language and Its Semantic Models. ITA 17(2): 137-161 (1983)
31		Manfred Broy: Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming. Inf. Process. Lett. 17(1): 29-35 (1983)
	1982
30		Manfred Broy, Peter Pepper: Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ACM Trans. Program. Lang. Syst. 4(3): 362-381 (1982)
29		Manfred Broy, Martin Wirsing: Partial Abstract Types. Acta Inf. 18: 47-64 (1982)
28		Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)
	1981
27		Manfred Broy, Martin Wirsing: On the Algebraic Specification of Nondeterministic Programming Languages. CAAP 1981: 162-179
26		Manfred Broy: On language constructs for concurrent programs. CONPAR 1981: 141-154
25		Manfred Broy: Prospects of New Tools for Software Development. ECI 1981: 106-121
24		Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing: GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung 1981: 109-121
23		Manfred Broy: Are Fairness Assumptions Fair? ICDCS 1981: 116-125
22		Manfred Broy, Martin Wirsing: On the Algebraic Extensions of Abstract Data Types. ICFPC 1981: 244-251
21		Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing: On the Power of Algebraic Specifications. MFCS 1981: 193-204
20		Manfred Broy, Peter Pepper: Program Development as a Formal Activity. IEEE Trans. Software Eng. 7(1): 14-23 (1981)
19		Manfred Broy, Rupert Gnatz, Martin Wirsing: Nichtdeterminismus - Das aktuelle Schlagwort. Informatik Spektrum 4(2): 125-126 (1981)
18		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)
	1980
17		Manfred Broy, Martin Wirsing: Programming languages as abstract data types. CLAAP 1980: 160-177
16		Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
15		Martin Wirsing, Manfred Broy: Abstract Data Types as Lattices of Finitely Generated Models. MFCS 1980: 673-685
14		Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. Symposium on Programming 1980: 59-78
13		Manfred Broy: Zur Spezifikation von Programmen für die Textverarbeitung. Textverarbeitung und Informatik 1980: 75-93
12		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)
11		Manfred Broy, Martin Wirsing: Program Development: From Enumeration to Backtracking. Inf. Process. Lett. 10(4/5): 193-197 (1980)
10		Manfred Broy: Transformational Semantics for Concurrent Programs. Inf. Process. Lett. 11(2): 87-91 (1980)
9		Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper: Programmtransformationen - Das aktuelle Schlagwort. Informatik Spektrum 3(3): 192-193 (1980)
	1979
8		Friedrich L. Bauer, Manfred Broy: Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany Springer 1979
7		Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
6		Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Remy: Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8(5): 224-229 (1979)
	1978
5		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
4		Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner: Systematics of Transformation Rules. Program Construction 1978: 273-289
3		Helmuth Partsch, Manfred Broy: Examples for Change of Types and Object Structures. Program Construction 1978: 421-463
2		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
1		Manfred Broy, Rupert Gnatz, Martin Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592

Coauthor Index

1	Kamel Barkaoui	[210]
2	Christian Bartelt	[223]
3	Friedrich L. Bauer	[2] [4] [5] [8] [9] [18] [28] [38] [46] [163]
4	Andreas Bauer (Andreas Klaus Bauer)	[198]
5	Klaus Beetz	[196]
6	Brian Berenbach	[220]
7	Rudolf Berghammer	[46]
8	Klaus Bergner	[134] [135] [170]
9	Jan A. Bergstra	[21]
10	Dines Bjørner	[82] [102] [141] [152]
11	Arndt Bode	[178] [208]
12	Freimut Bodendorf	[74]
13	Wolfgang Böhm	[240]
14	Jewgenij Botaschanjan	[209]
15	Peter Braun	[198]
16	Michael Breu	[80]
17	Ruth Breu	[145]
18	Herbert Burkert	[74]
19	Ana Cavalcanti	[210]
20	María Victoria Cengarle	[235]
21	Antonio Cerone	[210]
22	Samarjit Chakraborty	[244]
23	Michelle L. Crane	[189]
24	David Cruz	[232]
25	Anton Deimel	[119]
26	Florian Deißenböck (Florian Deissenboeck)	[211] [221] [227] [231] [241]
27	Claus Dendorfer	[73]
28	Martin Deubler	[232]
29	Jürgen Dingel	[189]
30	Walter Dosch	[7] [18] [24] [28] [46]
31	Uwe Dumslaff	[208]
32	Herbert Ehler	[111]
33	Albert Endres	[74] [218] [246]
34	Gregor Engels	[208]
35	Michael Evangelist	[149]
36	Daniel Méndez Fernández	[233]
37	Herbert Fiedler	[74]
38	Jean-Pierre Finance	[6]
39	Jorge Fox	[206]
40	Ulrich Freund	[198]
41	Michael Friedewald	[144]
42	Eva Geisberger	[196]
43	Franz Geiselbrechtinger	[46]
44	Alfons Geser	[52]
45	Mario Gleirscher	[219]
46	Rupert Gnatz	[1] [2] [5] [18] [19] [46]
47	Dip Goswami	[244]
48	Radu Grosu	[113] [123] [125] [126] [134]
49	Alexander Gruler	[209]
50	Thomas Grünler	[80]
51	E. Hangel	[46]
52	Alexander Harhurin	[209]
53	Susanne Hartkopf	[144] [147]
54	Alan Hartman	[189]
55	Juergen Henn	[119]
56	Christoph Herrmann	[223]
57	Dominikus Herzberg	[181]
58	Wolfgang Hesse	[2] [5] [46]
59	Ursula Hinkel	[90]
60	C. A. R. Hoare (Tony Hoare)	[245]
61	Christoph Hofmann	[116]
62	Florian Hölzl	[206]
63	Franz Huber	[109] [130] [145]
64	Peter Hubwieser	[106] [110]
65	Heinrich Hußmann (Heinrich Hussmann)	[52] [100] [185]
66	V. Ilzhöfer	[74]
67	Stefan Jähnichen	[96] [108]
68	Matthias Jarke	[186]
69	Bengt Jonsson	[184]
70	H. Kappus	[74]
71	Joost-Pieter Katoen	[184]
72	Jürgen Kazmeier	[196]
73	Simone Kimpeler	[144]
74	Michael Kläs (Michael Klaes)	[227]
75	Cornel Klein	[113]
76	Peter Kluge	[219]
77	Steffen Knapp	[209]
78	Eric Knauss	[223]
79	Leonid Kof	[209]
80	Kirstin Kohler	[144] [147]
81	Kai Koskimies	[119]
82	Dagmar Koss	[206]
83	Wolfgang Krenzer	[219]
84	Bernd Krieg-Brückner	[2] [5] [12] [18] [46]
85	Ingolf Krüger (Ingolf H. Krüger)	[116] [122] [125] [145] [154] [173] [180] [185] [193] [200] [204] [215]
86	Marco Kuhrmann	[206] [223] [233]
87	Leslie Lamport	[88]
88	Kim Lauenroth	[232] [240]
89	Alfred Laut	[18] [46]
90	Christian Lengauer	[68]
91	Martin Leucker	[184]
92	Christian Leuxner	[222] [245]
93	Peter Liggesmeyer	[211] [221] [227] [231] [241]
94	Christoph Lingenfelder	[74]
95	M. Luckmann	[18]
96	Luqi	[131] [153]
97	Gerald Lüttgen	[162] [171]
98	Pierre Mai	[198]
99	Nuria Mata	[198]
100	Thomas Matzner	[18] [46]
101	Michael Meisinger	[193] [200] [206] [215]
102	Michael Mendler	[162] [171]
103	Stefano Merenda	[219]
104	Stephan Merz	[86] [103]
105	Ali Mili	[149]
106	Karl-Rudolf Moll	[170]
107	Bernhard Möller	[18] [24] [46] [48]
108	Klaus Hardy Mühleck	[237]
109	C. Müller	[74]
110	Jürgen Münch	[211] [221] [227] [231] [241]
111	Manfred Nagl	[186]
112	Greg Nelson	[84]
113	Friederike Nickl	[46] [80]
114	Tobias Nipkow	[90]
115	Leon J. Osterweil	[149]
116	Barbara Paech	[109] [111]
117	C. Pair	[37]
118	David Lorge Parnas	[149]
119	Helmuth Partsch	[2] [3] [4] [7] [9] [16] [18] [28] [46]
120	Wolfgang J. Paul	[209]
121	Birgit Penzenstadler	[206] [233]
122	Peter Pepper	[2] [4] [7] [9] [14] [16] [18] [20] [28] [30] [46] [48] [56]
123	Markus Pizka	[170]
124	Frantisek Plasil	[119]
125	Klaus Pohl	[232] [240]
126	Gustav Pomberger	[119]
127	Igor V. Pottosin	[82] [102]
128	Wolfgang Pree	[119] [160] [244]
129	Christian Prehofer	[90]
130	Wolfgang Prenninger	[154] [173]
131	Alexander Pretschner	[184] [204]
132	Alain Quéré	[6]
133	S. Ramesh (Sethu Ramesh)	[244]
134	Andreas Rausch	[134] [135] [170] [179] [223]
135	Günter Reichart	[236]
136	Jean-Luc Remy	[6]
137	Stefan Resmerita	[244]
138	Ralf Reussner (Ralf H. Reussner)	[228]
139	Sabine Rittmann	[206]
140	H. Dieter Rombach	[144] [147] [149] [155] [186]
141	Jan Romberg	[198]
142	Lutz Rothhardt	[236]
143	Arnold Rudorfer	[196]
144	Bernhard Rumpe	[109] [117] [127] [145] [189] [197] [223]
145	Alexandre Saad	[214]
146	Klaus Samelson	[18] [46]
147	Robert Sandner	[154] [173] [198]
148	Manoranjan Satpathy	[244]
149	Bernhard Schätz	[100] [130] [185] [198] [206]
150	Birgit Schieder	[90] [132]
151	Detlef Schmid	[137]
152	Alexander Schmidt	[134]
153	Joachim W. Schmidt	[129]
154	Monika Schmidt	[116]
155	Kurt Schneider	[223]
156	Peter Scholz	[125] [134]
157	Wolfgang Schwerin	[145]
158	Tilman Seifert	[170]
159	Bran Selic	[189]
160	Johannes Siedersleben	[157] [205]
161	Marc Sihling	[135]
162	Ernst Sikora	[232]
163	Wassiou Sitou	[222]
164	Oscar Slotosch	[124] [151]
165	Bernd Spanfelner	[222]
166	Maria Spichkova	[206] [209]
167	Katharina Spies	[86] [103] [109]
168	Petra Stahl	[144]
169	Michael Stal	[119]
170	Thomas Stauner	[123] [204]
171	Gheorghe Stefanescu	[126] [142] [216]
172	Ralf Steinbrüggen	[18]
173	Franz Stetter	[74]
174	Ketil Stølen	[89]
175	Reinhard Stolle	[214]
176	Thomas Streicher	[50] [69] [78]
177	Jonathan Streit	[227]
178	Clemens A. Szyperski	[119] [205]
179	Andrzej Tarlecki	[43]
180	Dirk Taubner	[178] [237]
181	Veronika Thurner	[111]
182	J. V. Tucker (John V. Tucker)	[21]
183	Sebastián Uchitel	[180]
184	Alexander Vilbig	[135]
185	Stefan Wagner	[211] [221] [227] [231] [241]
186	Michal Walicki	[92]
187	Herbert Weber	[217]
188	Jon Whittle (Jonathan Whittle)	[180]
189	Doris Wild	[206] [219]
190	Sebastian Winter	[222]
191	Martin Wirsing	[1] [6] [7] [11] [14] [15] [16] [17] [18] [19] [21] [22] [24] [27] [28] [29] [32] [35] [36] [37] [46] [48] [56] [60] [63] [72] [81] [95] [140]
192	Hans Wössner	[2] [4] [18] [46]
193	Robert Wucher	[144]
194	Alexandre V. Zamulin	[141] [152] [169]
195	Dirk Ziegenbein	[198]
196	Peter Zoche	[144]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page