-
1
-
New Developments in Quantum Algorithms
-
12
-
Persistent Homology under Non-uniform Error
-
24
-
Information Complexity of Online Problems
-
37
-
Algorithmic Lower Bounds for Problems on Decomposable Graphs
-
38
-
Do We Really Understand the Crossing Numbers?
-
42
-
Balanced Queries: Divide and Conquer
-
55
-
Slowly Synchronizing Automata and Digraphs
-
66
-
Weights of Exact Threshold Functions
-
78
-
Proof Systems and Transformation Games
-
90
-
Scheduling Real-Time Mixed-Criticality Jobs
-
102
-
A <Emphasis Type="SmallCaps">dexptime</Emphasis>-Complete Dolev-Yao Theory with Distributive Encryption
-
114
-
On Problem Kernels for Possible Winner Determination under the <Emphasis Type="Italic">k</Emphasis>-Approval Protocol
-
126
-
Counting Minimum (<Emphasis Type="Italic">s</Emphasis>,<Emphasis Type="Italic">t</Emphasis>)-Cuts in Weighted Planar Graphs in Polynomial Time
-
138
-
Finding Best Swap Edges Minimizing the Routing Cost of a Spanning Tree
-
150
-
Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems
-
162
-
Distance Constraint Satisfaction Problems
-
174
-
Faster Algorithms on Branch and Clique Decompositions
-
186
-
Exponential Space Complexity for Symbolic Maximum Flow Algorithms in 0-1 Networks
-
198
-
Robust Computations with Dynamical Systems
-
209
-
On Factor Universality in Symbolic Spaces
-
221
-
Toward a Deterministic Polynomial Time Algorithm with Optimal Additive Query Complexity
-
233
-
Resource Combinatory Algebras
-
246
-
Randomness for Free
-
258
-
Qualitative Analysis of Partially-Observable Markov Decision Processes
-
270
-
All Symmetric Predicates in <Emphasis Type="Italic">NSPACE</Emphasis>(<Emphasis Type="Italic">n</Emphasis>
<Superscript>2</Superscript>) Are Stably Computable by the Mediated Population Protocol Model
-
282
-
Online Clustering with Variable Sized Clusters
-
294
-
Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains
-
306
-
Counting Classes and the Fine Structure between <Emphasis FontCategory="SansSerif">NC</Emphasis>
<Superscript>1</Superscript> and <Emphasis FontCategory="SansSerif">L</Emphasis>
-
318
-
The Average Complexity of Moore’s State Minimization Algorithm Is <Emphasis Type="Italic">O</Emphasis>( <Emphasis Type="Italic">n</Emphasis> loglog<Emphasis Type="Italic">n</Emphasis>)
-
330
-
Connected Searching of Weighted Trees
-
342
-
Iterated Regret Minimization in Game Graphs
-
355
-
Properties of Visibly Pushdown Transducers
-
368
-
Second-Order Algebraic Theories
-
381
-
Frame Definability for Classes of Trees in the <Emphasis Type="Italic">μ</Emphasis>-calculus
-
393
-
Evaluating Non-square Sparse Bilinear Forms on Multiple Vector Pairs in the I/O-Model
-
405
-
Finding and Counting Vertex-Colored Subtrees
-
417
-
Limiting Negations in Bounded Treewidth and Upward Planar Circuits
-
429
-
On the Topological Complexity of MSO+U and Related Automata Models
-
441
-
Least and Greatest Solutions of Equations over Sets of Integers
-
453
-
Improved Simulation of Nondeterministic Turing Machines
-
465
-
The Prize-Collecting Edge Dominating Set Problem in Trees
-
477
-
The Multivariate Resultant Is <Emphasis FontCategory="SansSerif">NP</Emphasis>-hard in Any Characteristic
-
489
-
Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems
-
501
-
Meta-Envy-Free Cake-Cutting Protocols
-
513
-
Two Variables and Two Successors
-
525
-
Harnessing <Emphasis FontCategory="SansSerif">ML</Emphasis>
<Superscript>F</Superscript> with the Power of System <Emphasis FontCategory="SansSerif">F</Emphasis>
-
537
-
Describing Average- and Longtime-Behavior by Weighted MSO Logics
-
549
-
Solving <Emphasis Type="SmallCaps">minones-2-sat</Emphasis> as Fast as <Emphasis Type="SmallCaps">vertex cover</Emphasis>
-
556
-
Unambiguous Finite Automata over a Unary Alphabet
-
568
-
The Complexity of Finding Reset Words in Finite Automata
-
580
-
Does Treewidth Help in Modal Satisfiability?
-
592
-
Asynchronous Omega-Regular Games with Partial Information
-
604
-
Parity Games with Partial Information Played on Graphs of Bounded Complexity
-
616
-
Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
-
629
-
Enumeration of the Monomials of a Polynomial and Related Complexity Classes
-
641
-
Faster Approximation Schemes and Parameterized Algorithms on <Emphasis Type="Italic">H</Emphasis>-Minor-Free and Odd-Minor-Free Graphs
-
653
-
Semi-linear Parikh Images of Regular Expressions via Reduction
-
665
-
Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds
-
677
-
Mesh Deformation of Dynamic Smooth Manifolds with Surface Correspondences
-
689
-
Counting Dependent and Independent Strings
-
701
-
Impossibility of Independence Amplification in Kolmogorov Complexity Theory