Wojciech Czerwi\'nski

Identifiers

• name variant Wojciech Czerwi\'nski 0.60 · backfill

Papers (7)

1. New Pumping Technique for 2-dimensional VASS cs.FL · 2019 · author #1
2. Unboundedness problems for languages of vector addition systems cs.FL · 2018 · author #1
3. Regular Separability of Well Structured Transition Systems cs.FL · 2017 · author #1
4. Regular Separability of Parikh Automata cs.FL · 2016 · author #2
5. Separability of Reachability Sets of Vector Addition Systems cs.FL · 2016 · author #2
6. Branching Bisimilarity of Normed BPA Processes is in NEXPTIME cs.LO · 2014 · author #1
7. Efficient Separability of Regular Languages by Subsequences and Suffixes cs.FL · 2013 · author #1

Mentions

• 1303.0966 #1 · backfill · confidence 0.70 Wojciech Czerwi\'nski

Frequent Coauthors

• S{\l}awomir Lasota 4 shared papers
• Charles Paperman 2 shared papers
• Lorenzo Clemente 2 shared papers
• Christof L\"oding 1 shared papers
• Georg Zetzsche 1 shared papers
• K Narayan Kumar 1 shared papers
• Petr Jan\v{c}ar 1 shared papers
• Piotr Hofman 1 shared papers
• Prakash Saivasan 1 shared papers
• Rados{\l}aw Pi\'orkowski 1 shared papers
• Roland Meyer 1 shared papers
• Sebastian Muskalla 1 shared papers
• Tom\'a\v{s} Masopust 1 shared papers
• Wim Martens 1 shared papers