Embedding Static Analysis into Tableaux and Sequent Based Frameworks. - Tobias Gedell (TABLEAUX, 2005)

Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. - Tobias Gedell; Jörgen Gustavsson; Josef Svenningsson (APLAS, 2006)

Verification by Parallelization of Parametric Code. - Tobias Gedell; Reiner Hähnle (Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006)

Automating Verification of Loops by Parallelization. - Tobias Gedell; Reiner Hähnle (LPAR, 2006)

Abstract Interpretation Plugins for Type Systems. - Tobias Gedell; Daniel Hedin (AMAST, 2008)

Combining and Strengthening Program Analysis and Verification. - Tobias Gedell (2008)