Towards an Analysis of Dynamic Gossip in Netkat. - Malvin Gattinger; Jana Wagemaker (RAMiCS, 2018)

Kleene Algebra with Observations. - Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva 001; Jana Wagemaker; Fabio Zanasi (CONCUR, 2019)

Completeness and Incompleteness of Synchronous Kleene Algebra. - Jana Wagemaker; Marcello M. Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (MPC, 2019)

Partially Observable Concurrent Kleene Algebra. - Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (CONCUR, 2020)

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. - Tobias Kappé; Paul Brunet; Alexandra Silva 001; Jana Wagemaker; Fabio Zanasi (FoSSaCS, 2020)

Completeness Theorems for Kleene Algebra with Top. - Damien Pous; Jana Wagemaker (CONCUR, 2022)

Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. - Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva 001 (ESOP, 2022)

Centralized vs Decentralized Monitors for Hyperproperties. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Daniele Gorla; Jana Wagemaker (CONCUR, 2024)

On Tools for Completeness of Kleene Algebra with Hypotheses. - Damien Pous; Jurriaan Rot; Jana Wagemaker (Log. Methods Comput. Sci., 2024)

Completeness Theorems for Kleene algebra with tests and top. - Damien Pous; Jana Wagemaker (Log. Methods Comput. Sci., 2024)

StacKAT: Infinite State Network Verification. - Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva 001; Jana Wagemaker (Proc. ACM Program. Lang., 2025)