dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Oscar H. Ibarra (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Louis E. Rosier: The Equivalence Problem and Correctness Formulas for a Simple Class of Programs Information and Control 65(1): 18-41 (1985)
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Louis E. Rosier: On Simple Programs with Primitive Conditional Statements Information and Control 65(1): 42-62 (1985)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Sam M. Kim, Louis E. Rosier: Some Characterizations of Multihead Finite Automata Information and Control 67(1-3): 114-125 (1985)
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Sam M. Kim, Louis E. Rosier: On Space and Time Efficient TM Simulations of Some Restricted Classes of PDA's Information and Control 67(1-3): 126-143 (1985)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Sam M. Kim, Louis E. Rosier: Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs. ICALP 1984: 247-259
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Louis E. Rosier: The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). MFCS 1984: 330-338
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Brian S. Leininger, Louis E. Rosier: A Note on the Complexity of Program Evaluation. Mathematical Systems Theory 17(2): 85-96 (1984)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Shlomo Moran, Louis E. Rosier: On the Control Power of Integer Division. Theor. Comput. Sci. 24: 35-52 (1983)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Louis E. Rosier: Simple Programming Languages and Restricted Classes of Turing Machines. Theor. Comput. Sci. 26: 197-220 (1983)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Shlomo Moran, Louis E. Rosier: Probabilistic Algorithms and Straight-Line Programs for Some Rank Decision Problems. Inf. Process. Lett. 12(5): 227-232 (1981)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Louis E. Rosier: On the Decidability of Equivalence for Deterministic Pushdown Transducers. Inf. Process. Lett. 13(3): 89-93 (1981)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Louis E. Rosier: On Restricted One-counter Machines. Mathematical Systems Theory 14: 241-245 (1981)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Shlomo Moran, Louis E. Rosier: A Note on the Parallel Complexity of Computing the Rank of Order n Matrices. Inf. Process. Lett. 11(4/5): 162 (1980)

Selection of 13 from 314 records - Oscar H. Ibarra has 102 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page