Micha{\l} Skrzypczak

Identifiers

• name variant Micha{\l} Skrzypczak 0.60 · backfill

Papers (12)

1. Partially Finite Model Reasoning in Description Logics Extended Version cs.LO · 2026 · author #5
2. Infinite lexicographic products of positional objectives cs.GT · 2025 · author #3
3. Positionality in $\Sigma_0^2$ and a completeness result cs.LO · 2023 · author #2
4. MSO+nabla is undecidable cs.LO · 2019 · author #3
5. Unambiguous languages exhaust the index hierarchy cs.FL · 2018 · author #1
6. How Deterministic are Good-For-Games Automata? cs.FL · 2017 · author #3
7. Trading Bounds for Memory in Games with Counters cs.FL · 2017 · author #4
8. B\"uchi VASS recognise w-languages that are Sigma^1_1 - complete cs.FL · 2017 · author #1
9. Index problems for game automata cs.FL · 2015 · author #3
10. On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets cs.LO · 2014 · author #3
11. Unambiguous Buchi is weak cs.FL · 2014 · author #2
12. Equational theories of profinite structures cs.FL · 2011 · author #1

Mentions

• 1401.6835 #3 · backfill · confidence 0.70 Micha{\l} Skrzypczak
• 1401.4025 #2 · backfill · confidence 0.70 Micha{\l} Skrzypczak
• 1111.0476 #1 · backfill · confidence 0.70 Micha{\l} Skrzypczak

Frequent Coauthors

• Filip Murlak 2 shared papers
• Pierre Ohlmann 2 shared papers
• Alessandro Facchini 1 shared papers
• Alexandra Rogova 1 shared papers
• Antonio Casares 1 shared papers
• Denis Kuperberg 1 shared papers
• Edon Kelmendi 1 shared papers
• Florian Horn 1 shared papers
• Henryk Michalewski 1 shared papers
• Igor Walukiewicz 1 shared papers
• IMJ) 1 shared papers
• Marcin Przyby{\l}ko 1 shared papers
• Miko{\l}aj Boja\'nczyk 1 shared papers
• Nathana\"el Fijalkow 1 shared papers
• Olivier Finkel (ELM 1 shared papers
• Orna Kupferman 1 shared papers
• Tomasz Gogacz 1 shared papers
• Udi Boker 1 shared papers