Stefan Jähnichen Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabine 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)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jähnichen: Editorial. Informatik Spektrum 31(2): 113 (2008)
2007
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabine 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Hoche, Stefan Jähnichen: Modeling Constraint Programs with Software Technology Standards. CP 2005: 850
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry Müller, Stefan Jähnichen: GOOSE - A Generic Object-Oriented Search Environment. CP 2005: 863
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jähnichen: Modellierung gemischt kontinuierlich-diskreter Systeme. Software Engineering 2005: 17-
2004
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheo Härder, Stefan Jähnichen: Editorial. Inform., Forsch. Entwickl. 18(3-4): 103-104 (2004)
2003
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXingming 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jähnichen, Stephan Herrmann: Was, bitte, bedeutet Objektorientierung? Informatik Spektrum 25(4): 266-276 (2002)
1999
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Friesen, Stefan Jähnichen, Matthias Weber: Specification of Software Controlling a Discrete-Continuous Environment. ICSE 1997: 315-325
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaritta Heisel, Stefan Jähnichen: A Two-Layered Approach to Support Systematic Software Development. Requirements Targeting Software and Systems Engineering 1997: 179-202
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Broy, Stefan Jähnichen: KORSO - Korrekte Software durch formale Methoden. Inform., Forsch. Entwickl. 12(3): 157-160 (1997)
1995
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Broy, Stefan Jähnichen: KORSO - Methods, Languages, and Tools for the Construction of Correct Software Springer 1995
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238
1994
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Anlauff, Stefan Jähnichen, Martin Simons: An experimental support system for formal mathematical reasoning. FME 1994: 421-440
1993
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert G. Mayer, Stefan Jähnichen: The Data-Parallel Ada Run-Time System, Simulation and Empirical Results. IPPS 1993: 621-627
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Groth, Stefan Jähnichen, Wilfried Koch: Software und Softwaretechnik. Perspektiven der Informatik 1993: 76-83
1989
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Gabriel, Stefan Jähnichen: The ToolUse Approach to Integration. SEE 1989: 167-178
1986
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jähnichen, C. Kordecki: Object-Oriented Synchronization in Distributed Multi-Processor Systems. ARCS 1986: 208-221
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jähnichen, Fatima Ali Hussain, Matthias Weber: Program Development by Transforamtion and Refinement. Advanced Programming Environments 1986: 471-486
1985
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jähnichen, Gerhard Goos: Towards an alternative model for software development. ISPW 1985: 66-70
1984
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jähnichen, K. Kleine, Guido Persch: Aspekte der Konstruktion robuster Software. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 39-50
1976
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGü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

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

Colors in the list of coauthors

Copyright © Mon Nov 23 18:13:59 2009 by Michael Ley (ley@uni-trier.de)