Travelled to:1 × Denmark
1 × Italy
1 × Japan
1 × Latvia
1 × USA
Collaborated with:D.Kuperberg H.Michalewski M.Bilkowski A.Facchini F.Murlak N.Fijalkow F.Horn M.Bojanczyk T.Gogacz U.Boker O.Kupferman L.A.Kolodziejczyk P.Pradic
Talks about:automata (2) problem (2) infinit (2) decid (2) tree (2) game (2) nondetermin (1) determinist (1) determinis (1) mostowski (1)
Person: Michal Skrzypczak
DBLP: Skrzypczak:Michal
Contributed to:
20152014
20132013
20132016Wrote 7 papers:
- ICALP-v2-2015-FijalkowHKS #bound #game studies #memory management
- Trading Bounds for Memory in Games with Counters (NF, FH, DK, MS), pp. 197–208.
- ICALP-v2-2015-KuperbergS #automaton #nondeterminism #on the
- On Determinisation of Good-for-Games Automata (DK, MS), pp. 299–310.
- ICALP-v2-2014-BojanczykGMS #decidability #infinity #on the
- On the Decidability of MSO+U on Infinite Trees (MB, TG, HM, MS), pp. 50–61.
- CSL-2013-BilkowskiS #ambiguity #infinity #problem
- Unambiguity and uniformization problems on infinite trees (MB, MS), pp. 81–100.
- ICALP-v2-2013-BokerKKS #nondeterminism
- Nondeterminism in the Presence of a Diverse or Unknown Future (UB, DK, OK, MS), pp. 89–100.
- LICS-2013-FacchiniMS #automaton #problem
- Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata (AF, FM, MS), pp. 499–508.
- CSL-2016-KolodziejczykMP #automaton #decidability #logic #theorem
- The Logical Strength of Büchi's Decidability Theorem (LAK, HM, PP, MS), p. 16.