Michał Skrzypczak

Cited by

	All	Since 2020
Citations	559	287
h-index	14	8
i10-index	23	7

20102011201220132014201520162017201820192020202120222023202420257 2 6 7 30 34 23 48 39 71 44 38 50 59 80 14

Public access

View all

13 articles

1 article

available

not available

Based on funding mandates

Co-authors

Henryk MichalewskiGoogleVerified email at google.com
Mikołaj BojańczykUniwersytet WarszawskiVerified email at mimuw.edu.pl
Denis KuperbergCNRS, ENS Lyon, Plume TeamVerified email at ens-lyon.fr
Udi BokerComputer Science, Reichman University, Herzliya, IsraelVerified email at runi.ac.il
Damian NiwinskiProfessor of Computer Science, University of WarsawVerified email at mimuw.edu.pl
Tomasz GogaczUniversity of WrocławVerified email at cs.uni.wroc.pl
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Filip MurlakAssociate Professor, University of WarsawVerified email at mimuw.edu.pl
Alessandro FacchiniSUPSI, IDSIA USI-SUPSIVerified email at supsi.ch
Karoliina LehtinenCNRS, Aix-Marseille Université, LISVerified email at lis-lab.fr
Szymon ToruńczykUniversity of WarsawVerified email at mimuw.edu.pl
Nathanaël FijalkowCNRS, LaBRI, BordeauxVerified email at labri.fr
Leszek KołodziejczykAssociate Professor, University of WarsawVerified email at mimuw.edu.pl
Igor WalukiewiczCNRS, LaBRI, Bordeaux UniversityVerified email at labri.fr
Edon KelmendiQueen Mary University of LondonVerified email at qmul.ac.uk
Alexander RabinovichProfessor of computer sciense tel aviv universityVerified email at tauex.tau.ac.il
Florian HornChargé de Recherches, IRIF, CNRS & Université Paris CitéVerified email at irif.fr
Pierre OhlmannPostdoctoral researcher, University of WarsawVerified email at mimuw.edu.pl
Wojciech CzerwinskiUniversity of WarsawVerified email at mimuw.edu.pl
Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceVerified email at comp.nus.edu.sg

Michał Skrzypczak

Uniwersytet Warszawski

Verified email at mimuw.edu.pl - Homepage

automata theory descriptive set theory logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On determinisation of good-for-games automata D Kuperberg, M Skrzypczak International Colloquium on Automata, Languages, and Programming, 299-310, 2015	73	2015
Nondeterminism in the presence of a diverse or unknown future U Boker, D Kuperberg, O Kupferman, M Skrzypczak International Colloquium on Automata, Languages, and Programming, 89-100, 2013	48	2013
The topological complexity of MSO+ U and related automata models S Hummel, M Skrzypczak Fundamenta Informaticae 119 (1), 87-111, 2012	38	2012
How deterministic are good-for-games automata? U Boker, O Kupferman, M Skrzypczak arXiv preprint arXiv:1710.04115, 2017	34	2017
Rabin-Mostowski index problem: a step beyond deterministic automata A Facchini, F Murlak, M Skrzypczak 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 499-508, 2013	24	2013
On the decidability of MSO+ U on infinite trees M Bojańczyk, T Gogacz, H Michalewski, M Skrzypczak International Colloquium on Automata, Languages, and Programming, 50-61, 2014	21	2014
The logical strength of B\" uchi's decidability theorem L Kołodziejczyk, H Michalewski, P Pradic, M Skrzypczak Logical Methods in Computer Science 15, 2019	20	2019
Monadic second order logic with measure and category quantifiers M Mio, M Skrzypczak, H Michalewski Logical Methods in Computer Science 14 (Automata and logic), 2018	18	2018
Measure properties of game tree languages T Gogacz, H Michalewski, M Mio, M Skrzypczak International Symposium on Mathematical Foundations of Computer Science, 303-314, 2014	17	2014
Deciding the topological complexity of Büchi languages M Skrzypczak, I Walukiewicz ICALP 55, 99: 1--99: 13, 2016	16	2016
On the succinctness of alternating parity good-for-games automata U Boker, D Kuperberg, K Lehtinen, M Skrzypczak arXiv preprint arXiv:2009.14437, 2020	15	2020
Unambiguity and uniformization problems on infinite trees M Bilkowski, M Skrzypczak Computer Science Logic 2013 (CSL 2013), 81-100, 2013	15	2013
Descriptive set theoretic methods in automata theory: decidability and topological complexity M Skrzypczak Springer, 2016	14	2016
On the topological complexity of MSO+ U and related automata models S Hummel, M Skrzypczak, S Toruńczyk Mathematical Foundations of Computer Science 2010: 35th International …, 2010	14	2010
Regular languages of thin trees T Idziaszek, M Skrzypczak, M Bojańczyk Theory of Computing Systems 58 (4), 614-663, 2016	13	2016
On the topological complexity of ω-languages of non-deterministic Petri nets O Finkel, M Skrzypczak Information Processing Letters 114 (5), 229-233, 2014	13	2014
Measure properties of regular sets of trees T Gogacz, H Michalewski, M Mio, M Skrzypczak Information and Computation 256, 108-130, 2017	12	2017
Regular languages of thin trees M Bojańczyk, T Idziaszek, M Skrzypczak STACS 2013 20, 562-573, 2013	12	2013
On the Borel complexity of MSO definable sets of branches M Bojańczyk, D Niwiński, A Rabinovich, A Radziwończyk-Syta, ... Fundamenta Informaticae 98 (4), 337-349, 2010	12	2010
Index problems for game automata A Facchini, F Murlak, M Skrzypczak ACM Transactions on Computational Logic (TOCL) 17 (4), 1-38, 2016	10	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors