| 2024 |
On Tools for Completeness of Kleene Algebra with Hypotheses
[LMCS]
Damien Pous, Jurriaan Rot, Jana Wagemaker |
| 2024 |
Centralized vs Decentralized Monitors for Hyperproperties
[To Appear at CONCUR]
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2022 |
Completeness Theorems for Kleene Algebra with Top
[CONCUR]
Damien Pous, Jana Wagemaker |
| 2022 |
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks
[ESOP]
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva |
| 2021 |
On Tools for Completeness of Kleene Algebra with Hypotheses
[RAMiCS]
Damien Pous, Jurriaan Rot, Jana Wagemaker |
| 2020 |
Partially Observable Concurrent Kleene Algebra
[CONCUR]
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva |
| 2020 |
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
[FoSSaCS]
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 |
Kleene Algebra with Observations
[CONCUR]
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 |
Completeness and Incompleteness of Synchronous Kleene Algebra
[MPC]
Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva |
| 2018 |
Towards an Analysis of Dynamic Gossip in Netkat
[RAMiCS]
Malvin Gattinger, Jana Wagemaker |