Thomas Haas | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ichiro Hasuo
35 publications
Roland Meyer
17 publications
Antonio Paolillo
9 publications
Toru Takisaka
8 publications
Ming Fu
2 publications
Hernán Ponce-de-León
2 publications
Diogo Behrens
2 publications
Kittiphon Phalakarn
1 publication
Rafael Chehab
1 publication

research

∙ 11/30/2021

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models

Developing concurrent software is challenging, especially if it has to r...

0 Antonio Paolillo, et al. ∙

research

∙ 07/15/2020

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

Solving stochastic games with the reachability objective is a fundamenta...

0 Kittiphon Phalakarn, et al. ∙