


default search action
Theory of Computing Systems, Volume 57
Volume 57, Number 1, July 2015
- René van Bevern, Andreas Emil Feldmann

, Manuel Sorge, Ondrej Suchý
:
On the Parameterized Complexity of Computing Balanced Partitions in Graphs. 1-35 - H. Gökalp Demirci, A. C. Cem Say

, Abuzer Yakaryilmaz
:
The Complexity of Debate Checking. 36-80 - Fedor V. Fomin

, Petr A. Golovach
, Jesper Nederlof, Michal Pilipczuk
:
Minimizing Rosenthal Potential in Multicast Games. 81-96 - Ping Lu, Joachim Bremer, Haiming Chen:

Deciding Determinism of Regular Languages. 97-139 - Pinar Heggernes, Pim van 't Hof

, Erik Jan van Leeuwen, Reza Saei
:
Finding Disjoint Paths in Split Graphs. 140-159 - Stasys Jukna

:
Lower Bounds for Tropical Circuits and Dynamic Programs. 160-194 - Norbert Hundeshagen, Friedrich Otto:

Restarting Transducers, Regular Languages, and Rational Relations. 195-225 - Kazuki Okamura:

Random Sequences with Respect to a Measure Defined by Two Linear Fractional Transformations. 226-237 - Georgios Piliouras, Tomás Valla

, László A. Végh
:
LP-Based Covering Games with Low Price of Anarchy. 238-260 - Idit Keidar, Dmitri Perelman:

On Avoiding Spare Aborts in Transactional Memory. 261-285
Volume 57, Number 2, August 2015
- Diego Figueira

, Leonid Libkin
:
Synchronizing Relations on Words. 287-318 - Pedro García, Manuel Vazquez de Parga, Jairo Andrés Velasco, Damián López

:
A Split-Based Incremental Deterministic Automata Minimization Algorithm. 319-336 - Iovka Boneva, Radu Ciucanu, Slawek Staworko

:
Schemas for Unordered XML on a DIME. 337-376 - Bart de Keijzer, Guido Schäfer, Orestis Telelis:

The Strong Price of Anarchy of Linear Bottleneck Congestion Games. 377-396 - Zohra Abdelhafidi, Mohamed Djoudi, Nasreddine Lagraa, Mohamed Bachir Yagoubi:

FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems. 397-425 - Takayuki Sakai, Kazuhisa Seto

, Suguru Tamaki:
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction. 426-443 - Gianlorenzo D'Angelo

, Mattia D'Emidio
, Daniele Frigioni
, Daniele Romano
:
Enhancing the Computation of Distributed Shortest Paths on Power-law Networks in Dynamic Scenarios. 444-477 - Daniel Silva Graça

, Ning Zhong:
An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable. 478-520
Volume 57, Number 3, October 2015
- Carme Àlvarez, Maria J. Serna

:
Preface. 521-522 - Vincenzo Auletta, George Christodoulou

, Paolo Penna:
Mechanisms for Scheduling with Single-Bit Private Values. 523-548 - Evangelos Markakis, Orestis Telelis:

Uniform Price Auctions: Equilibria and Efficiency. 549-575 - Michal Feldman, Tom Ron:

Capacitated Network Design Games. 576-597 - Laurent Gourvès, Jérôme Monnot, Stefano Moretti, Kim Thang Nguyen:

Congestion Games with Capacitated Resources. 598-616 - Marios Mavronicolas

, Burkhard Monien:
Minimizing Expectation Plus Variance. 617-654 - Jochen Könemann, Kate Larson

, David Steiner:
Network Bargaining: Using Approximate Blocking Sets to Stabilize Unstable Instances. 655-672 - Dimitris Fotakis, Tobias Harks:

Preface to Special Issue on Algorithmic Game Theory - Dedicated to the Memory of Berthold Vöcking. 673-680 - Diodato Ferraioli

, Paolo Penna:
Imperfect Best-Response Mechanisms. 681-710 - Elliot Anshelevich

, Onkar Bhardwaj
, Michael Usher:
Friend of My Friend: Network Formation with Two-Hop Benefit. 711-752 - Xujin Chen, Donglei Du

, Luis Fernando Zuluaga:
Copula-based Randomized Mechanisms for Truthful Scheduling on Two Unrelated Machines. 753-781 - Aris Anagnostopoulos

, Luca Becchetti
, Bart de Keijzer, Guido Schäfer:
Inefficiency of Games with Social Context. 782-804
Volume 57, Number 4, November 2015
- Editor's Note: Special Issue on Database Theory. 805

- Serge Abiteboul, Yael Amsterdamer

, Daniel Deutch, Tova Milo, Pierre Senellart
:
Optimal Probabilistic Generation of XML Documents. 806-842 - Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis:

On the Data Complexity of Consistent Query Answering. 843-891 - Amélie Gheerbrant, Leonid Libkin

:
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary. 892-926 - Serge Abiteboul, Pierre Bourhis, Victor Vianu:

Highly Expressive Query Languages for Unordered Data Trees. 927-966 - Timos Antonopoulos, Dag Hovland

, Wim Martens, Frank Neven
:
Deciding Twig-definability of Node Selecting Tree Automata. 967-1007 - Foto N. Afrati, Paraschos Koutris, Dan Suciu

, Jeffrey D. Ullman:
Parallel Skyline Queries. 1008-1037 - Tom J. Ameloot, Jan Van den Bussche

:
Deciding Confluence for a Simple Class of Relational Transducer Networks. 1038-1111 - Balder ten Cate, Wang-Chiew Tan:

Foreword: Special Issue on Database Theory. 1112-1113 - Dominik D. Freydenberger

, Timo Kötzing:
Fast Learning of Restricted Regular Expressions and DTDs. 1114-1158 - Chao Li, Gerome Miklau:

Lower Bounds on the Error of Query Sets Under the Differentially-Private Matrix Mechanism. 1159-1201 - Arnaud Durand, Stefan Mengel:

Structural Tractability of Counting of Solutions to Conjunctive Queries. 1202-1249 - Pierre Bourhis, Gabriele Puppis

, Cristian Riveros
:
Which XML Schemas are Streaming Bounded Repairable? 1250-1321 - Mireille Bousquet-Mélou

, Markus Lohrey
, Sebastian Maneth, Eric Nöth:
XML Compression via Directed Acyclic Graphs. 1322-1371

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














