| ||
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. | A few new facts about the EKG sequence
JOURNAL OF INTEGER SEQUENCES Tom 11 r. 2008, str. (Artykuł) Piotr Hofman, Marcin Pilipczuk | |
| ||
3. | Approximating Weak Bisimilarity of Basic Parallel Processes
w: DCM, str. 99-113, r. 2012 (Artykuł konferencyjny) Piotr Hofman, Patrick Totzke | |
4. | Reachability Problem for Weak Multi-Pushdown Automata
w: CONCUR, str. 53-68, r. 2012 (Artykuł konferencyjny) Wojciech Czerwiński, Piotr Hofman, Sławomir Lasota | |
5. | Relating timed and register automata
w: EXPRESS'10, str. 61-75, r. 2010 (Artykuł konferencyjny) Diego Figueira, Piotr Hofman, Sławomir Lasota |