Absolwenci

2013

  • Agnieszka Łupińska,
    A parallel algorithm to test chordality of graphs, [pdf]
    supervisor: Maciej Ślusarek
     
  • Marek Markiewicz,
    Infinite Words and Cellular Automata
    supervisor: Marek Zaionc
     
  • Robert Obryk,
    Write-and-f-array: implementation and an application, [pdf]
    supervisor: Grzegorz Herman

2011

  • Sylwia Antoniuk,
    Matrix partitions of graphs, [pdf]
    supervisor: Piotr Micek
     
  • Adam Gągol,
    Parity and minors in graph sharing games, [pdf]
    supervisor: Piotr Micek

2010

  • Mateusz Kwiatek,
    Internetowa platforma do organizacji turniejów programów walczacych 1
    supervisor: Paweł M. Idziak
     
  • Dominika Majsterek,
    Rachunek strumieni
    supervisor: Marek Zaionc
     
  • Alan Meller,
    Internetowa platforma do organizacji turniejów programów walczacych 2
    supervisor: Paweł M. Idziak

2009

  • Grzegorz Głogowski,
    Positioning techniques for web pages
    supervisor: Tomasz Gorazd
     
  • Krzysztof Jastrzębski,
    Text Algorithms
    supervisor: Maciej Ślusarek
     
  • Tomasz Jurkiewicz,
    Cycle Bases in Graphs
    supervisor: Maciej Ślusarek
     
  • Andrzej Kukier,
    New Data Structure Techniques for Information Retrieval
    supervisor: Maciej Ślusarek
     
  • Maciej Łoziczonek,
    Robust Detection of Coronary Arteries, [pdf]
    supervisor: Marek Zaionc
     
  • Szymon Wójcik,
    Algebraiczne dowody własności Churcha-Rossera
    supervisor: Marek Zaionc

2008

  • Andrzej Hołubowicz,
    Complexity of selected graph problems
    supervisor: Maciej Ślusarek
     
  • Mateusz Kostanek,
    A sound and complete semantics for commutative linear logic based on Girard quantales
    supervisor: Paweł Waszkiewicz
     
  • Łukasz Magiera,
    Opis i analiza technik programowania po stronie serwera przy użyciu języka Java
    supervisor: Tomasz Gorazd
     
  • Arkadiusz Pawlik,
    Internet System for Programming Contests
    supervisor: Paweł M. Idziak
     
  • Bartosz Walczak,
    Computational complexity of selected combinatorial problems, [pdf]
    supervisor: Paweł M. Idziak

