Maciej Gazda

Identifiers

• name variant Maciej Gazda 0.60 · backfill

Papers (5)

1. Distinguishing between Communicating Transactions cs.LO · 2017 · author #2
2. Improvement in Small Progress Measures cs.LO · 2015 · author #1
3. Strategy Derivation for Small Progress Measures cs.LO · 2014 · author #1
4. Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds cs.LO · 2013 · author #1
5. Modal Logic and the Approximation Induction Principle cs.LO · 2009 · author #1

Mentions

• 1509.07207 #1 · backfill · confidence 0.70 Maciej Gazda
• 1407.2149 #1 · backfill · confidence 0.70 Maciej Gazda
• 1307.4465 #1 · backfill · confidence 0.70 Maciej Gazda
• 0911.2035 #1 · backfill · confidence 0.70 Maciej Gazda

Frequent Coauthors

• Tim A.C. Willemse 3 shared papers
• Matthew Hennessy 1 shared papers
• Vasileios Koutavas 1 shared papers
• Wan Fokkink 1 shared papers