Ullrich Hustadt | DeepAI

DeepAI

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

Featured Co-authors

Lan Zhang
27 publications
Michael Fisher
25 publications
Sven Linker
8 publications
Clare Dixon
5 publications
Paul Gainer
3 publications
Cláudia Nalon
1 publication

research

∙ 09/27/2018

Multi-Scale Verification of Distributed Synchronisation

Algorithms for the synchronisation of clocks across networks are both co...

0 Paul Gainer, et al. ∙

research

∙ 04/03/2014

A Resolution Prover for Coalition Logic

We present a prototype tool for automated reasoning for Coalition Logic,...

0 Cláudia Nalon, et al. ∙