2005 | ||
---|---|---|
2 | EE | Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski: Integration of reliable algorithms into modeling software. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
2004 | ||
1 | Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger: Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification. MMB 2004: 245-254 |
1 | Ekaterina Auer | [2] |
2 | Eva Dyllong | [2] |
3 | Gerhard Haßlinger | [1] [2] |
4 | Wolfram Luther | [1] [2] |
5 | Holger Traczinski | [2] |