research
∙
09/29/2022
Low-Latency Sliding Window Algorithms for Formal Languages
Low-latency sliding window algorithms for regular and context-free langu...
share
research
∙
02/08/2022
Streaming word problems
We study deterministic and randomized streaming algorithms for word prob...
research
∙
06/01/2020
A Comparison of Empirical Tree Entropies
Whereas for strings, higher-order empirical entropy is the standard entr...
research
∙
02/19/2020
The complexity of knapsack problems in wreath products
We prove new complexity results for computational problems in certain wr...
research
∙
09/30/2019
Groups with ALOGTIME-hard word problems and PSPACE-complete compressed word problems
We give lower bounds on the complexity of the word problem of certain no...
research
∙
09/23/2019
Sliding window property testing for regular languages
We study the problem of recognizing regular languages in a variant of th...
research
∙
08/18/2019
The smallest grammar problem revisited
In a seminal paper of Charikar et al. on the smallest grammar problem, t...
research
∙
04/17/2019
The power word problem
In this work we introduce a new succinct variant of the word problem in ...
research
∙
02/10/2019
Balancing Straight-Line Programs
It is shown that a context-free grammar of size m that produces a single...
research
∙
01/10/2019
Entropy Bounds for Grammar-Based Tree Compressors
The definition of k^th-order empirical entropy of strings is extended to...
research
∙
06/01/2018
The Complexity of Bisimulation and Simulation on Finite Systems
In this paper the computational complexity of the (bi)simulation problem...
research
∙
04/27/2018
Average Case Analysis of Leaf-Centric Binary Tree Sources
We study the average size of the minimal directed acyclic graph (DAG) wi...
research
∙
02/21/2018
Randomized sliding window algorithms for regular languages
A sliding window algorithm receives a stream of symbols and has to outpu...
research
∙
02/15/2018
Grammar-based Compression of Unranked Trees
We introduce forest straight-line programs (FSLPs) as a compressed repre...
research
∙
12/15/2017