Jana Wagemaker

From MaRDI portal
Person:1617831

Available identifiers

zbMath Open wagemaker.janaMaRDI QIDQ1617831

List of research outcomes





PublicationDate of PublicationType
Completeness theorems for Kleene algebra with tests and top2024-11-12Paper
Completeness theorems for Kleene algebra with top2024-08-13Paper
On tools for completeness of Kleene algebra with hypotheses2024-06-27Paper
Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks2023-08-03Paper
On tools for completeness of Kleene algebra with hypotheses2023-03-30Paper
https://portal.mardi4nfdi.de/entity/Q58754032023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q50892852022-07-18Paper
Concurrent Kleene algebra with observations: from hypotheses to completeness2020-09-23Paper
Completeness and incompleteness of synchronous Kleene algebra2020-05-05Paper
Towards an analysis of dynamic gossip in Net\textsc{kat}2018-11-08Paper

Research outcomes over time

This page was built for person: Jana Wagemaker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1617831&oldid=6236708"
Powered by MediaWiki