nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A complete solution to the complexity of Synchronizing Road Coloring for non-binary alphabets
|
Roman, A. |
|
2015 |
242 |
C |
p. 383-393 11 p. |
artikel |
2 |
A logic with revocable and refinable strategies
|
Chareton, Christophe |
|
2015 |
242 |
C |
p. 157-182 26 p. |
artikel |
3 |
Editorial Board
|
|
|
2015 |
242 |
C |
p. IFC- 1 p. |
artikel |
4 |
Editorial Board
|
|
|
2015 |
242 |
C |
p. i- 1 p. |
artikel |
5 |
Existence of constants in regular splicing languages
|
Bonizzoni, Paola |
|
2015 |
242 |
C |
p. 340-353 14 p. |
artikel |
6 |
Information retrieval with unambiguous output
|
Junnila, Ville |
|
2015 |
242 |
C |
p. 354-368 15 p. |
artikel |
7 |
Iterated Boolean games
|
Gutierrez, Julian |
|
2015 |
242 |
C |
p. 53-79 27 p. |
artikel |
8 |
Looking at mean-payoff and total-payoff through windows
|
Chatterjee, Krishnendu |
|
2015 |
242 |
C |
p. 25-52 28 p. |
artikel |
9 |
Model checking single agent behaviours by fluid approximation
|
Bortolussi, Luca |
|
2015 |
242 |
C |
p. 183-226 44 p. |
artikel |
10 |
On the entropy of couplings
|
Kovačević, Mladen |
|
2015 |
242 |
C |
p. 369-382 14 p. |
artikel |
11 |
Pattern matching with variables: A multivariate complexity analysis
|
Fernau, Henning |
|
2015 |
242 |
C |
p. 287-305 19 p. |
artikel |
12 |
Probabilistic computability and choice
|
Brattka, Vasco |
|
2015 |
242 |
C |
p. 249-286 38 p. |
artikel |
13 |
Qualitative analysis of concurrent mean-payoff games
|
Chatterjee, Krishnendu |
|
2015 |
242 |
C |
p. 2-24 23 p. |
artikel |
14 |
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
|
Busard, Simon |
|
2015 |
242 |
C |
p. 128-156 29 p. |
artikel |
15 |
Resource-bounded martingales and computable Dowd-type generic sets
|
Kumabe, Masahiro |
|
2015 |
242 |
C |
p. 227-248 22 p. |
artikel |
16 |
Special issue on SR 2013
|
Mogavero, Fabio |
|
2015 |
242 |
C |
p. 1- 1 p. |
artikel |
17 |
Synthesizing structured reactive programs via deterministic tree automata
|
Brütsch, Benedikt |
|
2015 |
242 |
C |
p. 108-127 20 p. |
artikel |
18 |
Taming past LTL and flat counter systems
|
Demri, Stéphane |
|
2015 |
242 |
C |
p. 306-339 34 p. |
artikel |
19 |
Uniform strategies, rational relations and jumping automata
|
Bozzelli, Laura |
|
2015 |
242 |
C |
p. 80-107 28 p. |
artikel |