EasyChair Smart SlideDocs/Log in
Author: Florian Zuleger

This page shows all presentations of this author published in EasyChair Smart Slide.

Embedding Intuitionistic into Classical Logic

Embedding Intuitionistic into Classical Logic

Alexander Pluska and Florian Zuleger

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

Lorenz Leutgeb, Georg Moser and Florian Zuleger

On the Expressiveness of a Logic of Separated Relations

On the Expressiveness of a Logic of Separated Relations

Radu Iosif and Florian Zuleger

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger

Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms

Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms

Thomas Pani, Georg Weissenbacher and Florian Zuleger

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Tomas Brazdil, Krishnendu Chatterjee, Antonin Kucera, Petr Novotný, Dominik Velan and Florian Zuleger

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair