| |
| 2006 | ||
|---|---|---|
| 6 | EE | Lars Michael Kristensen, K. Schmidt, Antti Valmari: Question-guided stubborn set methods for state properties. Formal Methods in System Design 29(3): 215-251 (2006) |
| 2004 | ||
| 5 | EE | J. Reger, K. Schmidt: Modeling and analyzing finite state automata in the finite field F2. Mathematics and Computers in Simulation 66(2-3): 193-206 (2004) |
| 1998 | ||
| 4 | K. Schmidt, M. Wichers, Ulrich Killat: Can an equivalent capacity CAC deal with worst case traffic in GCRA-policed ATM networks? Broadband Communications 1998: 329-340 | |
| 1995 | ||
| 3 | K. Schmidt: Efficient ATM Network Simulation. EUROSIM 1995: 583-588 | |
| 1994 | ||
| 2 | K. Schmidt: On Connection Admission Control in Multicast ATM Networks. Broadband Islands 1994: 457-462 | |
| 1 | R. Kober, J. Schiffers, K. Schmidt: Model-Based Versus Knowledge-Guided Representation of Non-Rigid Objects: A Case Study. ICIP (1) 1994: 973-977 | |
| 1 | Ulrich Killat | [4] |
| 2 | R. Kober | [1] |
| 3 | Lars Michael Kristensen | [6] |
| 4 | J. Reger | [5] |
| 5 | J. Schiffers | [1] |
| 6 | Antti Valmari | [6] |
| 7 | M. Wichers | [4] |