Theory of Computing Systems, Volume 48

Volume 48, Number 1, January 2011

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/AntaLLMMMT11
- ask others
Antonio Fernández Anta, José Luis López-Presa, M. Araceli Lorenzo, Pilar Manzano, Juan Martinez-Romo, Alberto Mozo, Christopher Thraves: Performance of Scheduling Policies in Adversarial Networks with Non-synchronized Clocks. 1-22
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/DrosteV11
- ask others
Manfred Droste, Heiko Vogler: Weighted Logics for Unranked Tree Automata. 23-47
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Fichtner11
- ask others
Ina Fichtner: Weighted Picture Automata and Weighted Logics. 48-78
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/EpsteinS11
- ask others
Leah Epstein, Rob van Stee: Improved Results for a Memory Allocation Problem. 79-92
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/GollerL11
- ask others
Stefan Göller, Markus Lohrey: Fixpoint Logics over Hierarchical Structures. 93-131
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/DolevKS11
- ask others
Shlomi Dolev, Marina Kopeetsky, Adi Shamir: RFID Authentication Efficient Proactive Information Security within Computational Security. 132-149
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Williams11
- ask others
Ryan Williams: Parallelizing Time with Polynomial Circuits. 150-169
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/BolligK11
- ask others
Beate Bollig, Jochen Klump: New Results on the Most Significant Bit of Integer Multiplication. 170-188
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Sakai11
- ask others
Yoshifumi Sakai: An Almost Quadratic Time Algorithm for Sparse Spliced Alignment. 189-210
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/BlaserJLM11
- ask others
Markus Bläser, Andreas Jakoby, Maciej Liskiewicz, Bodo Manthey: Privacy in Non-private Environments. 211-245

Volume 48, Number 2, February 2011

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/BauwensT11
- ask others
Bruno Bauwens, Sebastiaan A. Terwijn: Notes on Sum-Tests and Independence Tests. 247-268
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/BenderKTW11
- ask others
Michael A. Bender, Bradley C. Kuszmaul, Shang-Hua Teng, Kebin Wang: Optimal Cache-Oblivious Mesh Layouts. 269-296
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Simonsen11
- ask others
Jakob Grue Simonsen: Beta-Shifts, Their Languages, and Computability. 297-318
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/JezO11
- ask others
Artur Jez, Alexander Okhotin: Complexity of Equations over Sets of Natural Numbers. 319-342
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/MesserschmidtO11
- ask others
Hartmut Messerschmidt, Friedrich Otto: A Hierarchy of Monotone Deterministic Non-Forgetting Restarting Automata. 343-373
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/LeviL11
- ask others
Tamir Levi, Ami Litman: The Strongest Model of Computation Obeying 0-1 Principles. 374-388
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/ChangL11
- ask others
Ching-Lueh Chang, Yuh-Dauh Lyuu: Spreading of Messages in Random Graphs. 389-401
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/GutinKLM11
- ask others
Gregory Gutin, Eun Jung Kim, Michael Lampis, Valia Mitsou: Vertex Cover Problem Parameterized Above and Below Tight Bounds. 402-410
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/LohreyS11
- ask others
Markus Lohrey, Benjamin Steinberg: Tilings and Submonoids of Metabelian Groups. 411-427
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/BaNNR11
- ask others
Khanh Do Ba, Huy L. Nguyen, Huy N. Nguyen, Ronitt Rubinfeld: Sublinear Time Algorithms for Earth Mover's Distance. 428-442

Volume 48, Number 3, April 2011

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/AlbersM11
- ask others
Susanne Albers, Jean-Yves Marion: Preface: Special Issue on Theoretical Aspects of Computer Science (STACS). 443
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Marx11
- ask others
Dániel Marx: Tractable Structures for Constraint Satisfaction with Truth Tables. 444-464
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/GacsHR11
- ask others
Péter Gács, Mathieu Hoyrup, Cristobal Rojas: Randomness on Computable Probability Spaces - A Dynamical Point of View. 465-485
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/DiekertK11
- ask others
Volker Diekert, Manfred Kufleitner: Fragments of First-Order Logic over Infinite Words. 486-516
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/HromkovicS11
- ask others
Juraj Hromkovic, Georg Schnitger: Ambiguity and Communication. 517-534
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/AlwenP11
- ask others
Joël Alwen, Chris Peikert: Generating Shorter Bases for Hard Random Lattices. 535-553
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Bojanczyk11
- ask others
Mikolaj Bojanczyk: Weak MSO with the Unbounding Quantifier. 554-576
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/EbenlendrS11
- ask others
Tomás Ebenlendr, Jiri Sgall: Semi-Online Preemptive Scheduling: One Algorithm for All Variants. 577-613
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/BeckmannL11
- ask others
Arnold Beckmann, Benedikt Löwe: Computability in Europe 2008. 614-616
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/LathropLPS11
- ask others
James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers: Computability and Complexity in Self-assembly. 617-647
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/ManasaKJ11
- ask others
Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain: Model Checking Weighted Integer Reset Timed Automata. 648-679
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/SoltysW11
- ask others
Michael Soltys, Craig Wilson: On the Complexity of Computing Winning Strategies for Finite Poset Games. 680-692
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/SablikT11
- ask others
Mathieu Sablik, Guillaume Theyssier: Topological Dynamics of Cellular Automata: Dimension Matters. 693-714
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/CiobanuK11
- ask others
Gabriel Ciobanu, Shankara Narayanan Krishna: Enhanced Mobile Membranes: Computability Results. 715-729

Volume 48, Number 4, May 2011

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/MayordomoMP11
- ask others
Elvira Mayordomo, Philippe Moser, Sylvain Perifel: Polylog Space Compression, Pushdown Compression, and Lempel-Ziv Are Incomparable. 731-766
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Cheng11
- ask others
Wen-Chiao Cheng: Conditional Fuzzy Entropy of Maps in Fuzzy Systems. 767-780
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/Harks11
- ask others
Tobias Harks: Stackelberg Strategies and Collusion in Network Games with Splittable Flow. 781-802
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/ChenFM11
- ask others
Yijia Chen, Jörg Flum, Moritz Müller: Lower Bounds for Kernelizations and Other Preprocessing Procedures. 803-839
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/BergstraB11
- ask others
Jan A. Bergstra, Inge Bethke: Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows. 840-864
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/JanssonP11
- ask others
Jesper Jansson, Zeshan Peng: Algorithms for Finding a Most Similar Subforest. 865-887