Tamara Flemisch und Horak - Info zur Person

(1 - 9 von 10

)

WELCOME TO. November , Dresden, Germany - PDF Free Download

estatedocbox.com

Universität Dresden Wolfgang Büschel, Technische Universität Dresden Victor Cheung, University of Waterloo Tamara Flemisch, Technische Universität Dresden Nippun Goyal, University of Waterloo Tom Horak, Technische Universität Dresden ...

Ricardo Langner | Interactive Media Lab Dresden

imld.de

author = {Ricardo Langner and Ulrike Kister and Christin Engel and Tom Horak and Raimund Dachselt}, ... Tamara Flemisch 18. September bis 17. April

Visual Analysis of Hyperproperties for Understanding ...arXiv

arxiv.org

von T Horak · · Zitiert von: 4 — Authors:Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, ...

Julián Méndez | Interactive Media Lab Dresden

mt.inf.tu-dresden.de

May 04, · author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Juli\'{a}n M\'{e}ndez and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt}, title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results}, journal = {IEEE Transactions on Visualization and Computer Graphics},

Visual Analysis of Hyperproperties for Understanding Model â€¦

www.react.uni-saarland.de

Å½iniatinklisTom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt. Model â€¦

Two Contributions at the IEEE VIS | Interactive Media Lab …

mt.inf.tu-dresden.de

Nov 04, · The IEEE VIS (IEEE Visualization & Visual Analytics) took place from October 24 to 29, where our group presented two contributions.. Visual Analysis of Hyperproperties for Understanding Model Checking Results. Product of a collaboration between the IMLD (with Tom Horak, Tamara Flemisch, Julian Méndez, Dennis Dimov, and Raimund Dachselt) and the …

‪Tamara Flemisch‬ - ‪Google Scholar‬

scholar.google.com

Tamara Flemisch. Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams. T Horak, N Coenen, N Metzger, C Hahn, T Flemisch, J Méndez, D Dimov, ... Proceedings of the International Working Conference on Advanced ...

Christopher Hahnchristopherhahn.io

www.christopherhahn.io

Tom Horak, Norine Coenen, Niklas Metzger, C.H., Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, and Raimund Dachselt

Tom Horak

tom-horak.de

Visual Analysis of Hyperproperties for Understanding Model Checking Results Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt.In: IEEE Transactions on Visualization and Computer Graphics. IEEEVIS '21 / TVCG Journal Article Details

Alle Infos zum Namen "Tamara Flemisch"

Verwandte Suchanfragen zu Tamara Flemisch

Dennis Dimov
Patrick Reipschläger
Hendrik Lehmann

Julián Méndez
Raimund Dachselt
Christopher Hahn

Mark Hancock
Franz Baader
Thomas Weyres

Personen
Vorname "Tamara" (12627)
Name "Flemisch" (52)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Tamara Flemisch und Horak Person-Info