( en | de | ru )

 

Disambiguierung von "Zuleger, Florian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments.

, , , und . AAMAS, Seite 1190-1199. ACM, (2016)

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.

Rolf Zuleger

Hans Zuleger

Martin Zuleger

Werner Zuleger

Brigitte Zuleger

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking., , , und . TACAS (2), Volume 11428 von Lecture Notes in Computer Science, Seite 357-374. Springer, (2019)From Shapes to Amortized Complexity., , , , , und . VMCAI, Volume 10747 von Lecture Notes in Computer Science, Seite 205-225. Springer, (2018)Loop Patterns in C Programs., , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2015)Sound One-Phase Shape Analysis with Biabduction., , , und . CoRR, (2023)Type-Based Analysis of Logarithmic Amortised Complexity., , , , und . CoRR, (2021)Feedback generation for performance problems in introductory programming assignments., , und . SIGSOFT FSE, Seite 41-51. ACM, (2014)Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic., , , und . LPAR (Workshop and Short Papers), Volume 9 von Kalpa Publications in Computing, Seite 23-36. EasyChair, (2018)Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions., und . LPAR, Volume 73 von EPiC Series in Computing, Seite 390-408. EasyChair, (2020)On the Expressive Power of Communication Primitives in Parameterised Systems., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 313-328. Springer, (2015)A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 745-761. Springer, (2014)