Thomas Weidner

According to our database, Thomas Weidner authored at least 7 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Model Checking Constraint LTL over Trees.

Alexander Kartzow, Thomas Weidner

CoRR, 2015

Probabilistic Regular Expressions and MSO Logic on Finite Trees.

Thomas Weidner

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Probabilistic ω-Regular Expressions.

Thomas Weidner

Proceedings of the Language and Automata Theory and Applications, 2014

Probabilistic Logic and Probabilistic Automata.

Thomas Weidner

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2012

Probabilistic Automata and Probabilistic Logic.

Thomas Weidner

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

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

Comput. Graph. Forum, 2011

Size and Computation of Injective Tree Automatic Presentations.

Dietrich Kuske, Thomas Weidner

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011