dblp.uni-trier.dewww.uni-trier.de

Marcin Szpyrka

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EEPiotr Matyasik, Marcin Szpyrka: Formal Modelling and Verification of Concurrent Systems with XCCS. ISPDC 2008: 454-458
2007
9EEAntoni Ligeza, Marcin Szpyrka: A Note on Granular Sets and Their Relation to Rough Sets. RSEISP 2007: 251-260
8EEMarcin Szpyrka, Tomasz Szmuc: Decision Tables in Petri Net Models. RSEISP 2007: 648-657
7EEMarcin Szpyrka: Analysis of VME-Bus communication protocol - RTCP-net approach. Real-Time Systems 35(1): 91-108 (2007)
2006
6EEMarcin Szpyrka, Tomasz Szmuc: Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357
5EEMarcin 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
2EEAntoni 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

Coauthor Index

1Antoni Ligeza [2] [9]
2Piotr Matyasik [10]
3Grzegorz J. Nalepa [4]
4Tomasz Szmuc [6] [8]
5Tadeusz Szuba [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)