Search results for "reversal-bounded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008	On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages.	STACS	1993	DBLP DOI BibTeX RDF
63	Alain Finkel, Arnaud Sangnier	Reversal-Bounded Counter Machines Revisited.	MFCS	2008	DBLP DOI BibTeX RDF
58	Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa	Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages.	ICALP	2001	DBLP DOI BibTeX RDF	Reversal-bounded counters, commutation of languages, context-free languages, combinatorics on words, morphisms
49	Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro	Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.	FSTTCS	2001	DBLP DOI BibTeX RDF
48	Oscar H. Ibarra, Ömer Egecioglu	Hierarchies and Characterizations of Stateless Multicounter Machines.	COCOON	2009	DBLP DOI BibTeX RDF	Stateless multicounter machine, reversal-bounded, non- realtime, stateless multihead automata, hierarchy, closure properties, semilinear set
46	Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008	New Decidability Results Concerning Two-way Counter Machines and Applications.	ICALP	1993	DBLP DOI BibTeX RDF
44	Ömer Egecioglu, Oscar H. Ibarra	On Stateless Multicounter Machines.	CiE	2009	DBLP DOI BibTeX RDF	Stateless multicounter machines, reversal-bounded, realtime computation, hierarchies
42	Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer	Past Pushdown Timed Automata.	CIAA	2001	DBLP DOI BibTeX RDF
42	Hiroaki Yamamoto, Shoichi Noguchi	Comparison of the Power between Reversal-Bounded ATMs and Reversal-Bounded NTMs	Inf. Comput.	1987	DBLP DOI BibTeX RDF
39	Oscar H. Ibarra, Tevfik Bultan, Jianwen Su	Reachability Analysis for Some Models of Infinite-State Transition Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
39	Matthias Jantzen	Hierarchies of Principal Twist-Closed Trios.	STACS	1998	DBLP DOI BibTeX RDF
39	Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun	On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter.	ISAAC	2002	DBLP DOI BibTeX RDF
35	Pavol Duris, Zvi Galil	On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of the Pushdown Store.	ICALP	1982	DBLP DOI BibTeX RDF
28	Oscar H. Ibarra, Bala Ravikumar	On bounded languages and reversal-bounded automata.	Inf. Comput.	2016	DBLP DOI BibTeX RDF
28	Oscar H. Ibarra, Bala Ravikumar	On Bounded Languages and Reversal-Bounded Automata.	LATA	2013	DBLP DOI BibTeX RDF
28	Ian Parberry	An Improved Simulation of Space and Reversal Bounded Deterministic Turing Machines by Width and Depth Bounded Uniform Circuits.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
28	Andreas Brandstädt, Klaus W. Wagner	Reversal-Bounded and Visit-Bounded Realtime Computations.	FCT	1983	DBLP DOI BibTeX RDF
28	Oscar H. Ibarra, Zhe Dang	On Removing the Pushdown Stack in Reachability Constructions.	ISAAC	2001	DBLP DOI BibTeX RDF
28	Matthias Jantzen, Alexy Kurganskyy	Refining the Hierarchy of Blind Multicounter Languages.	STACS	2001	DBLP DOI BibTeX RDF
21	Pascal Baumann 0001, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche	Unboundedness problems for machines with reversal-bounded counters.	CoRR	2023	DBLP DOI BibTeX RDF
21	Pascal Baumann 0001, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche	Unboundedness Problems for Machines with Reversal-Bounded Counters.	FoSSaCS	2023	DBLP DOI BibTeX RDF
21	Joey Eremondi, Oscar H. Ibarra, Ian McQuillan	Insertion operations on deterministic reversal-bounded counter machines.	J. Comput. Syst. Sci.	2019	DBLP DOI BibTeX RDF
21	Joey Eremondi, Oscar H. Ibarra, Ian McQuillan	Insertion Operations on Deterministic Reversal-Bounded Counter Machines.	CoRR	2019	DBLP BibTeX RDF
21	Rayna Dimitrova, Rupak Majumdar	Reachability analysis of reversal-bounded automata on series-parallel graphs.	Acta Informatica	2018	DBLP DOI BibTeX RDF
21	Rayna Dimitrova, Rupak Majumdar	Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.	GandALF	2015	DBLP DOI BibTeX RDF
21	Joey Eremondi, Oscar H. Ibarra, Ian McQuillan	Insertion Operations on Deterministic Reversal-Bounded Counter Machines.	LATA	2015	DBLP DOI BibTeX RDF
21	Oscar H. Ibarra	Automata with Reversal-Bounded Counters: A Survey.	DCFS	2014	DBLP DOI BibTeX RDF
21	Matthew Hague, Anthony Widjaja Lin	Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters.	CAV	2012	DBLP DOI BibTeX RDF
21	Marcello M. Bersani, Stéphane Demri	The Complexity of Reversal-Bounded Model-Checking.	FroCoS	2011	DBLP DOI BibTeX RDF
21	Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun	On two-way nondeterministic finite automata with one reversal-bounded counter.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
21	Hiroaki Yamamoto	On the Power of Alternation on Reversal-Bounded Alternating Turing Machines with a Restriction.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
21	Changwook Kim, Ivan Hal Sudborough	On Reversal-Bounded Picture Languages.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
21	Andrej Bebják, Ivana Stefáneková	Nondeterminism is essential for reversal-bounded two-way multihead finite automata.	Kybernetika	1988	DBLP BibTeX RDF
21	Tat-hung Chan	Pushdown Automata with Reversal-Bounded Counters.	J. Comput. Syst. Sci.	1988	DBLP DOI BibTeX RDF
21	Juraj Hromkovic	Reversal-Bounded Nondeterministic Multicounter Machines and Complementation.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
21	Maciej Liskiewicz, Krzysztof Lorys, Marek Piotrów	On Reversal Bounded Alternating Turing Machines.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
21	Rodney R. Howell, Louis E. Rosier	An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.	J. Comput. Syst. Sci.	1987	DBLP DOI BibTeX RDF
21	Juraj Hromkovic	Hierarchy of reversal bounded one-way multicounter machines.	Kybernetika	1986	DBLP BibTeX RDF
21	Rodney R. Howell, Louis E. Rosier	An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.	MFCS	1986	DBLP DOI BibTeX RDF
21	Wojciech Rytter, Marek Chrobak	A Characterization of Reversal-Bounded Multipushdown Machine Languages.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
21	Pavol Duris, Zvi Galil	On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of their Pushdown Store	Inf. Control.	1982	DBLP DOI BibTeX RDF
21	Tat-hung Chan	Reversal-Bounded Computations.		1980	RDF
21	Oscar H. Ibarra	Reversal-Bounded Multicounter Machines and Their Decision Problems.	J. ACM	1978	DBLP DOI BibTeX RDF
21	Ronald V. Book, Chee-Keng Yap	On the Computational Power of Reversal-Bounded Machines.	ICALP	1977	DBLP DOI BibTeX RDF
21	Brenda S. Baker, Ronald V. Book	Reversal-Bounded Multipushdown Machines.	J. Comput. Syst. Sci.	1974	DBLP DOI BibTeX RDF
21	Ronald V. Book, Maurice Nivat, Mike Paterson	Reversal-Bounded Acceptors and Intersections of Linear Languages.	SIAM J. Comput.	1974	DBLP DOI BibTeX RDF
21	Ronald V. Book, Maurice Nivat, Mike Paterson	Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (Extended Abstract)	STOC	1974	DBLP DOI BibTeX RDF
21	Brenda S. Baker, Ronald V. Book	Reversal-Bounded Multi-Pushdown Machines: Extended Abstract	SWAT	1972	DBLP DOI BibTeX RDF
21	Juris Hartmanis	Tape-Reversal Bounded Turing Machine Computations.	J. Comput. Syst. Sci.	1968	DBLP DOI BibTeX RDF
18	Oscar H. Ibarra	Reachability and Safety in Queue Systems.	CIAA	2000	DBLP DOI BibTeX RDF
14	Stéphane Demri, Ranko Lazic 0001, Arnaud Sangnier	Model Checking Freeze LTL over One-Counter Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
14	Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001	The Cost of Punctuality.	LICS	2007	DBLP DOI BibTeX RDF
14	Jérôme Leroux, Grégoire Sutre	Flat Counter Automata Almost Everywhere!	ATVA	2005	DBLP DOI BibTeX RDF
14	Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun	Safety Verification for Two-Way Finite Automata with Monotonic Counters.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
14	Ahmed Bouajjani, Peter Habermehl, Richard Mayr	Automatic Verification of Recursive Procedures with One Integer Parameter.	MFCS	2001	DBLP DOI BibTeX RDF
14	Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer	Conter Machines: Decidable Properties and Applications to Verification Problems.	MFCS	2000	DBLP DOI BibTeX RDF