 | 2009 |
|---|
| 12 |       | Krzysztof Balicki,
Marcin Szpyrka:
Formal Definition of XCCS Modelling Language.
Fundam. Inform. 93(1-3): 1-15 (2009) |
| 2008 |
|---|
| 11 | | Piotr Matyasik,
Marcin Szpyrka:
Formal Modelling and Verification of Concurrent Systems with XCCS.
ISPDC 2008: 454-458 |
| 2007 |
|---|
| 10 | | Antoni Ligeza,
Marcin Szpyrka:
A Note on Granular Sets and Their Relation to Rough Sets.
RSEISP 2007: 251-260 |
| 9 | | Marcin Szpyrka,
Tomasz Szmuc:
Decision Tables in Petri Net Models.
RSEISP 2007: 648-657 |
| 8 | | Marcin Szpyrka:
Analysis of VME-Bus communication protocol - RTCP-net approach.
Real-Time Systems 35(1): 91-108 (2007) |
| 2006 |
|---|
| 7 | | Marcin Szpyrka,
Tomasz Szmuc:
Verification of Automatic Train Protection Systems with RTCP-Nets.
SAFECOMP 2006: 344-357 |
| 6 | | Marcin Szpyrka,
Tomasz Szmuc:
Integrated Approach to Modelling and Analysis using RTCP-nets.
SET 2006: 115-120 |
| 5 | | 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 | | 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 |
