| 2004 |
|---|
| 8 | EE | Joachim Schmid:
The Main Steps to Data Quality.
Industrial Conference on Data Mining 2004: 69-77 |
| 2003 |
|---|
| 7 | EE | Robert F. Stärk,
Joachim Schmid:
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.
J. Autom. Reasoning 30(3-4): 323-361 (2003) |
| 2001 |
|---|
| 6 | | Robert F. Stärk,
Joachim Schmid,
Egon Börger:
Java and the Java Virtual Machine: Definition, Verification, Validation
Springer 2001 |
| 5 | EE | Joachim Schmid:
Compiling Abstract State Machines to C++.
J. UCS 7(11): 1068-1087 (2001) |
| 2000 |
|---|
| 4 | EE | Egon Börger,
Peter Päppinghaus,
Joachim Schmid:
Report on a Practical Application of ASMs in Software Design.
Abstract State Machines 2000: 361-366 |
| 3 | EE | Egon Börger,
Joachim Schmid:
Composition and Submachine Concepts for Sequential ASMs.
CSL 2000: 41-60 |
| 2 | EE | Egon Börger,
Elvinia Riccobene,
Joachim Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study.
J. UCS 6(7): 597-620 (2000) |
| 1997 |
|---|
| 1 | EE | Joachim Schmid:
Existentially closed fields with holomorphy rings.
Arch. Math. Log. 36(2): 127-135 (1997) |
