Eitan M. Gurari

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An NP-complete number-theoretic problem Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78	2014-03-14	Paper
scientific article; zbMATH DE number 4043216 (Why is no real title available?)	1987-01-01	Paper
Two-way counter machines and finite-state transducers† International Journal of Computer Mathematics	1985-01-01	Paper
Decidable problems for powerful programs Journal of the ACM	1985-01-01	Paper
Improved dynamic programming algorithms for bandwidth minimization and the MinCut Linear Arrangement problem Journal of Algorithms	1984-01-01	Paper
A note on finite-valued and finitely ambiguous transducers Mathematical Systems Theory	1983-01-01	Paper
Some simplified undecidable and NP-hard problems for simple programs Theoretical Computer Science	1982-01-01	Paper
The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable SIAM Journal on Computing	1982-01-01	Paper
(Semi)alternating stack automata Mathematical Systems Theory	1982-01-01	Paper
Two-Way Counter Machines and Diophantine Equations Journal of the ACM	1982-01-01	Paper
The complexity of the equivalence problem for two characterizations of Presburger sets Theoretical Computer Science	1981-01-01	Paper
The complexity of decision problems for finite-turn multicounter machines Journal of Computer and System Sciences	1981-01-01	Paper
The Complexity of the Equivalence Problem for Simple Programs Journal of the ACM	1981-01-01	Paper
scientific article; zbMATH DE number 3757703 (Why is no real title available?)	1981-01-01	Paper
Path Systems: Constructions, Solutions and Applications SIAM Journal on Computing	1980-01-01	Paper
Simple counter machines and number-theoretic problems Journal of Computer and System Sciences	1979-01-01	Paper
On the space complexity of recursive algorithms Information Processing Letters	1979-01-01	Paper
Some decision problems concerning sequential transducers and checking automata Journal of Computer and System Sciences	1979-01-01	Paper
An NP-Complete Number-Theoretic Problem Journal of the ACM	1979-01-01	Paper

Research outcomes over time

This page was built for person: Eitan M. Gurari