Tamara Flemisch | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Bernd Finkbeiner
77 publications
Christopher Hahn
22 publications
Raimund Dachselt
13 publications
Norine Coenen
8 publications
Niklas Metzger
7 publications
Tom Horak
3 publications
Julián Méndez
3 publications
Dennis Dimov
1 publication
Patrick Reipschläger
1 publication

research

∙ 08/08/2021

Visual Analysis of Hyperproperties for Understanding Model Checking Results

Model checkers provide algorithms for proving that a mathematical model ...

0 Tom Horak, et al. ∙

research

∙ 09/07/2020

Personal Augmented Reality for Information Visualization on Large Interactive Displays

In this work we propose the combination of large interactive displays wi...

0 Patrick Reipschläger, et al. ∙