-
1
IO vs OI in Higher-Order Recursion Schemes
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
2
One-Clock Priced Timed Games with Negative Weights
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
3
-
4
Randomization in Automata on Infinite Trees
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
5
-
6
One-Clock Priced Timed Games with Arbitrary Weights
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
7
-
8
Simple strategies for Banach–Mazur games and sets of probability 1
Veröffentlicht in Information and computation
VolltextArtikel -
9
Erratum for “Randomization in Automata on Infinite Trees”
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
10
-
11
-
12
-
13
-
14
Efficient Energy Distribution in a Smart Grid using Multi-Player Games
Veröffentlicht in arXiv.org
VolltextArtikel -
15
-
16
-
17
-
18
-
19
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games
Veröffentlicht in arXiv.org
VolltextArtikel -
20