Volume 242

Information and Computation

Volume 242
2

Model checking single agent behaviours by fluid approximation

Bortolussi, Luca, Hillston, Jane
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 1.90 MB
english, 2015
3

Resource-bounded martingales and computable Dowd-type generic sets

Kumabe, Masahiro, Suzuki, Toshio
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 604 KB
english, 2015
4

Pattern matching with variables: A multivariate complexity analysis

Fernau, Henning, Schmid, Markus L.
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 621 KB
english, 2015
5

Taming past LTL and flat counter systems

Demri, Stéphane, Dhar, Amit Kumar, Sangnier, Arnaud
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 1.02 MB
english, 2015
6

Special issue on SR 2013

Mogavero, Fabio, Murano, Aniello, Vardi, Moshe Y.
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 113 KB
english, 2015
7

Qualitative analysis of concurrent mean-payoff games

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 681 KB
english, 2015
8

Iterated Boolean games

Gutierrez, Julian, Harrenstein, Paul, Wooldridge, Michael
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 721 KB
english, 2015
9

Uniform strategies, rational relations and jumping automata

Bozzelli, Laura, Maubert, Bastien, Pinchinat, Sophie
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 859 KB
english, 2015
10

Synthesizing structured reactive programs via deterministic tree automata

Brütsch, Benedikt
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 662 KB
english, 2015
11

A logic with revocable and refinable strategies

Chareton, Christophe, Brunel, Julien, Chemouil, David
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 731 KB
english, 2015
12

Existence of constants in regular splicing languages

Bonizzoni, Paola, Jonoska, Nataša
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 537 KB
english, 2015
13

Information retrieval with unambiguous output

Junnila, Ville, Laihonen, Tero
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 467 KB
english, 2015
14

Editorial Board

Journal:
Information and Computation
Year:
2015
File:
PDF, 40 KB
2015
15

Editorial Board

Journal:
Information and Computation
Year:
2015
File:
PDF, 39 KB
2015
16

Probabilistic computability and choice

Brattka, Vasco, Gherardi, Guido, Hölzl, Rupert
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 994 KB
english, 2015
18

On the entropy of couplings

Kovačević, Mladen, Stanojević, Ivan, Šenk, Vojin
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 432 KB
english, 2015