Gerhard Goos 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Hack, Gerhard Goos: Copy coalescing by graph recoloring. PLDI 2008: 227-237
2006
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Hack, Daniel Grund, Gerhard Goos: Register Allocation for Programs in SSA-Form. CC 2006: 247-262
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Hack, Gerhard Goos: Optimal register allocation for SSA-form programs in polynomial time. Inf. Process. Lett. 98(4): 150-155 (2006)
2005
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElke Pulvermüller, Gerhard Goos, Uwe Aßmann: New software composition concepts. Sci. Comput. Program. 56(1-2): 1-4 (2005)
2004
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabine Glesner, Gerhard Goos, Wolf Zimmermann: Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it - Information Technology 46(5): 265-276 (2004)
2002
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Compiler Verification and Compiler Architecture. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
2001
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Issues in Compiling. J. UCS 7(5): 410-419 (2001)
2000
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos, Wolf Zimmermann: Verifying Compilers and ASMs. Abstract State Machines 2000: 177-202
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann: Construction of robust class hierarchies. Softw., Pract. Exper. 30(5): 481-543 (2000)
1999
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos, Wolf Zimmermann: Verification of Compilers. Correct System Design 1999: 201-230
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann: Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference 1999: 481-492
1997
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: From Programming Languages to Program Construction. JMLC 1997: 1-16
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Sather-K - The Language. Software - Concepts and Tools 18(3): 91-109 (1997)
1994
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Programmiertechnik zwischen Wissenschaft und industrieller Praxis. Informatik Spektrum 17(1): 11-20 (1994)
1990
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann Härtig, Winfried E. Kühnhauser, Oliver C. Kowalski, Wolfgang Lux, W. Reck, Hermann Streich, Gerhard Goos: The Architecture of the BIRLIX Operating System. ARCS 1990: 339-354
1987
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Hermann Streich, Gerhard Goos: Distribution and Recovery in the BirliX Operating System. Kommunikation in Verteilten Systemen 1987: 190-201
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos, Roland Dietrich, Peter Kursawe: Prolog-Arbeiten in Karlsruhe. Wissensbasierte Systeme 1987: 89-104
1986
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). IFIP Congress 1986: 1145-1146
1985
19no 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Position Paper: Contra sprachorientierte Programmierumgebungen. Programmierumgebungen und Compiler 1984: 276
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Programmiermethoden der künstlichen Intelligenz in der Software-Technik. Programmierumgebungen und Compiler 1984: 73-84
1983
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos, William A. Wulf, Arthur Evans Jr., Kenneth J. Butler: DIANA - An Intermediate Language for Ada, Revised Version Springer 1983
1982
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner: An Attribute Grammar for the Semantic Analysis of Ada Springer 1982
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Landwehr, Hans-Stephan Jansohn, Gerhard Goos: Erfahrungen mit einem automatischen Code-Generator-Generator. PASCAL 1982: 171-184
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein: An Attribute Grammar for Ada. SIGPLAN Symposium on Compiler Construction 1982: 334-348
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Landwehr, Hans-Stephan Jansohn, Gerhard Goos: Experience with an Automatic Code Generator Generator. SIGPLAN Symposium on Compiler Construction 1982: 56-66
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: ADA: Zweck, Entwicklung und Zukunft einer Programmiersprache. Angewandte Informatik 24(2): 80-89 (1982)
1981
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings Springer 1981
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos, Georg Winterstein: Problems in Compiling Ada. ECI 1981: 173-199
1979
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Informatik an der Schule? - Editorial. Informatik Spektrum 2(1): 1-3 (1979)
1976
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Einige Eigenschaften der Programmiersprache BALG. Fachtagung über Programmiersprachen 1976: 90-100
1974
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Systemprogrmmiersprachen und Strukturiertes Programmieren. Programming Methodology 1974: 203-224
1972
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Hierarchies. Advanced Course: Software Engineering 1972: 29-46
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Documentation. Advanced Course: Software Engineering 1972: 385-394
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Language Characteristics Programming Languages as a Tool in Writing System Software. Advanced Course: Software Engineering 1972: 47-69
1970
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos: Some Problems in Compiling Algol 68. ALGOL 68 Implementation 1970: 179-196
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Goos, Henry J. Bowlden, Paul Branquart, B. J. Mailloux, J. E. L. Peck, P. M. Woodward: Panel Discussion - Algol 68 Sublanguages. ALGOL 68 Implementation 1970: 265-281

Coauthor Index

1Uwe Aßmann [34]
2Henry J. Bowlden [1]
3Paul Branquart [1]
4Kenneth J. Butler [16]
5Manfred Dausmann [13] [15]
6Roland Dietrich [21]
7Sophia Drossopoulou [13] [15]
8Arthur Evans Jr. [16]
9Arne Frick [29]
10Thilo Gaul [27]
11Sabine Glesner [33]
12Wolfgang Goerigk [27]
13Daniel Grund [36]
14Sebastian Hack [35] [36] [37]
15Hermann Härtig (Hermann Haertig) [22] [23]
16Andreas Heberle [27]
17Stefan Jähnichen [19]
18Hans-Stephan Jansohn [12] [14]
19Walter Kirchgässner [15]
20Oliver C. Kowalski [23]
21Winfried E. Kühnhauser [22] [23]
22Peter Kursawe [21]
23Rudolf Landwehr [12] [14]
24Wolfgang Lux [22] [23]
25B. J. Mailloux [1]
26Rainer Neumann [29]
27J. E. L. Peck (John Edward Lancelot Peck) [1]
28Guido Persch [13] [15]
29Elke Pulvermüller (Elke Pulvermueller) [34]
30W. Reck [23]
31Hermann Streich [22] [23]
32James S. Uhl [13]
33Jürgen Uhl [15]
34Georg Winterstein [9] [13] [15]
35P. M. Woodward [1]
36William A. Wulf [16]
37Wolf Zimmermann [27] [28] [29] [30] [33]

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)