( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The complexity of verifying population protocols.

, , , и . Distributed Comput., 34 (2): 133-177 (2021)

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.

Lambert Jaax

Rainer Jaax

Bruno Jaax

Miriam Jaax

Michael Jaax

 

Другие публикации лиц с тем же именем

Limit-Deterministic Büchi Automata for Linear Temporal Logic., , , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 312-332. Springer, (2016)Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs, , , и . Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, том 12302 из Lecture Notes in Computer Science, стр. 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., , , , и . CoRR, (2019)Towards efficient verification of population protocols., , , и . Formal Methods Syst. Des., 57 (3): 305-342 (2021)On Affine Reachability Problems., и . MFCS, том 170 из LIPIcs, стр. 48:1-48:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Succinct Population Protocols for Presburger Arithmetic., , , , и . STACS, том 154 из LIPIcs, стр. 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., и . FoSSaCS, том 12650 из Lecture Notes in Computer Science, стр. 164-183. Springer, (2021)The Complexity of Verifying Population Protocols., , , и . (2019)On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices., и . CoRR, (2019)https://arxiv.org/abs/1905.05114.