Doktoraty
2013
- Katarzyna Grygiel,
Asymptotic properties of lambda-calculus and combinatorial logic
supervisor: Marek Zaionc
- Arkadiusz Pawlik,
Chromatic number of geometric intersection graphs
supervisor: Paweł M.Idziak
- Michał Staromiejski,
Complexity of ring isomorphism problem
supervisor: Paweł M. Idziak
- Wiktor Żelazny,
Additive colourings of graphs
supervisor: Jarosław Grytczuk
2012
- Grzegorz Gutowski,
On-line choosability
supervisor: Paweł M. Idziak
- Bartosz Walczak,
Graph sharing games: strategies and algorithms, [pdf]
supervisor: Paweł M. Idziak
2010
- Jarosław Duda,
Asymmetric Numeral Systems, [pdf]
supervisor: Marek Zaionc
- Lech Duraj,
Optimal graph orientation problems
supervisor: Paweł M. Idziak
2009
- Jan Jeżabek,
On-line buffer management with bounded delay
supervisor: Paweł M. Idziak
2008
- Bartłomiej Bosek,
On-line chain partitioning approach to scheduling, [pdf]
supervisor: Paweł M. Idziak
- Przemysław Broniek,
Computational complexity of solving equation systems, [pdf]
supervisor: Paweł M. Idziak
- Kamil Kloch,
On-line dimension of semi-orders, [pdf]
supervisor: Paweł M. Idziak
- Jacek Krzaczkowski,
Complexity of equation solving, [pdf]
supervisor: Paweł M. Idziak
- Piotr Micek,
On-line chain partitioning of semi-orders, [pdf]
supervisor: Paweł M. Idziak
2006
- Iwona Cieślik,
On-line graph coloring, [pdf]
supervisor: Paweł M. Idziak
- Jakub Kozik,
Decidability of relative density in Chomsky hierarchy of languages, [pdf]
supervisor: Marek Zaionc
- Grzegorz Matecki,
On-line graph coloring on a bounded board, [pdf]
supervisor: Paweł M. Idziak
- Edward Szczypka,
Object complexity
supervisor: Paweł M. Idziak
2000
- Malgorzata Moczurad,
Syntaktyczne metody dowodzenia własności typowanego rachunku lambda
supervisor: Marek Zaionc
1999
- Tomasz Gorazd,
Isomorphism testing for varieties of algebras
supervisor: Paweł M. Idziak
1998
- Jerzy Hanusek,
Decision problem for algebras with a distinguished subset
supervisor: Paweł M. Idziak
1997
- Mohammed Abd El Hakim Sherif,
Decision problems for orthomodular lattices
supervisor: Paweł M. Idziak