Stefan Schlobach | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Erman Acar
11 publications
Wanwei Liu
9 publications
Albert Meroño-Peñuela
6 publications
Christophe Guéret
5 publications
Yisong Wang
4 publications
Renyan Feng
1 publication

research

∙ 03/13/2020

On Sufficient and Necessary Conditions in Bounded CTL

Computation Tree Logic (CTL) is one of the central formalisms in formal ...

5 Renyan Feng, et al. ∙

research

∙ 05/12/2015

Release Early, Release Often: Predicting Change in Versioned Knowledge Organization Systems on the Web

The Semantic Web is built on top of Knowledge Organization Systems (KOS)...

0 Albert Meroño-Peñuela, et al. ∙

Success!

An error occurred