 | 2007 |
|---|
| 9 |       | Jussi Kangasharju,
Uwe Schmidt,
Dirk Bradler,
Julian Schröder-Bernhardi:
ChunkSim: simulating peer-to-peer content distribution.
SpringSim (1) 2007: 25-32 |
| 1994 |
|---|
| 8 |  | Hans-Martin Hörcher,
Uwe Schmidt:
The VDM Domain Compiler.
FTRTFT 1994: 779-779 |
| 1993 |
|---|
| 7 | | Uwe Schmidt:
Formale Softwareentwicklungsmethoden in der Ausbildung.
SEUH 1993: 115-124 |
| 1991 |
|---|
| 6 | | Uwe Schmidt,
Hans-Martin Hörcher:
The VDM Domain Compiler: A VDM Class Library Generator.
VDM Europe (1) 1991: 675-676 |
| 1990 |
|---|
| 5 | | Uwe Schmidt,
Hans-Martin Hörcher:
Programming with VDM Domains.
VDM Europe 1990: 122-134 |
| 1987 |
|---|
| 4 | | Uwe Schmidt,
Reinhard Völler:
Experience with VDM in Norsk Data.
VDM Europe 1987: 49-62 |
| 1984 |
|---|
| 3 | | Uwe Schmidt,
Reinhard Völler:
A multi-language compiler system with automatically generated codegenerators.
SIGPLAN Symposium on Compiler Construction 1984: 202-212 |
| 1982 |
|---|
| 2 | | Uwe Schmidt,
Reinhard Völler:
Die Entwicklung eines portablen Übersetzersystems mit der Vienna Development Method.
PASCAL 1982: 185-201 |
| 1981 |
|---|
| 1 | | Uwe Schmidt,
Reinhard Völler:
Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT.
GI Jahrestagung 1981: 57-64 |
