Stefan Jähnichen

2008
26	EE	Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter: Manifest: Strategische Bedeutung des Software Engineering für die Medizin. Computer Science - Research and Development 22(3): 127-135 (2008)
25	EE	Stefan Jähnichen: Editorial. Informatik Spektrum 31(2): 113 (2008)
2007
24		Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter: Strategische Bedeutung des Software Engineering für die Medizin. Software Engineering 2007: 25-28
2005
23	EE	Matthias Hoche, Stefan Jähnichen: Modeling Constraint Programs with Software Technology Standards. CP 2005: 850
22	EE	Henry Müller, Stefan Jähnichen: GOOSE - A Generic Object-Oriented Search Environment. CP 2005: 863
21		Stefan Jähnichen: Modellierung gemischt kontinuierlich-diskreter Systeme. Software Engineering 2005: 17-
2004
20	EE	Theo Härder, Stefan Jähnichen: Editorial. Inform., Forsch. Entwickl. 18(3-4): 103-104 (2004)
2003
19		Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao: Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings Springer 2003
2002
18	EE	Stefan Jähnichen, Stephan Herrmann: Was, bitte, bedeutet Objektorientierung? Informatik Spektrum 25(4): 266-276 (2002)
1999
17		Stefan Jähnichen: Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings Springer 1999
16		Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke: Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. German-Argentinian Workshop on Information Technology 1999: 23-30
1997
15	EE	K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, W. Pfannenstiel, Martin Simons: Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC 1997: 66-73
14	EE	Viktor Friesen, Stefan Jähnichen, Matthias Weber: Specification of Software Controlling a Discrete-Continuous Environment. ICSE 1997: 315-325
13		Maritta Heisel, Stefan Jähnichen: A Two-Layered Approach to Support Systematic Software Development. Requirements Targeting Software and Systems Engineering 1997: 179-202
12		Manfred Broy, Stefan Jähnichen: KORSO - Korrekte Software durch formale Methoden. Inform., Forsch. Entwickl. 12(3): 157-160 (1997)
1995
11		Manfred Broy, Stefan Jähnichen: KORSO - Methods, Languages, and Tools for the Construction of Correct Software Springer 1995
10		Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238
1994
9		Matthias Anlauff, Stefan Jähnichen, Martin Simons: An experimental support system for formal mathematical reasoning. FME 1994: 421-440
1993
8		Herbert G. Mayer, Stefan Jähnichen: The Data-Parallel Ada Run-Time System, Simulation and Empirical Results. IPPS 1993: 621-627
7		Boris Groth, Stefan Jähnichen, Wilfried Koch: Software und Softwaretechnik. Perspektiven der Informatik 1993: 76-83
1989
6		Robert Gabriel, Stefan Jähnichen: The ToolUse Approach to Integration. SEE 1989: 167-178
1986
5		Stefan Jähnichen, C. Kordecki: Object-Oriented Synchronization in Distributed Multi-Processor Systems. ARCS 1986: 208-221
4		Stefan Jähnichen, Fatima Ali Hussain, Matthias Weber: Program Development by Transforamtion and Refinement. Advanced Programming Environments 1986: 471-486
1985
3		Stefan Jähnichen, Gerhard Goos: Towards an alternative model for software development. ISPW 1985: 66-70
1984
2		Stefan Jähnichen, K. Kleine, Guido Persch: Aspekte der Konstruktion robuster Software. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 39-50
1976
1		Günter Hommel, Stefan Jähnichen, Wilfried Koch: SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung. Fachtagung über Programmiersprachen 1976: 101-110

Coauthor Index

1	Matthias Anlauff	[9]
2	K. T. P. Au	[15]
3	Gabriel Baum (Gabriel A. Baum)	[16]
4	Martin Beyer	[10]
5	Manfred Broy	[11] [12]
6	Robert Büssow	[16]
7	Jiannong Cao	[19]
8	Manuel M. T. Chakravarty	[15]
9	John Darlington	[15]
10	Hartmut Ehrig	[16]
11	Miguel Felder	[16]
12	Viktor Friesen	[14]
13	Robert Gabriel	[6]
14	Robert Geisler	[16]
15	Sabine Glesner	[24] [26]
16	Gerhard Goos	[3]
17	Boris Groth	[7]
18	Yike Guo	[15]
19	Theo Härder	[20]
20	Maritta Heisel	[13]
21	Stephan Herrmann	[18]
22	Matthias Hoche	[23]
23	Günter Hommel	[1]
24	Fatima Ali Hussain	[4]
25	Florian Kammüller	[10]
26	Gabriele Keller	[15]
27	Marcus Klar	[16]
28	K. Kleine	[2]
29	Wilfried Koch	[1] [7]
30	Martin Köhler	[15]
31	C. Kordecki	[5]
32	Ralf-Detlef Kutsche	[16]
33	Stefan Mann	[16]
34	Herbert G. Mayer	[8]
35	Henry Müller	[22]
36	Barbara Paech	[24] [26]
37	Guido Persch	[2]
38	W. Pfannenstiel	[15]
39	Claudia Pons	[16]
40	Bernhard Rumpe	[24] [26]
41	Thomas Santen	[10]
42	Martin Simons	[9] [15]
43	Sergio Waldoke	[16]
44	Herbert Weber	[16]
45	Matthias Weber	[4] [14]
46	Thomas Wetter	[24] [26]
47	Alfred Winter	[24] [26]
48	Ming Xu	[19]
49	Xingming Zhou	[19]

Colors in the list of coauthors