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 |
|---|---|---|
| Invariants for one-counter automata with disequality tests | 2026-02-10 | Paper |
| Verification of population protocols with unordered data | 2026-01-14 | Paper |
| Temporal hyperproperties for population protocols | 2025-12-04 | Paper |
| Checking presence reachability properties on parameterized shared-memory systems | 2024-12-03 | Paper |
| Parameterized broadcast networks with registers: from NP to the frontiers of decidability | 2024-10-30 | Paper |
| Parameterized safety verification of round-based shared-memory systems | 2024-06-24 | Paper |
Research outcomes over time
This page was built for person: Nicolas Waldburger
