Graduates: PhD theses

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

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