Tom Horak | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Bernd Finkbeiner
77 publications
Christopher Hahn
22 publications
Raimund Dachselt
13 publications
Christian Tominski
9 publications
Norine Coenen
8 publications
Niklas Metzger
7 publications
Heidrun Schumann
6 publications
Julian Siber
5 publications
Hadar Frenkel
4 publications
Julián Méndez
3 publications
Philip Berger
2 publications

research

∙ 06/04/2022

Explaining Hyperproperty Violations

Hyperproperties relate multiple computation traces to each other. Model ...

0 Norine Coenen, et al. ∙

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

Responsive Matrix Cells: A Focus+Context Approach for Exploring and Editing Multivariate Graphs

Matrix visualizations are a useful tool to provide a general overview of...

0 Tom Horak, et al. ∙