Automata, Languages and Programming

with Bounded Number of Branch Vertices
- Energy Optimal Routing in Radio Networks Using Geometric Data Structures
- Gossiping with Bounded Size Messages in ad hoc Radio Networks
- The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences
- The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications
- Constraint Satisfaction Problems in Non-deterministic Logarithmic Space
- Cache Oblivious Distribution Sweeping
- One-Probe Search
- New Algorithms for Subset Query, Partial Match, Orthogonal Range Searching, and Related Problems
- Measuring the Probabilistic Powerdomain
- Games Characterizing Levy-Longo Trees
- Comparing Functional Paradigms for Exact Real-Number Computation
- Random Sampling from Boltzmann Principles
- On the Average Performance of Orthogonal Range Search in Multidimensional Data Structures
- Bialgebraic Modelling of Timed Processes
- Testing Labelled Markov Processes
- Why Computational Complexity Requires Stricter Martingales
- Correspondence Principles for Effective Dimensions
- A Total Approach to Partial Algebraic Specification
- Axiomatising Divergence
- A Spatial Logic for Querying Graphs
- Improving Time Bounds on Maximum Generalised Flow Computations by Contracting the Network
- Approximation Hardness of Bounded Degree MIN-CSP and MIN-BISECTION
- Improved Bounds and New Trade-Offs for Dynamic All Pairs Shortest Paths
- Synthesis of Uninitialized Systems
- Infinite-State High-Level MSCs: Model-Checking and Realizability
- Universal Inherence of Cycle-Free Context-Free Ambiguity Functions
- Histogramming Data Streams with Fast Per-Item Processing
- Finding Frequent Items in Data Streams
- Symbolic Strategy Synthesis for Games on Pushdown Graphs
- Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard
- Solving the String Statistics Problem in Time (nlogn)
- A PTAS for Distinguishing (Sub)string Selection
- On the Theory of One-Step Rewriting in Trace Monoids
- Navigating with a Browser
- Improved Results for Stackelberg Scheduling Strategies
- Call Control in Rings
- Preemptive Scheduling in Overloaded Systems
- The Equivalence Problem of Finite Substitutions on ab*c, with Applications
- Deciding DPDA Equivalence Is Primitive Recursive
- Two-Way Alternating Automata and Finite Models
- Approximating Huffman Codes in Parallel
- Seamless Integration of Parallelism and Memory Hierarchy
- The Communication Complexity of Approximate Set Packing and Covering
- Antirandomizing the Wrong Game
- Fast Universalization of Investment Strategies with Provably Good Relative Returns
- Randomized Pursuit-Evasion in Graphs
- The Essence of Principal Typings
- Complete and Tractable Local Linear Time Temporal Logics over Traces
- An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces
- Random Numbers and an Incomplete Immune Recursive Set
- A Banach-Mazur Computable But Not Markov Computable Function on the Computable Real Numbers
- Polynomial-Time Approximation Schemes for the Euclidean Survivable Network Design Problem
- Finding a Path of Superlogarithmic Length
- Linear Time Algorithms on Chordal Bipartite and Strongly Chordal Graphs
- Improved Inapproximability Results for Vertex Cover on k-Uniform Hypergraphs
- Efficient Testing of Hypergraphs
- Optimal Net Surface Problems with Applications
- Wagner's Theorem on Realizers
- Circular Arrangements