https://tfiedor.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+02:00 https://tfiedor.github.io/projects/project-1-perun/ https://tfiedor.github.io/projects/project-2-mata/ https://tfiedor.github.io/projects/project-3-gaston/ https://tfiedor.github.io/publication/2015-01-nested-antichains 2015-10-01T00:00:00+02:00 https://tfiedor.github.io/publication/2017-01-lazy-techniques 2017-10-01T00:00:00+02:00 https://tfiedor.github.io/publication/2018-01-ranger 2018-10-01T00:00:00+02:00 https://tfiedor.github.io/publication/2019-01-nested-antichains 2019-10-01T00:00:00+02:00 https://tfiedor.github.io/publication/2022-01-perun 2022-10-01T00:00:00+02:00 https://tfiedor.github.io/publication/2023-01-cade 2023-10-01T00:00:00+02:00 https://tfiedor.github.io/publication/2024-01-mata 2024-04-05T00:00:00+02:00 https://tfiedor.github.io/students/2016-01-bp-pavela https://tfiedor.github.io/students/2016-02-bp-podola https://tfiedor.github.io/students/2016-03-bp-lysonek https://tfiedor.github.io/students/2018-01-bp-martina https://tfiedor.github.io/students/2016-01-dp-stejskal https://tfiedor.github.io/students/2019-01-bp-matus https://tfiedor.github.io/students/2019-01-bp-ondra https://tfiedor.github.io/students/2019-03-bp-simon https://tfiedor.github.io/students/2020-01-dp-pavela https://tfiedor.github.io/students/2021-01-dp-matus https://tfiedor.github.io/students/2022-01-bp-mocary https://tfiedor.github.io/students/2023-01-bp-hajek https://tfiedor.github.io/students/2023-01-bp-michal https://tfiedor.github.io/talks/2015-02-MFF-UK 2015-04-10T00:00:00+02:00 https://tfiedor.github.io/talks/2015-04-tacas 2015-04-17T00:00:00+02:00 https://tfiedor.github.io/talks/2015-01-AVM 2015-05-05T00:00:00+02:00 https://tfiedor.github.io/talks/2015-03-memics 2015-10-24T00:00:00+02:00 https://tfiedor.github.io/talks/2016-01-verifit 2016-04-06T00:00:00+02:00 https://tfiedor.github.io/talks/2016-01-rh 2016-06-24T00:00:00+02:00 https://tfiedor.github.io/talks/2017-01-rh 2017-05-26T00:00:00+02:00 https://tfiedor.github.io/talks/2017-02-tacas 2017-06-11T00:00:00+02:00 https://tfiedor.github.io/talks/2018-02-vmcai 2018-01-04T00:00:00+01:00 https://tfiedor.github.io/talks/2018-01-prase 2018-07-26T00:00:00+02:00 https://tfiedor.github.io/talks/2020-01-rh 2020-01-23T00:00:00+01:00 https://tfiedor.github.io/talks/2021-01-prase 2021-06-17T00:00:00+02:00 https://tfiedor.github.io/talks/2022-01-prase 2022-03-15T00:00:00+01:00 https://tfiedor.github.io/talks/2022-01-prase 2023-06-27T00:00:00+02:00 https://tfiedor.github.io/talks/2024-06-devconf 2024-06-27T00:00:00+02:00 https://tfiedor.github.io/ https://tfiedor.github.io/archive-layout-with-content/ https://tfiedor.github.io/categories/ https://tfiedor.github.io/collection-archive/ https://tfiedor.github.io/cv/ https://tfiedor.github.io/markdown/ https://tfiedor.github.io/non-menu-page/ https://tfiedor.github.io/page-archive/ https://tfiedor.github.io/projects/ https://tfiedor.github.io/publications/ https://tfiedor.github.io/sitemap/ https://tfiedor.github.io/students/ https://tfiedor.github.io/tags/ https://tfiedor.github.io/talkmap.html https://tfiedor.github.io/talks/ https://tfiedor.github.io/terms/ https://tfiedor.github.io/year-archive/ https://tfiedor.github.io/markdown_generator/ https://tfiedor.github.io/files/cv.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/examples/maple-trees-perf.html 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/examples/maple-trees.html 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/examples/selinux-perf.html 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/examples/selinux-socket.html 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/examples/selinux.html 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/pubs/2015-01-nested-antichains.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/pubs/2017-01-lazy-techniques.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/pubs/2018-01-ranger.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/pubs/2019-01-nested-antichains.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/pubs/2022-01-perun.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/pubs/2023-01-cade.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/pubs/2024-01-mata.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/dp-stejskal.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/grzybowska-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/jirka-dp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/lysonek-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/matus-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/matus-dp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/ondra-michal-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/ondra-pavela-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/pavela-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/peter-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/podola-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/simon-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/files/thesis/vojta-bp.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/images/pubs/2023-01-cade-gallery-1.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/images/pubs/2023-01-cade-gallery-2.pdf 2025-02-04T18:56:58+01:00 https://tfiedor.github.io/talkmap/map.html 2025-02-04T18:56:58+01:00