( en | de | ru )

 

Disambiguierung von "Czerner, Philipp"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computing Inductive Invariants of Regular Abstraction Frameworks.

, , , und . CONCUR, Volume 311 von LIPIcs, Seite 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

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.

Peter Czerner

Gerhard Czerner

Dörte Czerner

Angela Czerner

Stephan Czerner

 

Weitere Publikationen von Autoren mit dem selben Namen

A Resolution-Based Interactive Proof System for UNSAT., , und . FoSSaCS (2), Volume 14575 von Lecture Notes in Computer Science, Seite 116-136. Springer, (2024)Lower Bounds on the State Complexity of Population Protocols., und . PODC, Seite 45-54. ACM, (2021)The Black Ninjas and the Sniper: On Robustness of Population Protocols., , , , und . CoRR, (2024)Leaderless Population Protocols Decide Double-exponential Thresholds. CoRR, (April 2022)Compact Oblivious Routing in Weighted Graphs., und . ESA, Volume 173 von LIPIcs, Seite 36:1-36:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Brief Announcement: The Expressive Power of Uniform Population Protocols with Logarithmic Space., , und . DISC, Volume 319 von LIPIcs, Seite 44:1-44:7. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms., , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 437-458. Springer, (2023)Running Time Analysis of Broadcast Consensus Protocols., und . FoSSaCS, Volume 12650 von Lecture Notes in Computer Science, Seite 164-183. Springer, (2021)The Black Ninjas and the Sniper: On Robust Population Protocols., , , , und . Principles of Verification (3), Volume 15262 von Lecture Notes in Computer Science, Seite 206-233. Springer, (2024)dodo., , , und . (Juli 2024)