Piotr Hofman (University of Warsaw)

Identifiers

• name variant Piotr Hofman (University of Warsaw) 0.60 · backfill

Papers (2)

1. Reachability Problem for Weak Multi-Pushdown Automata cs.LO · 2013 · author #2
2. Approximating Weak Bisimilarity of Basic Parallel Processes cs.FL · 2012 · author #1

Mentions

• 1308.3996 #2 · backfill · confidence 0.70 Piotr Hofman (University of Warsaw)
• 1208.2751 #1 · backfill · confidence 0.70 Piotr Hofman (University of Warsaw)

Frequent Coauthors

• Patrick Totzke (University of Edinburgh) 1 shared papers
• S{\l}awomir Lasota (University of Warsaw) 1 shared papers
• Wojciech Czerwi\'nski (Universit\"at Bayreuth) 1 shared papers