Wyniki wyszukiwania

Parametry zapytania
  
Autor:Wojciech Czerwiski

                

Publikacja w czasopi¶mie

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

Publikacja w ksi±żce

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