Jana Wagemaker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2019–2026
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Continuous Algebras with Hypotheses. | Lukas Mulder, Damien Pous, Jana Wagemaker |
| 2026 | CONCUR | GKAT with Hoare Hypotheses. | Jurriaan Rot, Todd Schmid, Jana Wagemaker |
| 2026 | ECOOP | NEST: Network Enforced Session Types. | Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, Nate Foster |
| 2024 | CONCUR | Centralized vs Decentralized Monitors for Hyperproperties. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2022 | CONCUR | Completeness Theorems for Kleene Algebra with Top. | Damien Pous, Jana Wagemaker |
| 2022 | ESOP | Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. | Jana Wagemaker, Nate Foster, Tobias Kapp, Dexter Kozen, Jurriaan Rot, Alexandra Silva |
| 2020 | CONCUR | Partially Observable Concurrent Kleene Algebra. | Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2020 | FOSSACS | Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | CONCUR | Kleene Algebra with Observations. | Tobias Kapp, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | MPC | Completeness and Incompleteness of Synchronous Kleene Algebra. | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kapp, Jurriaan Rot, Alexandra Silva |