| Publication | Date of Publication | Type |
|---|
Bounded length UCFG equivalence
| 2023-01-25 | Paper |
Existential Diophantine definability of string length
Theoretical Computer Science | 2019-05-29 | Paper |
A transfer method from bounded existential Diophantine equations to Tarski algebra formulas
Theoretical Computer Science | 2017-12-20 | Paper |
Fast evaluation of iterated multiplication of very large polynomials: an application to Chinese remainder theory
The ANZIAM Journal | 2016-03-23 | Paper |
On sums of roots of unity
Automata, Languages and Programming | 2010-09-07 | Paper |
Fast arithmetics using Chinese remaindering
Information Processing Letters | 2010-08-20 | Paper |
Graph compression and the zeros of polynomials
Information Processing Letters | 2009-08-27 | Paper |
Inequality of finite behaviors of rational weight finite automata is in R
Information Processing Letters | 2009-04-28 | Paper |
A note on commutative multivariate rational series
Information Processing Letters | 2009-04-28 | Paper |
Census algorithms for chinese remainder pseudorank
RAIRO - Theoretical Informatics and Applications | 2008-07-29 | Paper |
A special case of a unary regular language containment
Theory of Computing Systems | 2006-10-16 | Paper |
A note on the Ádám conjecture for double loops.
Information Processing Letters | 2006-01-17 | Paper |
scientific article; zbMATH DE number 2170485 (Why is no real title available?)
| 2005-05-23 | Paper |
Unification and extension of weighted finite automata applicable to image compression.
Theoretical Computer Science | 2003-08-17 | Paper |
Computing a context-free grammar-generating series
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1696660 (Why is no real title available?)
| 2002-07-22 | Paper |
Division in logspace-uniform NC
RAIRO. Theoretical Informatics and Applications | 2002-02-20 | Paper |
scientific article; zbMATH DE number 1556738 (Why is no real title available?)
| 2001-05-10 | Paper |
On Hadamard square roots of unity
Theoretical Computer Science | 2000-06-04 | Paper |
scientific article; zbMATH DE number 1283997 (Why is no real title available?)
| 1999-10-04 | Paper |
The influence of graph structure on generalized dimension exchange
Information Processing Letters | 1997-02-28 | Paper |
A context-free language decision problem
Theoretical Computer Science | 1994-04-05 | Paper |
Additive cellular automata and algebraic series
Theoretical Computer Science | 1993-12-01 | Paper |
On iterated integer product
Information Processing Letters | 1993-01-16 | Paper |
Fast Parallel Arithmetic via Modular Representation
SIAM Journal on Computing | 1992-06-25 | Paper |
Parallel complexity of the regular code problem
Information and Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4064464 (Why is no real title available?)
| 1988-01-01 | Paper |
On efficient deterministic simulation of turing machine computations below logaspace
Mathematical Systems Theory | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3607494 (Why is no real title available?)
| 1978-01-01 | Paper |
