Thomas Weidner

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Bregman Divergences

Probabilistic Automata

Relative Entropy

Regular Expressions

Top Venues

Joint Workshop of the German Research Training Groups in Computer Science

Publications

Thomas Weidner
Probabilistic Regular Expressions and MSO Logic on Finite Trees. FSTTCS (2015)
Alexander Kartzow, Thomas Weidner
Model Checking Constraint LTL over Trees. CoRR (2015)
Thomas Weidner
Probabilistic Logic and Probabilistic Automata. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Thomas Weidner
Probabilistic ω-Regular Expressions. LATA (2014)
Thomas Weidner
Probabilistic Automata and Probabilistic Logic. MFCS (2012)
Dietrich Kuske, Thomas Weidner
Size and Computation of Injective Tree Automatic Presentations. MFCS (2011)
Heike Jänicke, Thomas Weidner, David H. S. Chung, Robert S. Laramee, Peter Townsend, Min Chen
Visual Reconstructability as a Quality Metric for Flow Visualization. Comput. Graph. Forum 30 (3) (2011)