Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
 
    informatyka analityczna  
UJ coat of arms
Theoretical Computer Science
at Jagiellonian
 
 
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
 
 
  webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl