Journal of the ACM (JACM)
Reversal-Bounded Multicounter Machines and Their Decision Problems
Journal of the ACM (JACM)
An NP-Complete Number-Theoretic Problem
Journal of the ACM (JACM)
Two-way one-counter automata accepting bounded languages
ACM SIGACT News
On the containment and equivalence of database queries with linear constraints (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter
ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation
Quantum versus Deterministic Counter Automata
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
On two-way FA with monotonic counters and quadratic Diophantine equations
Theoretical Computer Science
On two-way nondeterministic finite automata with one reversal-bounded counter
Theoretical Computer Science - Insightful theory
Quantum versus deterministic counter automata
Theoretical Computer Science
Theoretical Computer Science
Flat Parametric Counter Automata
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Particle swarm optimisation based Diophantine equation solver
International Journal of Bio-Inspired Computation
Generalized counters and reversal complexity
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Flat Parametric Counter Automata
Fundamenta Informaticae - Machines, Computations and Universality, Part II
| Hi-index | 0.01 |