Autor der Publikation

Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours.

, und . J. Log. Algebraic Methods Program., (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours., und . J. Log. Algebraic Methods Program., (2019)Deterministic 3SUM-Hardness., , und . ITCS, Volume 287 von LIPIcs, Seite 49:1-49:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)A Structural Investigation of the Approximability of Polynomial-Time Problems., , , und . ICALP, Volume 229 von LIPIcs, Seite 30:1-30:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Faster Combinatorial k-Clique Algorithms., , und . LATIN (1), Volume 14578 von Lecture Notes in Computer Science, Seite 193-206. Springer, (2024)Stronger 3-SUM Lower Bounds for Approximate Distance Oracles via Additive Combinatorics., , und . STOC, Seite 391-404. ACM, (2023)Dynamic Dynamic Time Warping., , , , , und . CoRR, (2023)Faster Sublinear-Time Edit Distance., , , und . SODA, Seite 3274-3301. SIAM, (2024)The Effect of Sparsity on k-Dominating Set and Related First-Order Graph Properties., , und . SODA, Seite 4704-4727. SIAM, (2024)Negative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster!, , und . FOCS, Seite 515-538. IEEE, (2023)Can You Solve Closest String Faster Than Exhaustive Search?, , , , und . ESA, Volume 274 von LIPIcs, Seite 3:1-3:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)