You have Guest access.
Log In
Rastislav Královic and Damian Niwinski
Front matter
1
Four Subareas of the Theory of Constraints, and Their Links
2-23
Synchronization of Regular Automata
24-33
Stochastic Process Creation
34-54
Stochastic Games with Finitary Objectives
55
Stochastic Data Streams
56-76
Recent Advances in Population Protocols
77
How to Sort a Train
78-89
Arithmetic Circuits, Monomial Algebras and Finite Automata
90-101
An Improved Approximation Bound for Spanning Star Forest and Color Saving
102-111
Energy-Efficient Communication in Multi-interface Wireless Networks
112-123
Private Capacities in Mechanism Design
124-136
Towards a Dichotomy of Finding Possible Winners in Elections Based on Scoring Rules
137-148
Sampling Edge Covers in 3-Regular Graphs
149-161
Balanced Paths in Colored Graphs
162-174
Few Product Gates But Many Zeros
175-186
Branching Programs for Tree Evaluation
187-198
A Dichotomy Theorem for Polynomial Evaluation
199-210
DP-Complete Problems Derived from Extremal NP-Complete Properties
211-222
The Synchronization Problem for Locally Strongly Transitive Automata
223-234
Constructing Brambles
235-246
Self-indexed Text Compression Using Straight-Line Programs
247-257
Security and Tradeoffs of the Akl-Taylor Scheme and Its Variants
258-269
Parameterized Complexity Classes under Logical Reductions
270-281
The Communication Complexity of Non-signaling Distributions
282-294
How to Use Spanning Trees to Navigate in Graphs (Extended Abstract)
295-306
Representing Groups on Graphs
307-318
Admissible Strategies in Infinite Games over Graphs
319-330
A Complexity Dichotomy for Finding Disjoint Solutions of Vertex Deletion Problems
331-343
Future-Looking Logics on Data Words and Trees
344-355
A By-Level Analysis of Multiplicative Exponential Linear Logic
356-368
Hyper-minimisation Made Efficient
369-381
Regular Expressions with Counting: Weak versus Strong Determinism
382-391
Choosability of P5-Free Graphs
392-402
Time-Bounded Kolmogorov Complexity and Solovay Functions
403-414
The Longest Path Problem Is Polynomial on Interval Graphs
415-426
Synthesis for Structure Rewriting Systems
427-438
On the Hybrid Extension of CTL and CTL +
439-450
Bounds on Non-surjective Cellular Automata
451-463
FO Model Checking on Nested Pushdown Trees
464-476
The Prismoid of Resources
477-488
A Dynamic Algorithm for Reachability Games Played on Trees
489-500
An Algebraic Characterization of Semirings for Which the Support of Every Recognizable Series Is Recognizable
501-512
Graph Decomposition for Improving Memoryless Periodic Exploration
513-524
On FO2 Quantifier Alternation over Words
525-536
On the Recognizability of Self-generating Sets
537-548
The Isomorphism Problem for k-Trees Is Complete for Logspace
549-560
Snake-Deterministic Tiling Systems
561-573
Query Automata for Nested Words
574-586
A General Class of Models of H*\mathcal{H}^*
587-599
The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I
600-611
Colouring Non-sparse Random Intersection Graphs
612-623
On the Structure of Optimal Greedy Computation (for Job Scheduling)
624-635
A Probabilistic PTAS for Shortest Common Superstring
636-650
The Cost of Stability in Network Flow Games
651-662
(Un)Decidability of Injectivity and Surjectivity in One-Dimensional Sand Automata
663-674
Quantum Algorithms to Solve the Hidden Shift Problem for Quadratics and for Functions of Large Gowers Norm
675-686
From Parity and Payoff Games to Linear Programming
687-699
Partial Randomness and Dimension of Recursively Enumerable Reals
700-711
Partial Solution and Entropy
712-723
On Pebble Automata for Data Languages with Decidable Emptiness Problem
724-735
Size and Energy of Threshold Circuits Computing Mod Functions
736-743
Points on Computable Curves of Computable Lengths
744-757
The Expressive Power of Binary Submodular Functions
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info