( en | de | ru )

 

Disambiguation of "Jaax, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Black Ninjas in the Dark: Formal Analysis of Population Protocols.

, , , and . LICS, page 1-10. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lambert Jaax

Rainer Jaax

Bruno Jaax

Miriam Jaax

Michael Jaax

 

Other publications of authors with the same name

Limit-Deterministic Büchi Automata for Linear Temporal Logic., , , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 312-332. Springer, (2016)Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs, , , and . Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science, page 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.Population Protocols: Expressiveness, Succinctness and Automatic Verification.. Technical University of Munich, Germany, (2020)Succinct Population Protocols for Presburger Arithmetic., , , , and . CoRR, (2019)Towards efficient verification of population protocols., , , and . Formal Methods Syst. Des., 57 (3): 305-342 (2021)On Affine Reachability Problems., and . MFCS, volume 170 of LIPIcs, page 48:1-48:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Succinct Population Protocols for Presburger Arithmetic., , , , and . STACS, volume 154 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/1910.04600">Link</a><br>#conference.Running Time Analysis of Broadcast Consensus Protocols., and . FoSSaCS, volume 12650 of Lecture Notes in Computer Science, page 164-183. Springer, (2021)The Complexity of Verifying Population Protocols., , , and . (2019)On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices., and . CoRR, (2019)https://arxiv.org/abs/1905.05114.