| |
| 2008 | ||
|---|---|---|
| 10 | EE | Piotr Matyasik, Marcin Szpyrka: Formal Modelling and Verification of Concurrent Systems with XCCS. ISPDC 2008: 454-458 |
| 2007 | ||
| 9 | EE | Antoni Ligeza, Marcin Szpyrka: A Note on Granular Sets and Their Relation to Rough Sets. RSEISP 2007: 251-260 |
| 8 | EE | Marcin Szpyrka, Tomasz Szmuc: Decision Tables in Petri Net Models. RSEISP 2007: 648-657 |
| 7 | EE | Marcin Szpyrka: Analysis of VME-Bus communication protocol - RTCP-net approach. Real-Time Systems 35(1): 91-108 (2007) |
| 2006 | ||
| 6 | EE | Marcin Szpyrka, Tomasz Szmuc: Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357 |
| 5 | EE | Marcin Szpyrka: Analysis of RTCP-nets with Reachability Graphs. Fundam. Inform. 74(2-3): 375-390 (2006) |
| 2005 | ||
| 4 | Marcin Szpyrka, Grzegorz J. Nalepa: Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems. Software Engineering: Evolution and Emerging Technologies 2005: 294-304 | |
| 3 | Marcin Szpyrka: Development of Safety-Critical Systems with RTCP-Nets Support. Software Engineering: Evolution and Emerging Technologies 2005: 394-399 | |
| 2004 | ||
| 2 | EE | Antoni Ligeza, Marcin Szpyrka: Reduction of Tabular Systems. ICAISC 2004: 903-908 |
| 1 | Tadeusz Szuba, Marcin Szpyrka: Theory of Collective Intelligence provides formal relations between Intelligence, Life, and Evolution. Intelligent Information Systems 2004: 151-160 | |
| 1 | Antoni Ligeza | [2] [9] |
| 2 | Piotr Matyasik | [10] |
| 3 | Grzegorz J. Nalepa | [4] |
| 4 | Tomasz Szmuc | [6] [8] |
| 5 | Tadeusz Szuba | [1] |