https://reito.eu/portfolio/portfolio-1/ https://reito.eu/portfolio/portfolio-2/ https://reito.eu/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+02:00 https://reito.eu/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+02:00 https://reito.eu/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+02:00 https://reito.eu/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+02:00 https://reito.eu/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+01:00 https://reito.eu/publication/2018-07-16--StaticLatencyTracking 2018-07-16T00:00:00+02:00 https://reito.eu/publication/2018-12-20--MasterThesis 2018-12-20T00:00:00+01:00 https://reito.eu/publication/2019-01-16--POPL-SRC 2019-01-16T00:00:00+01:00 https://reito.eu/publication/2020-07-20--AbruptExit--TR 2020-07-20T00:00:00+02:00 https://reito.eu/publication/2020-07-23--AbruptExit 2020-07-23T00:00:00+02:00 https://reito.eu/publication/2021-07-18-GhostSignals 2021-07-18T00:00:00+02:00 https://reito.eu/publication/2022-11-21--ct4ms-arrays--TR 2023-05-05T00:00:00+02:00 https://reito.eu/publication/2023-06-17--ct4ms-arrays 2023-06-17T00:00:00+02:00 https://reito.eu/publication/2023-09-18--ct4ms-extended_abstract 2023-09-18T00:00:00+02:00 https://reito.eu/publication/2024-02-29--phd_dissertation 2024-02-29T00:00:00+01:00 https://reito.eu/talks/2018-01-16--SRC-POPL--StaticLatencyTracking 2019-01-16T00:00:00+01:00 https://reito.eu/talks/2020-07-23--FTfJP-AbruptExit 2020-07-23T00:00:00+02:00 https://reito.eu/talks/2021-07-20--CAV-GhostSignals 2021-07-20T00:00:00+02:00 https://reito.eu/talks/2023-10-18--Invited_Talk--St_Gallen--CTs 2023-10-18T00:00:00+02:00 https://reito.eu/talks/2023-10-22--SPLASH-Poster-CTs 2023-10-22T00:00:00+02:00 https://reito.eu/talks/2023-11-30--Invited_Talk--Portland--CTs 2023-11-30T00:00:00+01:00 https://reito.eu/teaching/2014-spring-teaching-1 2014-01-01T00:00:00+01:00 https://reito.eu/teaching/2015-spring-teaching-1 2015-01-01T00:00:00+01:00 https://reito.eu/ https://reito.eu/archive-layout-with-content/ https://reito.eu/categories/ https://reito.eu/collection-archive/ https://reito.eu/cv/ https://reito.eu/markdown/ https://reito.eu/non-menu-page/ https://reito.eu/page-archive/ https://reito.eu/portfolio/ https://reito.eu/publications/ https://reito.eu/sitemap/ https://reito.eu/student-resources/ https://reito.eu/tags/ https://reito.eu/talkmap.html https://reito.eu/talks/ https://reito.eu/teaching/ https://reito.eu/teaching/ https://reito.eu/terms/ https://reito.eu/year-archive/ https://reito.eu/_pages/notes/ https://reito.eu/notes/SL_notes/ https://reito.eu/markdown_generator/ https://reito.eu/files/paper1.pdf 2025-11-07T09:45:33+01:00 https://reito.eu/files/paper2.pdf 2025-11-07T09:45:33+01:00 https://reito.eu/files/paper3.pdf 2025-11-07T09:45:33+01:00 https://reito.eu/talkmap/map.html 2025-11-07T09:45:33+01:00