Tobias Tebbi

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Reasoning Systems

Top Venues

Publications

Ross McIlroy, Jaroslav Sevcík, Tobias Tebbi, Ben L. Titzer, Toon Verwaest
Spectre is here to stay: An analysis of side-channels and speculative execution. CoRR (2019)
Jonas Kaiser, Tobias Tebbi, Gert Smolka
Equivalence of system f and ź2 in Coq based on context morphism lemmas. CPP (2017)
Steven Schäfer, Tobias Tebbi, Gert Smolka
Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions. ITP (2015)
Steven Schäfer, Gert Smolka, Tobias Tebbi
Completeness and Decidability of de Bruijn Substitution Algebra in Coq. CPP (2015)
Gert Smolka, Tobias Tebbi
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification. RTA (2013)
Mark Kaminski, Tobias Tebbi
InKreSAT: Modal Reasoning via Incremental Reduction to SAT. CADE (2013)