2007 | ||
---|---|---|
3 | EE | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg: Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS 2007: 205-220 |
2 | EE | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg: Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup 2007: 262-269 |
2005 | ||
1 | EE | Jacqueline Waniek, Holger Langner, Falk Schmidsberger: MemoSpace: a visualization tool for web navigation. WWW (Special interest tracks and posters) 2005: 900-901 |
1 | Ulrich Furbach | [2] [3] |
2 | Holger Langner | [1] |
3 | Jan Murray | [2] [3] |
4 | Frieder Stolzenburg | [2] [3] |
5 | Jacqueline Waniek | [1] |