Jana Wagemaker

24 papers A 1B 6C 2Journal 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Centralized vs. Decentralized Monitors for Hyperproperties.
ACM Trans. Comput. Log.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2025 J jnl
Generalised Möbius Categories and Convolution Kleene Algebras.
CoRR
James Cranch, Georg Struth, Jana Wagemaker
2025 J jnl
Kleene Algebra.
CoRR
Tobias Kappé, Alexandra Silva, Jana Wagemaker
2025 J jnl
StacKAT: Infinite State Network Verification.
CoRR
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2025 J jnl
StacKAT: Infinite State Network Verification.
Proc. ACM Program. Lang.
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2024 B conf
Centralized vs Decentralized Monitors for Hyperproperties.
CONCUR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Centralized vs Decentralized Monitors for Hyperproperties.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Completeness Theorems for Kleene algebra with tests and top.
Log. Methods Comput. Sci.
Damien Pous, Jana Wagemaker
2024 J jnl
On Tools for Completeness of Kleene Algebra with Hypotheses.
Log. Methods Comput. Sci.
Damien Pous, Jurriaan Rot, Jana Wagemaker
2023 J jnl
Completeness Theorems for Kleene algebra with tests and top.
CoRR
Damien Pous, Jana Wagemaker
2022 B conf
Completeness Theorems for Kleene Algebra with Top.
CONCUR
Damien Pous, Jana Wagemaker
2022 A conf
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.
ESOP
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022 J jnl
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks.
CoRR
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022 J jnl
On Tools for Completeness of Kleene Algebra with Hypotheses.
CoRR
Damien Pous, Jurriaan Rot, Jana Wagemaker
2021 C conf
On Tools for Completeness of Kleene Algebra with Hypotheses.
RAMiCS
Damien Pous, Jurriaan Rot, Jana Wagemaker
2020 B conf
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
FoSSaCS
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020 J jnl
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness.
CoRR
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020 B conf
Partially Observable Concurrent Kleene Algebra.
CONCUR
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020 J jnl
Partially Observable Concurrent Kleene Algebra.
CoRR
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019 B conf
Completeness and Incompleteness of Synchronous Kleene Algebra.
MPC
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019 J jnl
Completeness and Incompleteness of Synchronous Kleene Algebra.
CoRR
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019 B conf
Kleene Algebra with Observations.
CONCUR
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2018 J jnl
Kleene Algebra with Observations.
CoRR
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2018 C conf
Towards an Analysis of Dynamic Gossip in Netkat.
RAMiCS
Malvin Gattinger, Jana Wagemaker