 | 2001 |
|---|
| 4 |       | Andreas Heberle,
Jörn Rehse,
Bernd Onasch,
Börje Sieling:
Utilizing Abstract WebEngineering Concepts: An Architecture.
HICSS 2001 |
| 2000 |
|---|
| 3 | | Andreas Heberle,
Welf Löwe,
Rainer Neumann,
Wolf Zimmermann:
Weak Subtyping and Genericity.
TOOLS (34) 2000: 149-158 |
| 1999 |
|---|
| 2 | | Andreas Heberle,
Thilo Gaul,
Wolfgang Goerigk,
Gerhard Goos,
Wolf Zimmermann:
Construction of Verified Compiler Front-Ends with Program-Checking.
Ershov Memorial Conference 1999: 481-492 |
| 1998 |
|---|
| 1 |  | Andreas Heberle,
Welf Löwe:
On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations.
Workshop on Abstract State Machines 1998: 68-90 |
