Práce na příbuzné téma (mají shodná klíčová slova):
permutation graphs, fixed-parameter tractability, thin strip graphs, interval graphs, existential fo model checking, fo interpretation, fo model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: FO properties of geometric graphs | Práce na příbuzné téma![Zobrazit popisek Zobrazit popisek](/pics/design/14/z/ico/navodek-plus.png)
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: FO properties of geometric graphs | Práce na příbuzné téma
![Zobrazit popisek Zobrazit popisek](/pics/design/14/z/ico/navodek-plus.png)
2.
Pham, Tai Phat
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: On k-thin and thin-strip graph classes | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: On k-thin and thin-strip graph classes | Práce na příbuzné téma
3.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Structural and Geometric Graph Theory and Algorithmic Metatheorems | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Structural and Geometric Graph Theory and Algorithmic Metatheorems | Práce na příbuzné téma
4.
Agaoglu Cagirici, Deniz roz. Agaoglu
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Isomorphism problem for geometric intersection graphs | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií (angl.)
Obhajoba diplomové práce: Isomorphism problem for geometric intersection graphs | Práce na příbuzné téma
5.
Pekárková, Kristýna
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Matroid Algorithms and Their Applications in Optimization | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Matroid Algorithms and Their Applications in Optimization | Práce na příbuzné téma