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