Works matching IS 14324350 AND DT 2014 AND VI 55 AND IP 1

Results: 10

Accepting Networks of Evolutionary Processors with Subregular Filters.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 84, doi. 10.1007/s00224-013-9502-z

By:

Manea, Florin;
Truthe, Bianca

Publication type:

Article

Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 170, doi. 10.1007/s00224-013-9518-4

By:

Yamakami, Tomoyuki

Publication type:

Article

String Indexing for Patterns with Wildcards.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 41, doi. 10.1007/s00224-013-9498-4

By:

Bille, Philip;
Gørtz, Inge;
Vildhøj, Hjalte;
Vind, Søren

Publication type:

Article

Distributed Knowledge Justification Logics.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 1, doi. 10.1007/s00224-013-9492-x

By:

Ghari, Meghdad

Publication type:

Article

Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 136, doi. 10.1007/s00224-013-9505-9

By:

Czerwiński, Wojciech;
Hofman, Piotr;
Lasota, Sławomir

Publication type:

Article

A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 110, doi. 10.1007/s00224-013-9504-x

By:

Gall, Dominik;
Jacob, Riko;
Richa, Andrea;
Scheideler, Christian;
Schmid, Stefan;
Täubig, Hanjo

Publication type:

Article

Improved Randomized Online Scheduling of Intervals and Jobs.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 202, doi. 10.1007/s00224-013-9528-2

By:

Fung, Stanley;
Poon, Chung;
Zheng, Feifeng

Publication type:

Article

Dynamic Matrix Rank with Partial Lookahead.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 229, doi. 10.1007/s00224-014-9531-2

By:

Kavitha, Telikepalli

Publication type:

Article

Constant Thresholds Can Make Target Set Selection Tractable.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 61, doi. 10.1007/s00224-013-9499-3

By:

Chopin, Morgan;
Nichterlein, André;
Niedermeier, Rolf;
Weller, Mathias

Publication type:

Article

The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages.

Published in:

Theory of Computing Systems, 2014, v. 55, n. 1, p. 250, doi. 10.1007/s00224-014-9534-z

By:

Kanazawa, Makoto;
Kobele, Gregory;
Michaelis, Jens;
Salvati, Sylvain;
Yoshinaka, Ryo

Publication type:

Article