( en | de | ru )

 

Disambiguierung von "Jaax, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices.

, und . CoRR, (2019)https://arxiv.org/abs/1905.05114.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Lambert Jaax

Rainer Jaax

Bruno Jaax

Miriam Jaax

Michael Jaax

 

Weitere Publikationen von Autoren mit dem selben Namen

Limit-Deterministic Büchi Automata for Linear Temporal Logic., , , und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 312-332. Springer, (2016)Running Time Analysis of Broadcast Consensus Protocols., und . FoSSaCS, Volume 12650 von Lecture Notes in Computer Science, Seite 164-183. Springer, (2021)Succinct Population Protocols for Presburger Arithmetic., , , , und . STACS, Volume 154 von LIPIcs, Seite 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs, , , und . Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, Volume 12302 von Lecture Notes in Computer Science, Seite 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, , , , und . (2019)On Affine Reachability Problems., und . MFCS, Volume 170 von LIPIcs, Seite 48:1-48:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)The Complexity of Verifying Population Protocols., , , und . Distributed Computing, (2021)https://arxiv.org/abs/1912.06578.On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices., und . CoRR, (2019)https://arxiv.org/abs/1905.05114.Expressive Power of Oblivious Consensus Protocols, , und . (2019)