https://emma-ahrens.de/portfolio/portfolio-1/ https://emma-ahrens.de/portfolio/portfolio-2/ https://emma-ahrens.de/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://emma-ahrens.de/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://emma-ahrens.de/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://emma-ahrens.de/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://emma-ahrens.de/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://emma-ahrens.de/publication/2020-09-28-Standard-Generators-for-Classical-Groups 2020-09-28T00:00:00+00:00 https://emma-ahrens.de/publication/2021-03-05-Local-Reasoning-for-Reconfigurable-Distributed-Systems 2021-03-05T00:00:00+00:00 https://emma-ahrens.de/publication/2022-09-30-Generalized-temporally-repeated-flows 2022-09-30T00:00:00+00:00 https://emma-ahrens.de/publication/2022-12-05-Reasoning-about-distributed-reconfigurable-systems 2022-12-05T00:00:00+00:00 https://emma-ahrens.de/publication/2025-04-09-Dial-a-ride-problem-in-primary-care 2025-04-09T00:00:00+00:00 https://emma-ahrens.de/publication/2025-07-04-Minimum-peak-cost-flows-over-time 2025-07-04T00:00:00+00:00 https://emma-ahrens.de/publication/2025-07-08-Weighted-rewriting-semiring-semantics-for-abstract-reduction-systems 2025-07-08T00:00:00+00:00 https://emma-ahrens.de/teaching/2023-master-thesis-quickest-transshipment 2023-04-01T00:00:00+00:00 https://emma-ahrens.de/teaching/2024-probabilistic-programming 2024-04-15T00:00:00+00:00 https://emma-ahrens.de/teaching/2024-proseminar-dsa 2024-04-15T00:00:00+00:00 https://emma-ahrens.de/teaching/2024-summer-unravel-workshop 2024-06-17T00:00:00+00:00 https://emma-ahrens.de/teaching/2024-savos 2024-10-01T00:00:00+00:00 https://emma-ahrens.de/teaching/2025-bachelor-thesis-loop-rules 2025-04-01T00:00:00+00:00 https://emma-ahrens.de/teaching/2025-bachelor-thesis-synthesis-weighted 2025-04-01T00:00:00+00:00 https://emma-ahrens.de/teaching/2025-bachelor-thesis-weighted-caesar 2025-04-01T00:00:00+00:00 https://emma-ahrens.de/teaching/2025-master-thesis-exercise-generation 2025-04-01T00:00:00+00:00 https://emma-ahrens.de/teaching/2025-model-checking-seminar 2025-04-09T00:00:00+00:00 https://emma-ahrens.de/teaching/2025-summer-unravel-survey-lecture 2025-04-17T00:00:00+00:00 https://emma-ahrens.de/teaching/2025-model-checking 2025-10-01T00:00:00+00:00 https://emma-ahrens.de/ https://emma-ahrens.de/archive-layout-with-content/ https://emma-ahrens.de/categories/ https://emma-ahrens.de/collection-archive/ https://emma-ahrens.de/cv-json/ https://emma-ahrens.de/cv/ https://emma-ahrens.de/markdown/ https://emma-ahrens.de/non-menu-page/ https://emma-ahrens.de/page-archive/ https://emma-ahrens.de/portfolio/ https://emma-ahrens.de/publications/ https://emma-ahrens.de/sitemap/ https://emma-ahrens.de/tags/ https://emma-ahrens.de/talkmap.html https://emma-ahrens.de/talks/ https://emma-ahrens.de/teaching/ https://emma-ahrens.de/terms/ https://emma-ahrens.de/year-archive/ https://emma-ahrens.de/files/SimCare/ https://emma-ahrens.de/markdown_generator/ https://emma-ahrens.de/files/2020-09-28-Standard-Generators-for-Classical-Groups.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/2021-03-05-Local-Reasoning-for-Reconfigurable-Distributed-Systems-slides.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/2021-03-05-Local-Reasoning-for-Reconfigurable-Distributed-Systems.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/2022-10-28-Generalized-temporally-repeated-flows.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/2022-12-05-Reasoning-about-distributed-reconfigurable-systems.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/2024-04-03-Weighted-programming.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/2024-08-10-Flows-Over-Time-LightningMathNight.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/2025-07-16-Weighted-rewriting.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/presentation.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/files/todo_Generalized_Temporally_Repeated_Flows_Emma_Ahrens.pdf 2025-08-30T14:35:06+00:00 https://emma-ahrens.de/talkmap/map.html 2025-08-30T14:35:06+00:00