Tamara Flemisch

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 7

Top Topics

Fully Autonomous

Modular Structure

Information Visualization

Alternating Time Temporal Logic

Top Venues

IEEE Trans. Vis. Comput. Graph.

Description Logics

Publications

Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28 (1) (2022)
Patrick Reipschläger, Tamara Flemisch, Raimund Dachselt
Personal Augmented Reality for Information Visualization on Large Interactive Displays. IEEE Trans. Vis. Comput. Graph. 27 (2) (2021)
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR (2021)
Patrick Reipschläger, Tamara Flemisch, Raimund Dachselt
Personal Augmented Reality for Information Visualization on Large Interactive Displays. CoRR (2020)
Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Description Logics (2020)
Tamara Flemisch, Ricardo Langner, Christian Alrabbaa, Raimund Dachselt
Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams. VOILA@ISWC (2020)
Javad Sadeghi, Charles Perin, Tamara Flemisch, Mark S. Hancock, Sheelagh Carpendale
Flexible Trees: Sketching Tree Layouts. AVI (2016)
Tamara Flemisch, André Viergutz, Raimund Dachselt
Easy authoring of variable gestural expressions for a humanoid robot. HRI (2014)
André Viergutz, Tamara Flemisch, Raimund Dachselt
Increasing the expressivity of humanoid robots with variable gestural expressions. HRI (2014)