| ||
1. | Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes
LECTURE NOTES IN COMPUTER SCIENCE Tom 6901 r. 2011, str. 528-542 (Artykuł konferencyjny) Wojciech Czerwiński, Piotr Hofman, Sławomir Lasota | |
2. | Partially-commutative context-free processes: expressibility and tractability
INFORMATION AND COMPUTATION Tom 209 Nr 5 r. 2011, str. 782-798 (Artykuł) Wojciech Czerwiński, Sibylle Froeschle, Sławomir Lasota | |
3. | Partially-Commutative Context-Free Processes
LECTURE NOTES IN COMPUTER SCIENCE Tom 5710 r. 2009, str. 259-273 (Artykuł) Wojciech Czerwiński, Sibylle B. Fröschle, Sławomir Lasota | |
4. | Network electrocatalytic films of conducting polymer-linked polyoxometallate-stabilized platinum nanoparticles
ELECTROCHIMICA ACTA Tom 50 r. 2005, str. 5155-5162 (Artykuł) Paweł Kulesza, Katarzyna Karnicka, Krzysztof Miecznikowski, Małgorzata Chojak, A Kolary, Piotr Barczuk, G Tsirlina, Wojciech Czerwiński | |
| ||
5. | Partially-commutative context-free languages
w: DCM, str. 35-48, r. 2012 (Artykuł konferencyjny) Wojciech Czerwiński, Sławomir Lasota | |
6. | Reachability Problem for Weak Multi-Pushdown Automata
w: CONCUR, str. 53-68, r. 2012 (Artykuł konferencyjny) Wojciech Czerwiński, Piotr Hofman, Sławomir Lasota | |
7. | Fast equivalence-checking for normed context-free processes
w: FSTTCS, str. 260-271, r. 2010 (Artykuł konferencyjny) Wojciech Czerwiński, Sławomir Lasota |