David Obwaller

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 3

Top Topics

Quantitative Analysis

Production System

Human Interaction

Top Venues

Math. Struct. Comput. Sci.

Publications

Martin Hofmann, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger
Type-based analysis of logarithmic amortised complexity. Math. Struct. Comput. Sci. 32 (6) (2022)
Martin Hofmann, Lorenz Leutgeb, Georg Moser, David Obwaller, Florian Zuleger
Type-Based Analysis of Logarithmic Amortised Complexity. CoRR (2021)
Stéphane Gimenez, David Obwaller
Interaction Automata and the ia2d Interpreter. FSCD (2016)