| 2002 |
|---|
| 6 | EE | André Schneider,
Karl-Heinz Diener,
Eero Ivask,
Jaan Raik,
Raimund Ubar,
P. Miklos,
T. Cibáková,
Elena Gramatová:
Internet-Based Collaborative Test Generation with MOSCITO.
DATE 2002: 221-226 |
| 5 | EE | André Schneider,
Karl-Heinz Diener,
Eero Ivask,
Raimund Ubar,
Elena Gramatová,
Thomas Hollstein,
Wieslaw Kuzmicz,
Zebo Peng:
Integrated Design and Test Generation Under Internet Based Environment MOSCITO.
DSD 2002: 187-195 |
| 2000 |
|---|
| 4 | EE | Karl-Heinz Diener:
On kappa-hereditary Sets and Consequences of the Axiom of Choice.
Math. Log. Q. 46(4): 563-568 (2000) |
| 1997 |
|---|
| 3 | | Günter Elst,
Karl-Heinz Diener:
Entwurfsautomatisierung - F & E-Arbeiten der Dresdner Außenstelle des Fraunhofer-Instituts für Integrierte Schaltungen.
Inform., Forsch. Entwickl. 12(4): 224-229 (1997) |
| 1994 |
|---|
| 2 | | Karl-Heinz Diener:
A Remark an Ascending Chain Conditions, the CouDtable Axiom of Choice and the Principle of Dependent Choices.
Math. Log. Q. 40: 415-421 (1994) |
| 1993 |
|---|
| 1 | | Karl-Heinz Diener:
On the Predecessor Relation in Abstract Algebras.
Math. Log. Q. 39: 492-514 (1993) |
