BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Skrzypczak:Michal

Contributed to:

ICALP (2) 20152015
ICALP (2) 20142014
CSL 20132013
ICALP (2) 20132013
LICS 20132013
CSL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.