Stefan Jaax

From MaRDI portal
Person:2025854

Available identifiers

zbMath Open jaax.stefanMaRDI QIDQ2025854

List of research outcomes





PublicationDate of PublicationType
Succinct Population Protocols for Presburger Arithmetic2023-02-07Paper
Expressive Power of Broadcast Consensus Protocols2023-02-03Paper
On Affine Reachability Problems2022-07-18Paper
Towards efficient verification of population protocols2021-12-08Paper
Running time analysis of broadcast consensus protocols2021-10-18Paper
The complexity of verifying population protocols2021-05-17Paper
Black Ninjas in the dark: formal analysis of population protocols2021-01-20Paper
Large flocks of small birds: on the minimal size of population protocols2020-08-05Paper
Limit-deterministic Büchi automata for linear temporal logic2019-05-03Paper
Towards efficient verification of population protocols2017-10-11Paper

Research outcomes over time

This page was built for person: Stefan Jaax

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