Volume 239

Information and Computation

Volume 239
1

Isomorphism testing of Boolean functions computable by constant-depth circuits

Arvind, V., Vasudev, Yadu
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 336 KB
english, 2014
2

Aeolus: A component model for the cloud

Di Cosmo, Roberto, Mauro, Jacopo, Zacchiroli, Stefano, Zavattaro, Gianluigi
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 1009 KB
english, 2014
3

On the impact of link faults on Byzantine agreement

Biely, Martin
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 488 KB
english, 2014
6

Two-way automata making choices only at the endmarkers

Geffert, Viliam, Guillon, Bruno, Pighizzini, Giovanni
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 561 KB
english, 2014
7

One-way reversible and quantum finite automata with advice

Yamakami, Tomoyuki
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 876 KB
english, 2014
8

Covering space in the Weyl and Besicovitch topologies

Cervelle, Julien
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 371 KB
english, 2014
9

Refinement modal logic

Bozzelli, Laura, van Ditmarsch, Hans, French, Tim, Hales, James, Pinchinat, Sophie
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 1008 KB
english, 2014
10

Patterns with bounded treewidth

Reidenbach, Daniel, Schmid, Markus L.
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 490 KB
english, 2014
12

Catalytic and communicating Petri nets are Turing complete

Ciobanu, Gabriel, Pinna, G. Michele
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 528 KB
english, 2014
14

Krivine machines and higher-order schemes

Salvati, Sylvain, Walukiewicz, Igor
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 697 KB
english, 2014
15

A Kraft–McMillan inequality for free semigroups of upper-triangular matrices

Honkala, Juha
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 218 KB
english, 2014
19

On efficient implicit OBDD-based algorithms for maximal matchings

Bollig, Beate, Pröger, Tobias
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 547 KB
english, 2014
21

Editorial Board

Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 39 KB
english, 2014
22

Editorial Board

Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 38 KB
english, 2014