Tamara Flemisch und Méndez - Info zur Person

(1 - 8 von 9

)

Annett Mitschick | Interactive Media Lab Dresden

imld.de

May 09, · Betreuung: Tamara Flemisch, Annett Mitschick, Raimund Dachselt. Redesign and Implementation of an Interactive Visualization for AI Explainability [CMS-PROJ, WiSe ] Julián Jesús Méndez Oconitrillo 1. Dezember bis 8. März Betreuung: Tamara Flemisch, Annett Mitschick, Raimund Dachselt.

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 Méndez Person-Info