Jana Wagemaker

According to our database, Jana Wagemaker authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Completeness Theorems for Kleene algebra with tests and top.

Damien Pous, Jana Wagemaker

CoRR, 2023

2022

Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.

Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2022

Completeness Theorems for Kleene Algebra with Top.

Damien Pous, Jana Wagemaker

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

On Tools for Completeness of Kleene Algebra with Hypotheses.

Damien Pous, Jurriaan Rot, Jana Wagemaker

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Partially Observable Concurrent Kleene Algebra.

Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Completeness and Incompleteness of Synchronous Kleene Algebra.

Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Kleene Algebra with Observations.

Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Towards an Analysis of Dynamic Gossip in Netkat.

Malvin Gattinger, Jana Wagemaker

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018