Graduates: MSc and BSc theses
Current catalog is available in the Archives of Diploma Thesis Jagiellonian University
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