Size and Computation of Injective Tree Automatic Presentations. - Dietrich Kuske; Thomas Weidner (MFCS, 2011)

Visual Reconstructability as a Quality Metric for Flow Visualization. - Heike Jänicke; Thomas Weidner; David H. S. Chung; Robert S. Laramee; Peter Townsend; Min Chen 001 (Comput. Graph. Forum, 2011)

Probabilistic Automata and Probabilistic Logic. - Thomas Weidner (MFCS, 2012)

Probabilistic Logic and Probabilistic Automata. - Thomas Weidner (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Probabilistic ω-Regular Expressions. - Thomas Weidner (LATA, 2014)

Probabilistic Regular Expressions and MSO Logic on Finite Trees. - Thomas Weidner (FSTTCS, 2015)

Model Checking Constraint LTL over Trees. - Alexander Kartzow; Thomas Weidner (CoRR, 2015)