Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Emma Ahrens

dblp:297/4121 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
3since 2021 · last 2025
0000-0002-6394-3351ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Reconfigurable computing and FPGAs · 100%

Topics — the 1 heaviest of 1, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Reconfigurable computing and FPGAs
reconfigurable computing
0.612022
Reasoning about distributed reconfigurable systems · Proc. ACM Program. Lang. 2022
YearPublicationVenuePosition
2025 Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen
FSCD1
2025 Minimum-Peak-Cost Flows Over Time
abstract
ABSTRACT Peak cost is a novel objective for flows over time that describes the amount of workforce necessary to run a system. We focus on minimizing peak costs in the context of maximum temporally repeated flows and formulate the corresponding MPC‐MTRF problem. First, we discuss the limitations that emerge when restricting the solution space to integral temporally repeated flows, which is motivated by practical applications. We show that, in general, MPC‐MTRF has an integrality gap of and an arbitrarily bad approximation ratio compared to general flows over time. We proceed with a complexity analysis for MPC‐MTRF and show that both the decision version and the optimization version of integral MPC‐MTRF are strongly ‐hard, even under strong restrictions. On the positive side, we identify two special cases that are solvable in polynomial time: unit‐cost series‐parallel networks and networks with time horizon at least twice as long as the longest path in the network with respect to the transit time. Moreover, in both cases, we provide an explicit algorithm that constructs an integral optimal solution.
Mariia Anapolska, Emma Ahrens, Christina Büsing, Felix Engelhardt, Timo Gersing, Corinna Mathwieser, Sabrina Schmitz, Sophia Wrede
Networks2
2022 Reasoning about distributed reconfigurable systems
abstract
International audience
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
Proc. ACM Program. Lang.1