Emma Ahrens

Orcid: 0000-0002-6394-3351

According to our database¹, Emma Ahrens authored at least 7 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025).

[BibT_eX]

[DOI]

Emma Ahrens

Jan-Christoph Kassing

ACM SIGLOG News, October, 2025

Minimum-Peak-Cost Flows Over Time.

[BibT_eX]

[DOI]

CoRR, July, 2025

Report on Probability in Computer Science (PICS) 2024.

[BibT_eX]

[DOI]

Emma Ahrens

Christina Gehnen

Lena Verscht

ACM SIGLOG News, January, 2025

Minimum-Peak-Cost Flows Over Time.

[BibT_eX]

[DOI]

Networks, 2025

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems.

[BibT_eX]

[DOI]

Emma Ahrens

Jan-Christoph Kassing

Jürgen Giesl

Joost-Pieter Katoen

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2022

Reasoning about distributed reconfigurable systems.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2021

Local Reasoning about Parameterized Reconfigurable Distributed Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Emma Ahrens

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...