| Compiler construction WM Waite, G Goos Springer Science & Business Media, 2012 | 583 | 2012 |
| Informatik 1: Eine einführende Übersicht FL Bauer, G Goos Springer-Verlag, 2013 | 289 | 2013 |
| Natural language processing in medicine: an overview P Spyns Methods of information in medicine 35 (04/05), 285-301, 1996 | 239 | 1996 |
| Register allocation for programs in SSA-form S Hack, D Grund, G Goos Compiler Construction: 15th International Conference, CC 2006, Held as Part …, 2006 | 187 | 2006 |
| Vorlesungen über Informatik: Band 1: Grundlagen und funktionales Programmieren G Goos, W Zimmermann Springer-Verlag, 2006 | 169* | 2006 |
| Lecture notes in computer science G Goos, J Hartmanis, J Leeuwen Springer, 1973 | 157* | 1973 |
| Verification of compilers G Goos, W Znnmerrnaun Correct System Design: Recent Insights and Advances, 201-230, 2000 | 88 | 2000 |
| Compiler correctness and implementation verification: The verifix approach W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW von Henke, ... Proceedings of the Poster Session of CC 96, 1996 | 82 | 1996 |
| DIANA an intermediate language for ADA G Goos, WA Wulf, A Evans Jr, KJ Butler Springer Berlin Heidelberg, 1983 | 76 | 1983 |
| Optimal register allocation for SSA-form programs in polynomial time S Hack, G Goos Information Processing Letters 98 (4), 150-155, 2006 | 71 | 2006 |
| An attribute grammar for the semantic analysis of Ada J Uhl, S Drossopoulou, G Persch, G Goos, M Dausmann, G Winterstein, ... Springer Berlin Heidelberg, 1982 | 56 | 1982 |
| Diana: reference manual G Goos, WA Wulf Carnegie-Mellon Univ. Dept. Comput. Sci., 1981 | 53 | 1981 |
| Copy coalescing by graph recoloring S Hack, G Goos Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 39 | 2008 |
| Twenty years medical informatics education at Heidelberg/Heilbronn: Evolution of a specialized curriculum for medical informatics R Haux, FJ Leven Methods of information in medicine 33 (03), 285-289, 1994 | 35 | 1994 |
| Experience with an automatic code generator generator R Landwehr, HS Jansohn, G Goos Proceedings of the 1982 SIGPLAN symposium on Compiler construction, 56-66, 1982 | 33 | 1982 |
| Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Verifix: Construction and Architecture of … S Glesner, G Goos, W Zimmermann IT-Information Technology 46 (5), 265-276, 2004 | 32 | 2004 |
| Sather-K-the language G Goos Software-Concepts and Tools 18 (3), 91-109, 1997 | 30 | 1997 |
| Construction of verified compiler front-ends with program-checking A Heberle, T Gaul, W Goerigk, G Goos, W Zimmermann International Andrei Ershov Memorial Conference on Perspectives of System …, 1999 | 27 | 1999 |
| Hierarchies G Goos Software Engineering: An Advanced Course, 29-46, 1975 | 27 | 1975 |
| Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations G Goos, W Zimmermann International Workshop on Abstract State Machines, 177-202, 2000 | 24 | 2000 |
