Journal: Theory Comput. Syst.

Volume 55, Issue 1

1 -- 40Meghdad Ghari. Distributed Knowledge Justification Logics
41 -- 60Philip Bille, Inge Li Gørtz, Hjalte Wedel Vildhøj, Søren Vind. String Indexing for Patterns with Wildcards
61 -- 83Morgan Chopin, André Nichterlein, Rolf Niedermeier, Mathias Weller. Constant Thresholds Can Make Target Set Selection Tractable
84 -- 109Florin Manea, Bianca Truthe. Accepting Networks of Evolutionary Processors with Subregular Filters
110 -- 135Dominik Gall, Riko Jacob, Andréa Richa, Christian Scheideler, Stefan Schmid, Hanjo Täubig. A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization
136 -- 169Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota. Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes
170 -- 201Tomoyuki Yamakami. Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems
202 -- 228Stanley P. Y. Fung, Chung Keung Poon, Feifeng Zheng. Improved Randomized Online Scheduling of Intervals and Jobs
229 -- 249Telikepalli Kavitha. Dynamic Matrix Rank with Partial Lookahead
250 -- 278Makoto Kanazawa, Gregory M. Kobele, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka. The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages