Petr Jan\v{c}ar

Identifiers

• name variant Petr Jan\v{c}ar 0.60 · backfill

Papers (4)

1. Structural Liveness of Conservative Petri Nets cs.LO · 2025 · author #1
2. Branching Bisimilarity of Normed BPA Processes is in NEXPTIME cs.LO · 2014 · author #2
3. Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes cs.LO · 2013 · author #1
4. Equivalence of Deterministic One-Counter Automata is NL-complete cs.FL · 2013 · author #3

Mentions

• 1407.0645 #2 · backfill · confidence 0.70 Petr Jan\v{c}ar
• 1303.0780 #1 · backfill · confidence 0.70 Petr Jan\v{c}ar
• 1301.2181 #3 · backfill · confidence 0.70 Petr Jan\v{c}ar

Frequent Coauthors

• J\'er\^ome Leroux 1 shared papers
• Ji\v{r}\'i Srba 1 shared papers
• Ji\v{r}\'i Val\r{u}\v{s}ek 1 shared papers
• Stanislav B\"ohm 1 shared papers
• Stefan G\"oller 1 shared papers
• Wojciech Czerwi\'nski 1 shared papers