More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Theory of Computing Systems, Volume 48

> 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 48, Number 1, January 2011

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

Volume 48, Number 2, February 2011

- view
  authority control:
- export record
  dblp key:
  - journals/mst/BauwensT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BauwensT11
Bruno Bauwens, Sebastiaan A. Terwijn:
Notes on Sum-Tests and Independence Tests. 247-268
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BenderKTW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BenderKTW11
Michael A. Bender, Bradley C. Kuszmaul, Shang-Hua Teng, Kebin Wang:
Optimal Cache-Oblivious Mesh Layouts. 269-296
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Simonsen11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Simonsen11
Jakob Grue Simonsen:
Beta-Shifts, Their Languages, and Computability. 297-318
- view
  authority control:
- export record
  dblp key:
  - journals/mst/JezO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/JezO11
Artur Jez, Alexander Okhotin:
Complexity of Equations over Sets of Natural Numbers. 319-342
- view
  authority control:
- export record
  dblp key:
  - journals/mst/MesserschmidtO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/MesserschmidtO11
Hartmut Messerschmidt, Friedrich Otto:
A Hierarchy of Monotone Deterministic Non-Forgetting Restarting Automata. 343-373
- view
  authority control:
- export record
  dblp key:
  - journals/mst/LeviL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/LeviL11
Tamir Levi, Ami Litman:
The Strongest Model of Computation Obeying 0-1 Principles. 374-388
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ChangL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ChangL11
Ching-Lueh Chang, Yuh-Dauh Lyuu:
Spreading of Messages in Random Graphs. 389-401
- view
  authority control:
- export record
  dblp key:
  - journals/mst/GutinKLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/GutinKLM11
Gregory Z. Gutin, Eun Jung Kim, Michael Lampis, Valia Mitsou:
Vertex Cover Problem Parameterized Above and Below Tight Bounds. 402-410
- view
  authority control:
- export record
  dblp key:
  - journals/mst/LohreyS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/LohreyS11
Markus Lohrey, Benjamin Steinberg:
Tilings and Submonoids of Metabelian Groups. 411-427
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BaNNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BaNNR11
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
  authority control:
- export record
  dblp key:
  - journals/mst/AlbersM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/AlbersM11
Susanne Albers, Jean-Yves Marion:
Preface: Special Issue on Theoretical Aspects of Computer Science (STACS). 443
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Marx11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Marx11
Dániel Marx:
Tractable Structures for Constraint Satisfaction with Truth Tables. 444-464
- view
  authority control:
- export record
  dblp key:
  - journals/mst/GacsHR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/GacsHR11
Péter Gács, Mathieu Hoyrup, Cristobal Rojas:
Randomness on Computable Probability Spaces - A Dynamical Point of View. 465-485
- view
  authority control:
- export record
  dblp key:
  - journals/mst/DiekertK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/DiekertK11
Volker Diekert, Manfred Kufleitner:
Fragments of First-Order Logic over Infinite Words. 486-516
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HromkovicS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HromkovicS11
Juraj Hromkovic, Georg Schnitger:
Ambiguity and Communication. 517-534
- view
  authority control:
- export record
  dblp key:
  - journals/mst/AlwenP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/AlwenP11
Joël Alwen, Chris Peikert:
Generating Shorter Bases for Hard Random Lattices. 535-553
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Bojanczyk11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Bojanczyk11
Mikolaj Bojanczyk:
Weak MSO with the Unbounding Quantifier. 554-576
- view
  authority control:
- export record
  dblp key:
  - journals/mst/EbenlendrS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/EbenlendrS11
Tomás Ebenlendr, Jirí Sgall:
Semi-Online Preemptive Scheduling: One Algorithm for All Variants. 577-613
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BeckmannL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BeckmannL11
Arnold Beckmann, Benedikt Löwe:
Computability in Europe 2008. 614-616
- view
  authority control:
- export record
  dblp key:
  - journals/mst/LathropLPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/LathropLPS11
James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers:
Computability and Complexity in Self-assembly. 617-647
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ManasaKJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ManasaKJ11
Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain:
Model Checking Weighted Integer Reset Timed Automata. 648-679
- view
  authority control:
- export record
  dblp key:
  - journals/mst/SoltysW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/SoltysW11
Michael Soltys, Craig Wilson:
On the Complexity of Computing Winning Strategies for Finite Poset Games. 680-692
- view
  authority control:
- export record
  dblp key:
  - journals/mst/SablikT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/SablikT11
Mathieu Sablik, Guillaume Theyssier:
Topological Dynamics of Cellular Automata: Dimension Matters. 693-714
- view
  authority control:
- export record
  dblp key:
  - journals/mst/CiobanuK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CiobanuK11
Gabriel Ciobanu, Shankara Narayanan Krishna:
Enhanced Mobile Membranes: Computability Results. 715-729

Volume 48, Number 4, May 2011

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

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.