| |
| 2009 | ||
|---|---|---|
| 3 | EE | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen: One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. LATA 2009: 740-751 |
| 2008 | ||
| 2 | EE | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen: Polynomial Distinguishability of Timed Automata. ICGI 2008: 238-251 |
| 2005 | ||
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen: Timed Inference for Behavioral Pattern Recognition. BNAIC 2005: 291-296 | |
| 1 | Mathijs de Weerdt | [1] [2] [3] |
| 2 | Cees Witteveen | [1] [2] [3] |