Tobias Gedell

	2008
5		Tobias Gedell, Daniel Hedin: Abstract Interpretation Plugins for Type Systems. AMAST 2008: 184-198
	2006
4		Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson: Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. APLAS 2006: 200-216
3		Tobias Gedell, Reiner Hähnle: Verification by Parallelization of Parametric Code. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 138-159
2		Tobias Gedell, Reiner Hähnle: Automating Verification of Loops by Parallelization. LPAR 2006: 332-346
	2005
1		Tobias Gedell: Embedding Static Analysis into Tableaux and Sequent Based Frameworks. TABLEAUX 2005: 108-122

Coauthor Index

1	Jörgen Gustavsson	[4]
2	Reiner Hähnle	[2] [3]
3	Daniel Hedin	[5]
4	Josef Svenningsson	[4]

Colors in the list of coauthors