default search action

combined dblp search
author search
venue search
publication search

ask others

Theory of Computing Systems, Volume 55

> Home > Journals > Theory of Computing Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 55, Number 1, July 2014

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

Volume 55, Number 2, August 2014

Computer Science Symposium in Russia

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mst/Vereshchagin14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Vereshchagin14a
Nikolay K. Vereshchagin:
Editorial. 279-280
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Aaronson14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Aaronson14
Scott Aaronson:
The Equivalence of Sampling and Searching. 281-298
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Musatov14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Musatov14
Daniil Musatov:
Improving the Space-Bounded Version of Muchnik's Conditional Complexity Theorem via "Naive" Derandomization. 299-312
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Romashchenko14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Romashchenko14
Andrei E. Romashchenko:
Pseudo-Random Graphs and Bit Probe Schemes with One-Sided Error. 313-329
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Meer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Meer14
Klaus Meer:
An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents. 330-346
- view
  authority control:
- export record
  dblp key:
  - journals/mst/GeorgiadisNP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/GeorgiadisNP14
Loukas Georgiadis, Stavros D. Nikolopoulos, Leonidas Palios:
Join-Reachability Problems in Directed Graphs. 347-379
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HansenIM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HansenIM14
Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen:
The Complexity of Solving Reachability Games Using Value and Strategy Iteration. 380-403
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ChattopadhyayGHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ChattopadhyayGHT14
Arkadev Chattopadhyay, Ricard Gavaldà, Kristoffer Arnsfelt Hansen, Denis Thérien:
Learning Read-Constant Polynomials of Constant Degree Modulo Composites. 404-420
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Kapoutsis14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Kapoutsis14
Christos A. Kapoutsis:
Two-Way Automata Versus Logarithmic Space. 421-447

Volume 55, Number 3, October 2014

Parallelism in Algorithms and Architectures

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mst/PucciLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/PucciLR14
Geppino Pucci, Victor Luchangco, Rajmohan Rajaraman:
Foreword: Parallelism in Algorithms and Architectures. 449-450
- view
  authority control:
- export record
  dblp key:
  - journals/mst/AspnesE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/AspnesE14
James Aspnes, Faith Ellen:
Tight Bounds for Adopt-Commit Objects. 451-474
- view
  authority control:
- export record
  dblp key:
  - journals/mst/FatourouK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/FatourouK14
Panagiota Fatourou, Nikolaos D. Kallimanis:
Highly-Efficient Wait-Free Synchronization. 475-520
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BlellochGKMPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BlellochGKMPT14
Guy E. Blelloch, Anupam Gupta, Ioannis Koutis, Gary L. Miller, Richard Peng, Kanat Tangwongsan:
Nearly-Linear Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs. 521-554
- view
  authority control:
- export record
  dblp key:
  - journals/mst/PankratiusA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/PankratiusA14
Victor Pankratius, Ali-Reza Adl-Tabatabai:
Software Engineering with Transactional Memory Versus Locks in Practice. 555-590
- view
  authority control:
- export record
  dblp key:
  - journals/mst/KniesburgesKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/KniesburgesKS14
Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
Re-Chord: A Self-stabilizing Chord Overlay Network. 591-612
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HajiaghayiKKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HajiaghayiKKL14
Mohammad Taghi Hajiaghayi, Rohit Khandekar, Guy Kortsarz, Vahid Liaghat:
On a Local Protocol for Concurrent File Transfers. 613-636

Volume 55, Number 4, November 2014

Theoretical Aspects of Computer Science

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mst/DurrW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/DurrW14
Christoph Dürr, Thomas Wilke:
Preface of STACS 2012 Special Issue. 637-639
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mst/Mucha14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Mucha14
Marcin Mucha:
13/9 -Approximation for Graphic TSP. 640-657
- view
  authority control:
- export record
  dblp key:
  - journals/mst/DoerrW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/DoerrW14
Benjamin Doerr, Carola Winzen:
Playing Mastermind with Constant-Size Memory. 658-684
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mst/Jez14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Jez14
Artur Jez:
The Complexity of Compressed Membership Problems for Finite Automata. 685-718
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ChanDLMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ChanDLMW14
Timothy M. Chan, Stephane Durocher, Kasper Green Larsen, Jason Morrison, Bryan T. Wilkinson:
Linear-Space Data Structures for Range Mode Query in Arrays. 719-741
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Laun14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Laun14
Jürn Laun:
Efficient Algorithms for Highly Compressed Data: The Word Problem in Generalized Higman Groups Is in P. 742-770
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Broadbent14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Broadbent14
Christopher H. Broadbent:
On First-Order Logic and CPDA Graphs. 771-832
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mst/ArnoldMN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ArnoldMN14
André Arnold, Henryk Michalewski, Damian Niwinski:
On the Separation Question for Tree Languages. 833-855
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ZaidGKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ZaidGKP14
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa:
Model-Theoretic Properties of ω-Automatic Structures. 856-880

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.