David N. Jansen | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Moshe Y. Vardi
92 publications
Andreas Zeller
18 publications
Song Gao
14 publications
Jan Friso Groote
14 publications
Chen Fu
6 publications
Jeroen J. A. Keiren
6 publications
Anton Wijs
5 publications
Benjamin Bisping
4 publications
Konstantin Kuznetsov
2 publications

research

∙ 05/28/2023

Linear-Time–Branching-Time Spectroscopy Accounting for Silent Steps

We provide the first generalized game characterization of van Glabbeek's...

0 Benjamin Bisping, et al. ∙

research

∙ 05/07/2021

What do all these Buttons do? Statically Mining Android User Interfaces at Scale

We introduce FRONTMATTER: a tool to automatically mine both user interfa...

0 Konstantin Kuznetsov, et al. ∙

research

∙ 09/24/2019

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Branching bisimilarity is a behavioural equivalence relation on labelled...

0 David N. Jansen, et al. ∙

Success!

An error occurred