InKreSAT: Modal Reasoning via Incremental Reduction to SAT. - Mark Kaminski; Tobias Tebbi (CADE, 2013)

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification. - Gert Smolka; Tobias Tebbi (RTA, 2013)

Completeness and Decidability of de Bruijn Substitution Algebra in Coq. - Steven Schäfer; Gert Smolka; Tobias Tebbi (CPP, 2015)

Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions. - Steven Schäfer; Tobias Tebbi; Gert Smolka (ITP, 2015)

Equivalence of system f and ź2 in Coq based on context morphism lemmas. - Jonas Kaiser; Tobias Tebbi; Gert Smolka (CPP, 2017)

Spectre is here to stay: An analysis of side-channels and speculative execution. - Ross McIlroy; Jaroslav Sevcík; Tobias Tebbi; Ben L. Titzer; Toon Verwaest (CoRR, 2019)