| |
| 2008 | ||
|---|---|---|
| 2 | EE | Piotr Matyasik, Marcin Szpyrka: Formal Modelling and Verification of Concurrent Systems with XCCS. ISPDC 2008: 454-458 |
| 2007 | ||
| 1 | EE | Piotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik: Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot. KI 2007: 485-488 |
| 1 | Grzegorz J. Nalepa | [1] |
| 2 | Marcin Szpyrka | [2] |
| 3 | Piotr Ziecik | [1] |