- CSB - MetaPress - Google - Bing - Yahoo
 | 1991 | |
|---|---|---|
| c7 |      | Wolfgang Henhapl, Stefan Kaes, Gregor Snelting: Utilizing Fifth Generation Technology in Software Development Tools. Software Development Environments and CASE Technology 1991: 153-166 |
| 1986 | ||
| c6 | | Gregor Snelting, Wolfgang Henhapl: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. POPL 1986: 229-235 |
| 1984 | ||
| c5 |  | M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting: Industrieprogramm: PSG. Programmierumgebungen und Compiler 1984: 285-291 |
| c4 | | Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas: On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155 |
| c3 | | Wolfgang Henhapl, Gregor Snelting: Context Relations - a Concept for Incremental Context Analysis in Program Fragments. Fachtagung über Programmiersprachen 1984: 128-143 |
| 1980 | ||
| c2 | | Burkhard Austermühl, Wolfgang Henhapl: A Critical Review of PASCAL on a Formal Storage Model. Fachtagung über Programmiersprachen 1980: 57-69 |
| 1978 | ||
| c1 | | Wolfgang Henhapl, Cliff B. Jones: A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language 1978: 305-336 |
| 1973 | ||
| j2 | | |
| 1971 | ||
| j1 | | Wolfgang Henhapl, Cliff B. Jones: A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971) |
| 1 | Burkhard Austermühl | |
| 2 | Rolf Bahlke | |
| 3 | Hans Bekic | |
| 4 | Dines Bjørner | |
| 5 | M. Hunkel | |
| 6 | Cliff B. Jones (Clifford B. Jones) | |
| 7 | M. Jäger | |
| 8 | Stefan Kaes | |
| 9 | Thomas Letschert | |
| 10 | Peter Lucas | |
| 11 | Gregor Snelting |
Colors in the list of coauthors
Last update Tue May 21 19:11:16 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page