Florian Zuleger
Technische Universität Wien
H-index: 23
Europe-Austria
Top articles of Florian Zuleger
Deciding Boolean Separation Logic via Small Models
2024/4/4
Florian Zuleger
H-Index: 17
Tree-Verifiable Graph Grammars
arXiv preprint arXiv:2402.17015
2024/2/26
Florian Zuleger
H-Index: 17
Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
arXiv preprint arXiv:2402.16150
2024/2/25
Florian Zuleger
H-Index: 17
Expressiveness results for an inductive logic of separated relations
arXiv preprint arXiv:2307.02381
2023/7/5
Florian Zuleger
H-Index: 17
Stochastic best-effort strategies for Borel goals
2023/6/26
Giuseppe De Giacomo
H-Index: 33
Florian Zuleger
H-Index: 17
Embedding Intuitionistic into Classical Logic
Proceedings of 24th International Conference on Logic
2023/6/3
Florian Zuleger
H-Index: 17
A decision procedure for guarded separation logic complete entailment checking for separation logic with inductive definitions
ACM Transactions on Computational Logic
2023/1/18
Florian Zuleger
H-Index: 17
Algorithmenerkennung und Programmreparatur mittels Dynamischer ProgrammanalyseAlgorithmenerkennung und Programmreparatur mittels Dynamischer Programmanalyse
2023
Florian Zuleger
H-Index: 17
A Formalization of Heisenbugs and Their Causes
2023/10/31
Georg Weissenbacher
H-Index: 16
Florian Zuleger
H-Index: 17
The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
arXiv preprint arXiv:2310.09542
2023/10/14
Florian Zuleger
H-Index: 17
Characterizations of Definable Context-Free Graphs
arXiv preprint arXiv:2310.04764
2023/10/7
Florian Zuleger
H-Index: 17
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Formal Methods in System Design
2023/10/6
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
arXiv preprint arXiv:2310.02466
2023/10/3
Florian Zuleger
H-Index: 17
Sound One-Phase Shape Analysis with Biabduction
arXiv preprint arXiv:2307.06346
2023/7/12
Florian Zuleger
H-Index: 17
Strong-separation Logic (Extended Version)
ACM Letters on Programming Languages and Systems
2022
Florian Zuleger
H-Index: 17
Low-Level Bi-Abduction (Artifact)
2022
Florian Zuleger
H-Index: 17
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments.
2022
Giuseppe De Giacomo
H-Index: 33
Florian Zuleger
H-Index: 17
Automated expected amortised cost analysis of probabilistic data structures
2022/8/6
Georg Moser
H-Index: 11
Florian Zuleger
H-Index: 17
On the Expressiveness of a Logic of Separated Relations
arXiv preprint arXiv:2208.01520
2022/8/2
Florian Zuleger
H-Index: 17
Strong-separation logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
2022/7/15
Florian Zuleger
H-Index: 17