Stefan Jaax
From MaRDI portal
Person:2025854
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 |
|---|---|---|
| Succinct Population Protocols for Presburger Arithmetic (available as arXiv preprint) | 2023-02-07 | Paper |
| Expressive Power of Broadcast Consensus Protocols (available as arXiv preprint) | 2023-02-03 | Paper |
| On Affine Reachability Problems (available as arXiv preprint) | 2022-07-18 | Paper |
| Towards efficient verification of population protocols Formal Methods in System Design | 2021-12-08 | Paper |
| Running time analysis of broadcast consensus protocols (available as arXiv preprint) | 2021-10-18 | Paper |
| The complexity of verifying population protocols Distributed Computing | 2021-05-17 | Paper |
| Black Ninjas in the dark: formal analysis of population protocols Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Large flocks of small birds: on the minimal size of population protocols (available as arXiv preprint) | 2020-08-05 | Paper |
| Limit-deterministic Büchi automata for linear temporal logic Computer Aided Verification | 2019-05-03 | Paper |
| Towards efficient verification of population protocols Proceedings of the ACM Symposium on Principles of Distributed Computing | 2017-10-11 | Paper |
Research outcomes over time
This page was built for person: Stefan Jaax