2007

  • Maciej Chociej,
    Painter`s algorithm for 3D real time graphics
    supervisor: Maciej Ślusarek
     
  • Katarzyna Grygiel,
    Zliczanie termów w nietypowanym rachunku lambda
    supervisor: Marek Zaionc
     
  • Grzegorz Łukasik,
    On-line coloring of interval graphs
    supervisor: Maciej Ślusarek
     
  • Michal Palka,
    Functional Graphical User Interfaces - An Implementation Based on GTK.
    supervisor: Marek Zaionc
     
  • Tadeusz Prochwicz,
    Cryptographic mechanisms in electronic communication
    supervisor: Paweł M.Idziak
     
  • Michał Staromiejski,
    The Weil pairing and the computation of discrete logarithms on elliptic curves
    supervisor: Paweł M. Idziak
     
  • Dawid Totoń,
    Wyrażanie rozwiązań równań w wolnych monoidach za pomocą wyrażeń regularnych
    supervisor: Zaionc

2006

  • Lech Duraj,
    Computational complexity of some tillling problems
    supervisor: Pawel M. Idziak
     
  • Grzegorz Gutowski,
    On-line coloring of k-connected subgraphs.
    supervisor: Maciej Ślusarek
     
  • Marek Kwiatkowski,
    Ordinal Arithmetic through Term Rewriting
    supervisor: Marek Zaionc together with Jan Willem Klop, Roel de Vrier from Free University in Amsterdam
     
  • Lech Palmowski,
    Continuity in generalized metric spaces
    (Ciągłość w uogólnionych przestrzeniach metrycznych)
    supervisor: Paweł Waszkiewicz
     
  • Andrzej Pezarski,
    On-line clique covering of interval graphs
    supervisor: Paweł M. Idziak
     
  • Mikołaj Pudo,
    Problem $k-SAT$ i hipoteza progu spełnialności
    supervisor: Marek Zaionc
     
  • Andrzej Stencel,
    Hidden subgroup problem in quantum computing
    supervisor: Tomasz Gorazd
     
  • Paweł Walter,
    Teaching mathematics through algorithmics
    supervisor: Paweł M. Idziak

2005

  • Grzegorz Herman,
    Computational complexity of bipartite orders
    supervisor: Pawel M. Idziak
     
  • Jan Jeżabek,

    supervisor:
     
  • Jarosław Karpiak,
    Fragment hierarchii Statmana w typowanym rachunku lambda
    supervisor: Marek Zaionc
     
  • Piotr Mizera,
    A kinetic approach to the shooter problem
    supervisor: Maciej Ślusarek
     
  • Mikołaj Zalewski,
    Mobile programming
    supervisor: Tomasz Gorazd
     
  • Maciej Żenczykowski,
    Efficient autonomous real-time system for the verification and selection of alternative numerical solutions
    supervisor: Paweł M. Idziak

2004

  • Bartłomiej Bosek,
    Algorytm adaptywnego kolorowania porządków wzrastających, [pdf]
    supervisor: Paweł M. Idziak
     
  • Przemysław Broniek,
    Real-time scheduling on bounded number of processors, [pdf]
    supervisor: Paweł M. Idziak
     
  • Jarosław Duda,
    Plane fractal covering
    supervisor: Tomasz Gorazd
     
  • Piotr Micek,
    Lower bound for the adaptive coloring online problem of upgrowing orders, [pdf]
    supervisor: Paweł M. Idziak
     
  • Anna Zych,
    Algorithmic invariants for partially ordered sets
    supervisor: Paweł M. Idziak

2003

  • Kamil Kloch,
    Off- and on-line dimension of partially ordered sets
    supervisor: Paweł M. Idziak
     
  • Rafał Mamak,
    An optimal algorithm for the recognition of circular arc graphs
    supervisor: Maciej Ślusarek

2002

  • Iwona Cieślik,
    Applications of quantum algorithms to solvable groups, [pdf]
    supervisor: Tomasz Gorazd
     
  • Marcin Klisiak,
    Extracting Authoritative Sources from WWW through Analisys of Hypertext Link Structure
    supervisor: Tomasz Gorazd
     
  • Jakub Kozik,
    Asymptotic density of regular languages
    supervisor: Marek Zaionc
     
  • Jacek Krzaczkowski,
    Quantum computing in number theory and cryptography
    supervisor: Paweł M. Idziak
     
  • Grzegorz Matecki,
    Asymptotic density of formulas formed from binary logical connectives
    supervisor: Marek Zaionc
     
  • Mateusz Matula,
    Managing an online service centre using Open Source systems
    supervisor: Tomasz Gorazd

2001

  • Wojciech Jawor,
    Approximation of NP-complete problems and the PCP Theorem
    supervisor: Maciej Ślusarek
     
  • Mariusz Pytel,
    Approximation algorithms for resource allocation problems
    supervisor: Maciej Ślusarek

2000

  • Piotr Dziedzic,
    Fixed point technique for counting terms in typed lambda calculus
    supervisor: Marek Zaionc
     
  • Marcin Kozik,
    Object complexity measures
    supervisor: Paweł M. Idziak
     
  • Tomasz Krawczyk,
    Graph elimination algorithms
    supervisor: Maciej Ślusarek
     
  • Wiesław Rotter,
    Efficient transformation algorithms for integer matrices
    supervisor: Maciej Ślusarek
     
  • Grzegorz Soza,
    Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic
    supervisor: Marek Zaionc

1999

  • Marcin Bilski,
    Generative complexity in semigroup varieties
    supervisor: Paweł M. Idziak
     
  • Grzegorz Król,
    New heuristics and approximation methods for the graph coloring problem
    supervisor: Maciej Ślusarek

1998

  • Piotr Kot,
    Computing homology of cubical complexes in R^n
    supervisor: Maciej Ślusarek

1996

  • Zbigniew Jagiełło,
    Implementation of mergeable priority queues - a comparative analysis
    supervisor: Maciej Ślusarek
     
  • Jan Małolepszy,
    Reconstruction of Extended Polynomials from the finite number of Examples
    supervisor: Marek Zaionc
     
  • Leszek Mika,
    Combinatorial hierarchy inside NP
    supervisor: Paweł M. Idziak
     
  • Edward Szczypka,
    Computational complexity of the isomorphism testing for equivalence relations
    supervisor: Paweł M. Idziak

1995

  • Marian Folwarczny,
    Graph coloring algorithms
    supervisor: Maciej Ślusarek
     
  • Jacek Magnuski,
    Succint graph representations
    supervisor: Maciej Ślusarek
     
  • Janusz Woźniak, Marcin Żelawski,
    A distributed system for 2-dimensional packing
    supervisor: Maciej Ślusarek

1993

  • Jan Podoski,
    Computational complexity of the isomorphism testing for partially ordered sets
    supervisor: Paweł M. Idziak

1992

  • Malgorzata Sobejko ,
    Algorytm konstrukcji dowodu dla implikacyjnego fragmentu logiki intuicjonistycznej
    supervisor: Marek Zaionc
     
  • Andrzej Kubicz,
    A comparative analysis of text indexing methods
    supervisor: Maciej Ślusarek

1991

  • Jacek Bień,
    Textual databases
    supervisor: Maciej Ślusarek
     
  • Wiesław Chmielnicki,
    Data compression algorithms
    supervisor: Maciej Ślusarek
     
  • Małgorzata Mądry,
    Llambda-Representability of integer, word and tree functions"
    supervisor: Marek Zaionc