Weak forms of non-determinism in automata theory Habilitation thesis (summary) [PDF 413 KB]
Descriptive set theoretic methods in automata theory PhD dissertation in mathematical sciences (specialisation computer science), Published in 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 Master's thesis in computer-science [PDF 378 KB]
O kolorowaniach drzewa Cantora Master's thesis in mathematics [PDF 314 KB]
Zgrubna równoważność przestrzeni metrycznych Bechelor's thesis in mathematics [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)
co-authors: O. Finkel [PDF 484 KB]
Deterministic and game separability of tree languages via games Slides from the seminar Automata Theory, April 21st 2021
co-authors: L. Clemente [PDF 546 KB]
Computing measures of sets of infinite trees definable in weak-MSO logic Slides from ICALP 2020 conference, July 11th 2020
co-authors: D. Niwiński, M. Przybyłko [PDF 1356 KB]
Rabin-Mostowski index problem: a stepTime beyond deterministic automata Slides from LICS 2013 conference, June 28th 2013
co-authors: A. Facchini, F. Murlak [PDF 353 KB]
Descriptive complexity vs. decidability for Monadic Second-Order logic Slides from Jd'IF, April 25th 2013 [PDF 514 KB]
MSO+U describes sets at arbitrarily high levels of the projective hierarchy Slides from GAMES 2011 workshop, September 1st 2011
co-authors: S. Hummel [PDF 471 KB]
Equational theories of profinite structures Slides from Young Researchers Forum during MFCS 2011, August 23rd 2011 [PDF 403 KB]
Kolmogorov's R-sets and regular tree languages A talk from research seminar Automata Theory, April 16th 2014
co-authors: T. Gogacz, H. Michalewski, M. Mio [PDF 690 KB]
Determinisation of History Deterministic Automata A talk from research seminar Automata Theory, April 9th 2014
co-authors: D. Kuperberg
Harrington's game and measurability of regular tree languages A talk from research seminar Automata Theory, December 11th 2013
co-authors: T. Gogacz, H. Michalewski, M. Mio [PDF 690 KB]
Złożoność deskryptywna a rozstrzygalność logiki MSO i jej rozszerzeń Invited lecture from XIV Logic Workshop, September 28th 2013
Decidable properties of game automata A talk from research seminar Automata Theory, April 17th 2013
co-authors: A. Facchini, F. Murlak [PDF 339 KB]
Uniformization and selection for FO and MSO A talk from research seminar Automata Theory, December 19th 2012 [PDF 600 KB]
Choice on thin trees and unambiguity A talk from research seminar Automata Theory, October 17th 2012 [PDF 600 KB]
MSO+U defines languages at arbitrarily high levels of the projective hierarchy A talk from research seminar Graphes et Logique, March 13th 2012 [PDF 580 KB]
Separation property for wB and wS-regular languages A talk from research seminar Automata Theory, November 23rd 2011 [PDF 245 KB]
Equational theories of profinite structures A talk from seminar Logic and Computation Theory, October 13th 2010
A talk from research seminar Automata Theory, November 17th 2010
A talk from Young Researchers Forum during MFCS 2011, August 23rd 2011 [PDF 229 KB]
W poszukiwaniu modelu automatów dla MSO+U A talk from seminar Logic and Computation Theory, January 5th 2011 [PDF 122 KB]
On topological complexity of MSO+U over infinite words A talk from research seminar Automata Theory, March 24th 2010 [PDF 164 KB]
O kolorowaniach drzewa Cantora A talk from seminar Topology and Set Theory, January 5th 2010
A talk from seminar Logic and Computation Theory, March 3rd 2010
A talk from research seminar Set Theory, March 3rd 2010
A talk from seminar Topology and Set Theory, March 23rd 2010 [PDF 242 KB]
Ponad-wielomianowy czas działania algorytmu Strategy Improvement A talk from seminar Logic and Computation Theory, May 14th 2009 [PS 2016 KB][PDF 298 KB]
Obwody logiczne a zbiory borelowskie A talk from seminar Logic and Computation Theory, January 15th 2009
A talk from Mathematical Scientific Club, January 22nd 2009
A talk from seminar Topology and Set Theory, May 12ve 2009
co-authors: A. Radziwończyk-Syta [PS 265 KB][PDF 188 KB]
Algebry Boole'a A talk from seminar Topology and Set Theory, November 18th 2008 [PS 283 KB][PDF 205 KB]
Zgrubne spojrzenie na przestrzenie metryczne A talk from proseminar Topology - Coarse geometry, October 11th 2007 [PS 323 KB][PDF 216 KB]
Równoważność między nierównością Lagariasa, a hipotezą Riemanna A talk from 129'th session of IMPANGA, May 5th 2007 [PS 273 KB][PDF 191 KB]
![[-]](/~mskrzypczak/signs//down.png){kind=small}
