Caroline Lemke

Kontakt

Caroline Lemke

A02 3-338 (» Adress and map)

Secretary

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Caroline Lemke

Research Interests

Verification
Games and Automata
Responsibility
Linearizability

Caroline Lemke

Lectures

Summer term 2026

2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.

2.01.801-B Forschungsseminar Formale Methoden

Publications

[article] bibtex | Go to document
L. A. Barthel, L. M. Hübner, C. Lemke, K. P. P. Mattes, L. Mollenkopf, and B. Bisping, "The Weak Spectroscopy Game to Characterize Behavioral Equivalences" Archive of Formal Proofs. 2025.
@article{Weak_Spectroscopy-AFP, author = {Lisa A. Barthel and Leonard M. Hübner and Caroline Lemke and Karl P. P. Mattes and Lenard Mollenkopf and Benjamin Bisping}, title = {The Weak Spectroscopy Game to Characterize Behavioral Equivalences}, journal = {Archive of Formal Proofs}, month = {November}, year = {2025}, url = {https://isa-afp.org/entries/Weak_Spectroscopy.html}, note = {Formal proof development}, ISSN = {2150-914x}, }
[article] bibtex | Go to document
C. Lemke, "Galois Energy Games" Archive of Formal Proofs. 2025.
@article{Galois_Energy_Games-AFP, author = {Caroline Lemke}, title = {Galois Energy Games}, journal = {Archive of Formal Proofs}, month = {May}, year = {2025}, url = {https://isa-afp.org/entries/Galois_Energy_Games.html}, note = {Formal proof development}, ISSN = {2150-914x}, }
[inproceedings] bibtex | Go to document
C. Lemke and B. Bisping, "Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems" in Proc. 36th International Conference on Concurrency Theory (CONCUR 2025), Dagstuhl, Germany, 2025.
doi: 10.4230/LIPIcs.CONCUR.2025.29
@InProceedings{lemke_et_al:LIPIcs.CONCUR.2025.29, author = {Lemke, Caroline and Bisping, Benjamin}, title = {{Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems}}, booktitle = {36th International Conference on Concurrency Theory (CONCUR 2025)}, pages = {29:1--29:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-389-8}, ISSN = {1868-8969}, year = {2025}, volume = {348}, editor = {Bouyer, Patricia and van de Pol, Jaco}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.29}, URN = {urn:nbn:de:0030-drops-239795}, doi = {10.4230/LIPIcs.CONCUR.2025.29}, annote = {Keywords: Energy games, Galois connection, Reachability, Game theory, Decidability}

(Changed: 11 Feb 2026) | Kurz-URL:Shortlink: https://uol.de/p110914en

Sprache wechseln

Change Language

Hell-/Dunkelmodus

Light mode / Dark mode

Caroline Lemke

Kontakt

Caroline Lemke

Secretary

Caroline Lemke

Research Interests

Caroline Lemke

Lectures

Publications