| |
| 2007 | ||
|---|---|---|
| 7 | EE | Antoni Ligeza, Marcin Szpyrka: A Note on Granular Sets and Their Relation to Rough Sets. RSEISP 2007: 251-260 |
| 6 | EE | Marcin Szpyrka, Tomasz Szmuc: Decision Tables in Petri Net Models. RSEISP 2007: 648-657 |
| 5 | EE | Marcin Szpyrka: Analysis of VME-Bus communication protocol - RTCP-net approach. Real-Time Systems 35(1): 91-108 (2007) |
| 2006 | ||
| 4 | EE | Marcin Szpyrka, Tomasz Szmuc: Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357 |
| 3 | EE | Marcin Szpyrka: Analysis of RTCP-nets with Reachability Graphs. Fundam. Inform. 74(2-3): 375-390 (2006) |
| 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] [7] |
| 2 | Tomasz Szmuc | [4] [6] |
| 3 | Tadeusz Szuba | [1] |