Słabe formy niedeterminizmu w teorii automatów Przewód habilitacyjny (autoreferat) [PDF 422 KB]
Descriptive set theoretic methods in automata theory Praca doktorska z nauk matematycznych (specjalność informatyka), Opublikowana w Lecture Notes in Computer Science 9802, Springer 2016, ISBN 978-3-662-52946-1 [PDF 1295 KB]
O złożoności topologicznej języków definiowanych w logice MSO+U Praca magisterska na kierunku informatyka [PDF 378 KB]
O kolorowaniach drzewa Cantora Praca magisterska na kierunku matematyka [PDF 314 KB]
Zgrubna równoważność przestrzeni metrycznych Praca licencjacka na kierunku matematyka [PDF 243 KB]
On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words Fundamenta Informaticae, 183(3-4): 243-291 (2021)
współtwórcy: O. Finkel [PDF 484 KB]
Deterministic and game separability of tree languages via games Prezentacja z seminarium Toria automatów, z dn. 21.04.2021
współtwórcy: L. Clemente [PDF 546 KB]
Computing measures of sets of infinite trees definable in weak-MSO logic Prezentacja z konferencji ICALP 2020, z dn. 11.07.2020
współtwórcy: D. Niwiński, M. Przybyłko [PDF 1356 KB]
Rabin-Mostowski index problem: a stepTime beyond deterministic automata Prezentacja z konferencji LICS 2013, z dn. 28.06.2013
współtwórcy: A. Facchini, F. Murlak [PDF 353 KB]
Descriptive complexity vs. decidability for Monadic Second-Order logic Prezentacja z Jd'IF, z dn. 25.04.2013 [PDF 514 KB]
MSO+U describes sets at arbitrarily high levels of the projective hierarchy Prezentacja z warsztatów GAMES 2011, z dn. 01.09.2011
współtwórcy: S. Hummel [PDF 471 KB]
Equational theories of profinite structures Prezentacja z Young Researchers Forum w ramach MFCS 2011, z dn. 23.08.2011 [PDF 403 KB]
Kolmogorov's R-sets and regular tree languages Referat z seminarium badawczego Automata Theory, z dn. 16.04.2014
współtwórcy: T. Gogacz, H. Michalewski, M. Mio [PDF 690 KB]
Determinisation of History Deterministic Automata Referat z seminarium badawczego Automata Theory, z dn. 09.04.2014
współtwórcy: D. Kuperberg
Harrington's game and measurability of regular tree languages Referat z seminarium badawczego Automata Theory, z dn. 11.12.2013
współtwórcy: T. Gogacz, H. Michalewski, M. Mio [PDF 690 KB]
Złożoność deskryptywna a rozstrzygalność logiki MSO i jej rozszerzeń Zaproszony wykład z XIV Warsztatów Logicznych, z dn. 28.09.2013
Decidable properties of game automata Referat z seminarium badawczego Automata Theory, z dn. 17.04.2013
współtwórcy: A. Facchini, F. Murlak [PDF 339 KB]
Uniformization and selection for FO and MSO Referat z seminarium badawczego Automata Theory, z dn. 19.12.2012 [PDF 600 KB]
Choice on thin trees and unambiguity Referat z seminarium badawczego Automata Theory, z dn. 17.10.2012 [PDF 600 KB]
MSO+U defines languages at arbitrarily high levels of the projective hierarchy Referat z seminarium badawczego Graphes et Logique, z dn. 13.03.2012 [PDF 580 KB]
Separation property for wB and wS-regular languages Referat z seminarium badawczego Automata Theory, z dn. 23.11.2011 [PDF 245 KB]
Equational theories of profinite structures Referat z seminarium Logika i teoria obliczeń, z dn. 13.10.2010
Referat z seminarium badawczego Automata Theory, z dn. 17.11.2010
Referat z Young Researchers Forum w ramach MFCS 2011, z dn. 23.08.2011 [PDF 229 KB]
W poszukiwaniu modelu automatów dla MSO+U Referat z seminarium Logika i teoria obliczeń, z dn. 05.01.2011 [PDF 122 KB]
On topological complexity of MSO+U over infinite words Referat z seminarium badawczego Automata Theory, z dn. 24.03.2010 [PDF 164 KB]
O kolorowaniach drzewa Cantora Referat z seminarium Topologia i teoria mnogości, z dn. 05.01.2010
Referat z seminarium Logika i teoria obliczeń, z dn. 03.03.2010
Referat z seminarium badawczego Teoria mnogości, z dn. 03.03.2010
Referat z seminarium Topologia i teoria mnogości, z dn. 23.03.2010 [PDF 242 KB]
Ponad-wielomianowy czas działania algorytmu Strategy Improvement Referat z seminarium Logika i teoria obliczeń, z dn. 14.05.2009 [PS 2016 KB][PDF 298 KB]
Obwody logiczne a zbiory borelowskie Referat z seminarium Logika i teoria obliczeń, z dn. 15.01.2009
Referat z Koła Pasjonatów Matematyki, z dn. 22.01.2009
Referat z seminarium Topologia i teoria mnogości, z dn. 12.05.2009
współtwórcy: A. Radziwończyk-Syta [PS 265 KB][PDF 188 KB]
Algebry Boole'a Referat z seminarium Topologia i teoria mnogości, z dn. 18.11.2008 [PS 283 KB][PDF 205 KB]
Zgrubne spojrzenie na przestrzenie metryczne Referat z proseminarium Topologia - zgrubna geometria, z dn. 11.10.2007 [PS 323 KB][PDF 216 KB]
Równoważność między nierównością Lagariasa, a hipotezą Riemanna Referat ze 129. sesji IMPANGI, z dn. 05.05.2007 [PS 273 KB][PDF 191 KB]
![[-]](/~mskrzypczak/signs//down.png){kind=small}
