NewXResearch hub
ExploreLibraryProfile
Account
Sign In
Michał Skrzypczak
Scholar

Michał Skrzypczak

Google Scholar ID: StdzCQUAAAAJ
Uniwersytet Warszawski
automata theorydescriptive set theorylogic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
325
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
25
list available
Publications
3 items
Partially Finite Model Reasoning in Description Logics Extended Version
2026
Cited
0
Generalised Quantifiers Based on Rabin-Mostowski Index
arXiv.org · 2026
Cited
0
A Dichotomy Theorem for Ordinal Ranks in MSO
2025
Cited
0
Co-authors
13 total
Henryk Michalewski
Henryk Michalewski
Google
Denis Kuperberg
Denis Kuperberg
CNRS, ENS Lyon, Plume Team
Damian Niwinski
Damian Niwinski
Professor of Computer Science, University of Warsaw
Orna Kupferman
Orna Kupferman
Professor of Computer Science, The Hebrew University
Filip Murlak
Filip Murlak
Associate Professor, University of Warsaw
Alessandro Facchini
Alessandro Facchini
Associate Professor, SUPSI, IDSIA USI-SUPSI
Karoliina Lehtinen
Karoliina Lehtinen
CNRS, Aix-Marseille Université, LIS
Igor Walukiewicz
Igor Walukiewicz
CNRS, LaBRI, Bordeaux University