Jana Wagemaker

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Foundations of runtime monitoring through the lens of concurrency theory Bulletin of the European Association for Theoretical Computer Science EATCS	2026-05-12	Paper
Centralized vs decentralized monitors for hyperproperties	2026-02-10	Paper
Centralized vs. decentralized monitors for hyperproperties ACM Transactions on Computational Logic	2026-01-07	Paper
Completeness theorems for Kleene algebra with tests and top Logical Methods in Computer Science	2024-11-12	Paper
Completeness theorems for Kleene algebra with top	2024-08-13	Paper
On tools for completeness of Kleene algebra with hypotheses Logical Methods in Computer Science	2024-06-27	Paper
Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks Programming Languages and Systems	2023-08-03	Paper
On tools for completeness of Kleene algebra with hypotheses (available as arXiv preprint)	2023-03-30	Paper
Kleene algebra with observations (available as arXiv preprint)	2023-02-03	Paper
scientific article; zbMATH DE number 7559476 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
Concurrent Kleene algebra with observations: from hypotheses to completeness (available as arXiv preprint)	2020-09-23	Paper
Completeness and incompleteness of synchronous Kleene algebra (available as arXiv preprint)	2020-05-05	Paper
Towards an analysis of dynamic gossip in Net\textsc{kat}	2018-11-08	Paper

Research outcomes over time

This page was built for person: Jana Wagemaker