Nate Foster
From MaRDI portal
Person:1660926
Available identifiers
zbMath Open foster.nateMaRDI QIDQ1660926
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks | 2023-08-03 | Paper |
| Optimal consistent network updates in polynomial time | 2018-08-16 | Paper |
| Cantor meets Scott: semantic foundations for probabilistic networks | 2017-10-20 | Paper |
| A fast compiler for NetKAT | 2017-05-10 | Paper |
| A coalgebraic decision procedure for NetKAT | 2016-09-29 | Paper |
| Probabilistic NetKAT | 2016-04-26 | Paper |
| Matching lenses: alignment and view update | 2015-03-05 | Paper |
| Three complementary approaches to bidirectional programming | 2012-11-21 | Paper |
Research outcomes over time
This page was built for person: Nate Foster