Search the dblp DataBase

Publications of Author

1. Antoni Ligeza, Marcin Szpyrka
   Reduction of Tabular Systems. [Citation Graph (0, 0)][DBLP]
   ICAISC, 2004, pp:903-908 [Conf]
   
2. Tadeusz Szuba, Marcin Szpyrka
   Theory of Collective Intelligence provides formal relations between Intelligence, Life, and Evolution. [Citation Graph (0, 0)][DBLP]
   Intelligent Information Systems, 2004, pp:151-160 [Conf]
   
3. Marcin Szpyrka, Tomasz Szmuc
   Verification of Automatic Train Protection Systems with RTCP-Nets. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2006, pp:344-357 [Conf]
   
4. Marcin Szpyrka
   Analysis of RTCP-nets with Reachability Graphs. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2006, v:74, n:2-3, pp:375-390 [Journal]
   
5. Marcin Szpyrka
   Analysis of VME-Bus communication protocol - RTCP-net approach. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 2007, v:35, n:1, pp:91-108 [Journal]
   
6. Marcin Szpyrka, Tomasz Szmuc
   Decision Tables in Petri Net Models. [Citation Graph (0, 0)][DBLP]
   RSEISP, 2007, pp:648-657 [Conf]
   
7. Antoni Ligeza, Marcin Szpyrka
   A Note on Granular Sets and Their Relation to Rough Sets. [Citation Graph (0, 0)][DBLP]
   RSEISP, 2007, pp:251-260 [Conf]
   
8. 
   Formal Modelling and Verification of Concurrent Systems with XCCS. [Citation Graph (, )][DBLP]
   
   
9. 
   Integrated Approach to Modelling and Analysis using RTCP-nets. [Citation Graph (, )][DBLP]
   
   
10. 
    Exclusion rule-based systems - case study. [Citation Graph (, )][DBLP]