| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Oscar H. Ibarra 170 Hoda Mokhtar , Jianwen Su , Oscar H. Ibarra: On Moving Object Queries. PODS 2002 : 188-198 169 Oscar H. Ibarra: Verification in Queue-Connected Multicounter Machines. International Journal of Foundations of Computer Science 13 (1): 115-127 (2002) 168 Zhe Dang , Oscar H. Ibarra, Richard A. Kemmerer : Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. COCOON 2001 : 529-539 167 Zhe Dang , Oscar H. Ibarra, Pierluigi San Pietro : Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. FSTTCS 2001 : 132-143 166 Tero Harju , Oscar H. Ibarra, Juhani Karhumäki , Arto Salomaa : Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ICALP 2001 : 579-590 165 Oscar H. Ibarra, Zhe Dang : On Removing the Pushdown Stack in Reachability Constructions. ISAAC 2001 : 244-256 164 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: On Multi-way Spatial Joins with Direction Predicates. SSTD 2001 : 217-235 163 Jianwen Su , Haiyan Xu , Oscar H. Ibarra: Moving Objects: Logical Relationships and Queries. SSTD 2001 : 3-19 162 Oscar H. Ibarra, Tevfik Bultan , Jianwen Su : On Reachability and Safety in Infinite-State Systems. International Journal of Foundations of Computer Science 12 (6): 821-836 (2001) 161 Zhe Dang , Oscar H. Ibarra, Tevfik Bultan , Richard A. Kemmerer , Jianwen Su : Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000 : 69-84 160 Oscar H. Ibarra: Reachability and Safety in Queue Systems. CIAA 2000 : 145-156 159 Oscar H. Ibarra, Jianwen Su : Generalizing the Discrete Timed Automaton. CIAA 2000 : 157-169 158 Oscar H. Ibarra, Tevfik Bultan , Jianwen Su : Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000 : 183-198 157 Oscar H. Ibarra, Koji Nakano , Stephan Olariu : Workshop on Advances in Parallel and Distributed Computational Models. IPDPS Workshops 2000 : 101 156 Oscar H. Ibarra, Jianwen Su , Zhe Dang , Tevfik Bultan , Richard A. Kemmerer : Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS 2000 : 426-435 155 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: Toward Spatial Joins for Polygons. SSDBM 2000 : 231-244 154 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: Extending Rectangle Join Algorithms for Rectilinear Polygons. Web-Age Information Management 2000 : 247-258 153 Huican Zhu , Tao Yang , Qi Zheng , David Watson , Oscar H. Ibarra, Terence R. Smith : Adaptive Load Sharing for Clustered Digital Library Servers. Int. J. on Digital Libraries 2 (4): 225-235 (2000) 152 Athanassios S. Poulakidas , Ashok Srinivasan , Ömer Egecioglu , Oscar H. Ibarra, Toa Yang : Image compression for fast wavelet-based subregion retrieval. TCS 240 (2): 447-469 (2000) 151 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: An Index Structure for Spatial Joins in Linear Constraint Databases. ICDE 1999 : 636-643 150 Oscar H. Ibarra, Jianwen Su : Counter Machines: Decision Problems and Applications. Jewels are Forever 1999 : 84-96 149 Oscar H. Ibarra, Jiawen Su : A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries. JCSS 59 (1): 1-28 (1999) 148 Kyung-Yong Chwa , Oscar H. Ibarra: Algorithms and Computation, 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings. Springer 1998 147 Huican Zhu , Tao Yang , Qi Zheng , David Watson , Oscar H. Ibarra, Terence R. Smith : Adaptive Load Sharing for Clustered Digital Library Servers. HPDC 1998 : 235-242 146 Daniel Andresen , Tao Yang , Oscar H. Ibarra, Ömer Egecioglu : Adaptive Partitioning and Scheduling for Enhancing WWW Application Performance. Journal of Parallel and Distributed Computing 49 (1): 57-85 (1998) 145 Athanassios S. Poulakidas , Ashok Srinivasan , Ömer Egecioglu , Oscar H. Ibarra, Toa Yang : A Compact Storage Scheme for Fast Wavelet-Based Subregion Retrieval. COCOON 1997 : 353-362 144 Oscar H. Ibarra, Jianwen Su : On the Containment and Equivalence of Database Queries with Linear Constraints. PODS 1997 : 32-43 143 Oscar H. Ibarra, Pedro C. Diniz , Martin C. Rinard : On the Complexity of Commutativity Analysis. International Journal of Foundations of Computer Science 8 (1): 81- (1997) 142 Yizhou Yu , Oscar H. Ibarra, Tao Yang : Parallel Progressive Radiosity with Adaptive Meshing. Journal of Parallel and Distributed Computing 42 (1): 30-41 (1997) 141 Daniel Andresen , Tao Yang , Oscar H. Ibarra: Toward a Scalable Distributed {WWW} Server on Workstation Clusters. Journal of Parallel and Distributed Computing 42 (1): 91-100 (1997) 140 Oscar H. Ibarra, Nicholas Q. Trân , Tao Yang : On the Parallel Complexity of Loops. TCS 179 (1-2): 381-395 (1997) 139 Daniel Andresen , Toa Yang , Ömer Egecioglu , Oscar H. Ibarra, Terence R. Smith : Scalability Issues for High Performance Digital Libraries on the World Wide Web. ADL 1996 : 139-148 138 Oscar H. Ibarra, Pedro C. Diniz , Martin C. Rinard : On the Complexity of Commutativity Analysis. COCOON 1996 : 323-332 137 Athanassios S. Poulakidas , Ashok Srinivasan , Ömer Egecioglu , Oscar H. Ibarra, Toa Yang : Experimental Studies on a Compact Storage Scheme for Wavelet-Based Multiresolution Subregion Retrieval. Data Compression Conference 1996 : 465 136 Daniel Andresen , Tao Yang , Vegard Holmedahl , Oscar H. Ibarra: SWEB: Towards a Scalable World Wide Web Server on Multicomputers. IPPS 1996 : 850-856 135 Yizhou Yu , Oscar H. Ibarra, Tao Yang : Parallel Progressive Radiosity with Adaptive Meshing. IRREGULAR 1996 : 159-170 134 Tao Yang , Oscar H. Ibarra: Performance Prediction in Symbolic Scheduling of Partitioned Programs with Weight Variation. Journal of Parallel and Distributed Computing 34 (2): 171-182 (1996) 133 Oscar H. Ibarra, Tao Jiang , Nicholas Q. Trân , Hui Wang : New Decidability Results Concerning Two-Way Counter Machines. SIAM J. Comput. 24 (1): 123-137 (1995) 132 Oscar H. Ibarra, Nicholas Q. Trân : On the Parallel Complexity of Solving Recurrence Equations. ISAAC 1994 : 469-477 131 Oscar H. Ibarra, Tao Jiang : On Some Open Problems Concerning the Complexity of Cellular Arrays. Results and Trends in Theoretical Computer Science 1994 : 183-196 130 Oscar H. Ibarra, Nicholas Q. Trân : On Communication-Bounded Synchronized Alternating Finite Automata. Acta Informatica 31 (4): 315-327 (1994) 129 Oscar H. Ibarra, Qi Zheng : Some Efficient Algorithms for Permutation Graphs. J. Algorithms 16 (3): 453-469 (1994) 128 Tao Jiang , Oscar H. Ibarra, Hui Wang : Some Results Concerning 2-D On-Line Tessellation Acceptors and 2-D Alternating Finite Automata. TCS 125 (2): 243-257 (1994) 127 Oscar H. Ibarra, Tao Jiang , Nicholas Q. Trân , Hui Wang : New Decidability Results Concerning Two-way Counter Machines and Applications. ICALP 1993 : 313-324 126 Oscar H. Ibarra, Qi Zheng : Finding Articulation Points and Bridges of Permutation Graphs. ICPP 1993 : 77-80 125 Oscar H. Ibarra, Qi Zheng : On the Shortest Path Problems for Permutation Graphs. IPPS 1993 : 198-204 124 Oscar H. Ibarra, Nicholas Q. Trân : On the Communication Complexity of Parallel Computation. MFCS 1993 : 517-526 123 Oscar H. Ibarra, Tao Jiang , Nicholas Q. Trân , Hui Wang : On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages. STACS 1993 : 354-364 122 Oscar H. Ibarra, Tao Jiang , Nicholas Q. Trân , Hui Wang : On the Equivalence of Two-Way Pushdown Automata and Counter Machines Over Bounded Languages. International Journal of Foundations of Computer Science 4 (2): 135-146 (1993) 121 Oscar H. Ibarra, Hui Wang , Tao Jiang : On Efficient Parallel Algorithms for Solving Set Recurrence Equations. J. Algorithms 14 (2): 244-257 (1993) 120 Oscar H. Ibarra, M. H. Kim : Quadtree Building Algorithms on an SIMD Hypercube. Journal of Parallel and Distributed Computing 18 (1): 71-76 (1993) 119 Oscar H. Ibarra, Nicholas Q. Trân : A Note on Simple Programs with Two Variables. TCS 112 (2): 391-397 (1993) 118 Oscar H. Ibarra, Nicholas Q. Trân : Synchronized Finite Automata and 2DFA Reductions. TCS 115 (2): 261-275 (1993) 117 Oscar H. Ibarra, Nicholas Q. Trân : New Results Concerning Synchronized Finite Automata. ICALP 1992 : 126-137 116 Oscar H. Ibarra, Tao Jiang , Hui Wang : String Editing on a One-Way Linear Array of Finite-State Machines. IEEE Transactions on Computers 41 (1): 112-118 (1992) 115 Oscar H. Ibarra, Nicholas Q. Trân : On Space-Bounded Synchronized Alternating Turing Machines. TCS 99 (2): 243-264 (1992) 114 Oscar H. Ibarra, Tao Jiang , Hui Wang : A Characterization of Exponential-Time Languages by Alternating Context-Free Grammars. TCS 99 (2): 301-313 (1992) 113 Oscar H. Ibarra, Nicholas Q. Trân : On Space-bounded Synchronized Alternating Turing Machines. FCT 1991 : 248-257 112 J. Andrew Holey , Oscar H. Ibarra: Triangulation in a Plane and 3-D Convex Hull on Mesh-Connected Arrays and Hypercubes. IPPS 1991 : 10-17 111 Oscar H. Ibarra, Myung Hee Kim : Fast Parallel Algorithms for Solving Triangular Systems of Linear Equations on the Hypercube. IPPS 1991 : 76-83 110 Oscar H. Ibarra, Tao Jiang , Hui Wang : Some Results Concerning 2-D On-line Tessellation Acceptors and 2-D Alternating Finite Automata. MFCS 1991 : 221-230 109 Oscar H. Ibarra, Ting-Chuen Pong , Stephen M. Sohn : Parallel Regognition and Parsing on the Hypercube. IEEE Transactions on Computers 40 (6): 764-770 (1991) 108 Oscar H. Ibarra, Tao Jiang , Jik H. Chang , Bala Ravikumar : Some Classes of Languages in NC¹. Information and Computation 90 (1): 86-106 (1991) 107 Oscar H. Ibarra, Tao Jiang : Learning Regular Languages from Counterexamples. JCSS 43 (2): 299-316 (1991) 106 Oscar H. Ibarra, Tao Jiang : The Power of Alternating One-Reversal Counters and Stacks. SIAM J. Comput. 20 (2): 278-290 (1991) 105 Oscar H. Ibarra, Hui Wang : Parallel Parsing on a One-Way Linear Array of Finite-State Machines. TCS 85 (1): 53-74 (1991) 104 Oscar H. Ibarra, Stephen M. Sohn : On Mapping Systolic Algorithms onto the Hypercube. IEEE Transactions on Parallel and Distributed Systems 1 (1): 48-63 (1990) 103 Oscar H. Ibarra, Tao Jiang , Hui Wang : Parallel Parsing on a One-way Linear Array of Finite-State Machines. FSTTCS 1989 : 291-300 102 Oscar H. Ibarra, Michael A. Palis : An Efficient All-Parses Systolic Algorithm for General Context-Free Parsing. WADS 1989 : 403-419 101 Oscar H. Ibarra, Tao Jiang : Optimal Simulation of Tree Arrays by Linear Arrays. Information Processing Letters 30 (6): 295-302 (1989) 100 Oscar H. Ibarra, Tao Jiang , Jik H. Chang : On Iterative and Cellular Tree Arrays. JCSS 38 (3): 452-473 (1989) 99 Bala Ravikumar , Oscar H. Ibarra: Relating the Type of Ambiguity of Finite Automata to the Succinctness of Their Representation. SIAM J. Comput. 18 (6): 1263-1282 (1989) 98 Jik H. Chang , Oscar H. Ibarra, Michael A. Palis : Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATMs and Space-Bounded TMs. TCS 68 (1): 19-36 (1989) 97 Oscar H. Ibarra, Tao Jiang , Bala Ravikumar , Jik H. Chang : On Some Languages in NC. AWOC 1988 : 64-73 96 Oscar H. Ibarra, Tao Jiang : Learning Regular Languages From Counterexamples. COLT 1988 : 371-385 95 Jik H. Chang , Oscar H. Ibarra, Michael A. Palis : Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATM's and Space-Bounded TM's. ICALP 1988 : 119-132 94 David Hung-Chang Du , Oscar H. Ibarra, J. Fernando Naveda : On Two-Dimensional Via Assignment for Single-Row Routing. IEEE Transactions on Computers 37 (6): 721-727 (1988) 93 Jik H. Chang , Oscar H. Ibarra, Moon-Jung Chung , Kotesh K. Rao : Systolic Tree Implementation of Data Structures. IEEE Transactions on Computers 37 (6): 727-735 (1988) 92 Oscar H. Ibarra, Tao Jiang , Bala Ravikumar : Some Subclasses of Context-Free Languages In NC1. Information Processing Letters 29 (3): 111-117 (1988) 91 Jik H. Chang , Oscar H. Ibarra, Anastasios Vergis : On the power of one-way communication. JACM 35 (3): 697-726 (1988) 90 Oscar H. Ibarra, Bala Ravikumar : Sublogarithmic-Space Turing Machines, Nonuniform Space Complexity, and Closure Properties. Mathematical Systems Theory 21 (1): 1-17 (1988) 89 Oscar H. Ibarra, Tao Jiang : Relating the Power of Cellular Arrays to Their Closure Properties. TCS 57 : 225-238 (1988) 88 Oscar H. Ibarra, Michael A. Palis : Two-Dimensional Iterative Arrays: Characterizations and Applications. TCS 57 : 47-86 (1988) 87 Oscar H. Ibarra, Bala Ravikumar : Relating the Degree of Ambiguity of Finite Automata to the Succinctness of their Representation. FSTTCS 1987 : 26-43 86 Oscar H. Ibarra, Tao Jiang : On the Computing Power of One-Way Cellular Arrays. ICALP 1987 : 550-562 85 Jik H. Chang , Oscar H. Ibarra, Michael A. Palis : Parallel Parsing on a One-Way Array of Finite-State Machines. IEEE Transactions on Computers 36 (1): 64-75 (1987) 84 Jik H. Chang , Oscar H. Ibarra, Bala Ravikumar , Leonard Berman : Some Observations Concerning Alternating Turing Machines Using Small Space. Information Processing Letters 25 (1): 1-9 (1987) 83 Oscar H. Ibarra, Michael A. Palis : On Efficient Simulations of Systolic Arrays of Random-Access Machines. SIAM J. Comput. 16 (2): 367-377 (1987) 82 Oscar H. Ibarra, Tao Jiang : On One-Way Cellular Arrays. SIAM J. Comput. 16 (6): 1135-1154 (1987) 81 Jik H. Chang , Oscar H. Ibarra, Anastasios Vergis : On the Power of One-Way Communication. FOCS 1986 : 455-464 80 Oscar H. Ibarra: Systolic Arrays: Characterizations and Complexity. MFCS 1986 : 140-153 79 Oscar H. Ibarra, Bala Ravikumar : On Sparseness, Ambiguity and other Decision Problems for Acceptors and Transducers. STACS 1986 : 171-179 78 Oscar H. Ibarra, Sam M. Kim , Michael A. Palis : Designing Systolic Algorithms Using Sequential Machines. IEEE Transactions on Computers 35 (6): 531-542 (1986) 77 Jik H. Chang , Oscar H. Ibarra, Michael A. Palis , Bala Ravikumar : On Pebble Automata. TCS 44 : 111-121 (1986) 76 Oscar 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) 75 Oscar H. Ibarra, Louis E. Rosier : On Simple Programs with Primitive Conditional Statements. Information and Control 65 (1): 42-62 (1985) 74 Oscar H. Ibarra, Sam M. Kim , Louis E. Rosier : Some Characterizations of Multihead Finite Automata. Information and Control 67 (1-3): 114-125 (1985) 73 Oscar 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) 72 Oscar H. Ibarra, Sam M. Kim , Shlomo Moran : Sequential Machine Characterizations of Trellis and Cellular Automata and Applications. SIAM J. Comput. 14 (2): 426-447 (1985) 71 Oscar H. Ibarra, Michael A. Palis , Jik H. Chang : On Efficient Recognition of Transductions and Relations. TCS 39 : 89-106 (1985) 70 Oscar H. Ibarra, Michael A. Palis , Sam M. Kim : Fast Parallel Language Recognition by Cellular Automata. TCS 41 : 231-246 (1985) 69 Oscar H. Ibarra, Michael A. Palis , Sam M. Kim : Designing Systolic Algorithms Using Sequential Machines. FOCS 1984 : 46-55 68 Oscar 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 67 Oscar H. Ibarra, Louis E. Rosier : The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). MFCS 1984 : 330-338 66 Oscar H. Ibarra, Sam M. Kim : A Characterization of Systolic Binary Tree Automata and Applications. Acta Informatica 21 : 193-207 (1984) 65 Oscar H. Ibarra, Brian S. Leininger , Louis E. Rosier : A Note on the Complexity of Program Evaluation. Mathematical Systems Theory 17 (2): 85-96 (1984) 64 Oscar H. Ibarra, Sam M. Kim : Characterizations and Computational Complexity of Systolic Trellis Automata. TCS 29 : 123-153 (1984) 63 Oscar H. Ibarra, Shlomo Moran : Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs. JACM 30 (1): 217-228 (1983) 62 Oscar H. Ibarra, Brian S. Leininger : On the Simplification and Equivalence Problems for Straight-Line Programs. JACM 30 (3): 641-656 (1983) 61 Oscar H. Ibarra, Brian S. Leininger : On the Zero-Inequivalence Problem for Loop Programs. JCSS 26 (1): 47-64 (1983) 60 Eitan M. Gurari , Oscar H. Ibarra: A Note on Finitely-Valued and Finitely Ambiguous Transducers. Mathematical Systems Theory 16 (1): 61-66 (1983) 59 Oscar H. Ibarra, Shlomo Moran : Some Time-Space Tradeoff Results Concerning Single-Tape and Offline TM's. SIAM J. Comput. 12 (2): 388-394 (1983) 58 Tat-hung Chan , Oscar H. Ibarra: On the Space and Time Complexity of Functions Computable by Simple Programs. SIAM J. Comput. 12 (4): 708-716 (1983) 57 Tat-hung Chan , Oscar H. Ibarra: On the Finite-Valuedness Problem for Sequential Machines. TCS 23 : 95-101 (1983) 56 Oscar H. Ibarra: On Some Decision Questions Concerning Pushdown Machines. TCS 24 : 313-322 (1983) 55 Oscar H. Ibarra, Shlomo Moran , Louis E. Rosier : On the Control Power of Integer Division. TCS 24 : 35-52 (1983) 54 Oscar H. Ibarra, Louis E. Rosier : Simple Programming Languages and Restricted Classes of Turing Machines. TCS 26 : 197-220 (1983) 53 Oscar H. Ibarra, Shlomo Moran , Roger Hui : A Generalization of the Fast LUP Matrix Decomposition Algorithm and Applications. J. Algorithms 3 (1): 45-56 (1982) 52 Eitan M. Gurari , Oscar H. Ibarra: Two-Way Counter Machines and Diophantine Equations. JACM 29 (3): 863-873 (1982) 51 Oscar H. Ibarra, Shlomo Moran : On Some Decision Problems for RAM Programs. JCSS 24 (1): 69-81 (1982) 50 Eitan M. Gurari , Oscar H. Ibarra: (Semi)Alternating Stack Automata. Mathematical Systems Theory 15 (3): 211-224 (1982) 49 Oscar H. Ibarra, Brian S. Leininger : Straight-Line Programs with One Input Variable. SIAM J. Comput. 11 (1): 1-14 (1982) 48 Oscar H. Ibarra, Brian S. Leininger : The Complexity of the Equivalence Problem for Simple Loop-Free Programs. SIAM J. Comput. 11 (1): 15-27 (1982) 47 Eitan M. Gurari , Oscar H. Ibarra: Some Simplified Undecidable and NP-Hard Problems for Simple Programs. TCS 17 : 55-73 (1982) 46 Oscar H. Ibarra, Brian S. Leininger , Shlomo Moran : On the Complexity of Simple Arithmetic Expressions. TCS 19 : 17-28 (1982) 45 Oscar H. Ibarra: 2DST Mapppings on Languages and Related Problems. TCS 19 : 219-227 (1982) 44 Eitan M. Gurari , Oscar H. Ibarra: Two-Way Counter Machines and Diophantine Equations. FOCS 1981 : 45-52 43 Oscar H. Ibarra, Brian S. Leininger , Shlomo Moran : On the Complexity of Simple Arithmetic Expressions. ICALP 1981 : 294-304 42 Eitan M. Gurari , Oscar H. Ibarra: The Complexity of Decision Problems for Finite-Turn Multicounter Machines. ICALP 1981 : 495-505 41 Oscar H. Ibarra, Shlomo Moran , Louis E. Rosier : Probabilistic Algorithms and Straight-Line Programs for Some Rank Decision Problems. Information Processing Letters 12 (5): 227-232 (1981) 40 Oscar H. Ibarra, Shlomo Moran : Deterministic and Probabilistic Algorithms for Maximum Bipartite Matching Via Fast Matrix Multiplication. Information Processing Letters 13 (1): 12-15 (1981) 39 Oscar H. Ibarra, Louis E. Rosier : On the Decidability of Equivalence for Deterministic Pushdown Transducers. Information Processing Letters 13 (3): 89-93 (1981) 38 Eitan M. Gurari , Oscar H. Ibarra: The Complexity of the Equivalence Problem for Simple Programs. JACM 28 (3): 535-560 (1981) 37 Eitan M. Gurari , Oscar H. Ibarra: The Complexity of Decision Problems for Finite-Turn Multicounter Machines. JCSS 22 (2): 220-229 (1981) 36 Oscar H. Ibarra, Louis E. Rosier : On Restricted One-counter Machines. Mathematical Systems Theory 14 : 241-245 (1981) 35 Oscar H. Ibarra, Brian S. Leininger : Characterizations of Presburger Functions. SIAM J. Comput. 10 (1): 22-39 (1981) 34 Eitan M. Gurari , Oscar H. Ibarra: The Complexity of the Equivalence Problem for two Characterizations of Presburger Sets. TCS 13 : 295-314 (1981) 33 Oscar H. Ibarra, Brian S. Leininger : The Complexity of the Equivalence Problem for Straight-Line Programs. STOC 1980 : 273-280 32 Oscar H. Ibarra, Shlomo Moran , Louis E. Rosier : A Note on the Parallel Complexity of Computing the Rank of Order n Matrices. Information Processing Letters 11 (4/5): 162 (1980) 31 Eitan M. Gurari , Oscar H. Ibarra: Path Systems: Constructions, Solutions and Applications. SIAM J. Comput. 9 (2): 348-374 (1980) 30 Eitan M. Gurari , Oscar H. Ibarra: The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs. STOC 1979 : 142-152 29 Eitan M. Gurari , Oscar H. Ibarra: On the Space Complexity of Recursive Algorithms. Information Processing Letters 8 (5): 267-271 (1979) 28 Eitan M. Gurari , Oscar H. Ibarra: An NP-Complete Number-Theoretic Problem. JACM 26 (3): 567-581 (1979) 27 Eitan M. Gurari , Oscar H. Ibarra: Some Decision Problems Concerning Sequential Transducers and Checking Automata. JCSS 18 (1): 18-34 (1979) 26 Eitan M. Gurari , Oscar H. Ibarra: Simple Counter Machines and Number-Theoretic Problems. JCSS 19 (2): 145-162 (1979) 25 Oscar H. Ibarra: Restricted One-Counter Machines with Undecidable Universe Problems. Mathematical Systems Theory 13 : 181-186 (1979) 24 Eitan M. Gurari , Oscar H. Ibarra: An NP-Complete Number-Theoretic Problem. STOC 1978 : 205-215 23 Oscar H. Ibarra: Reversal-Bounded Multicounter Machines and Their Decision Problems. JACM 25 (1): 116-133 (1978) 22 Oscar H. Ibarra: The Unsolvability of the Equivalence Problem for epsilon-Free NGSM's with Unary Input (Output) Alphabet and Applications. SIAM J. Comput. 7 (4): 524-532 (1978) 21 Oscar H. Ibarra: On Two-Way Sequential Transductions of Full Semi-AFL's. TCS 7 : 287-309 (1978) 20 Oscar H. Ibarra: The Unsolvability of the Equivalence Problem for epsilon-free NGSM's with Unary Input (Output) Alphabet and Applications. FOCS 1977 : 74-81 19 Oscar H. Ibarra, Chul E. Kim : Heuristic Algorithms for Scheduling Independent Tasks on Nonidentical Processors. JACM 24 (2): 280-289 (1977) 18 Teofilo F. Gonzalez , Oscar H. Ibarra, Sartaj Sahni : Bounds for LPT Schedules on Uniform Processors. SIAM J. Comput. 6 (1): 155-166 (1977) 17 Oscar H. Ibarra, Chul E. Kim : A Useful Device for Showing the Solvability of Some Decision Problems. STOC 1976 : 135-140 16 Oscar H. Ibarra, Chul E. Kim : A Useful Device for Showing the Solvability of Some Decision Problems. JCSS 13 (2): 153-160 (1976) 15 Oscar H. Ibarra, Sartaj Sahni , Chul E. Kim : Finite Automata with Multiplication. TCS 2 (3): 271-294 (1976) 14 Oscar H. Ibarra, Sartaj Sahni : Polynomially Complete Fault Detection Problems. IEEE Transactions on Computers 24 (3): 242-249 (1975) 13 Oscar H. Ibarra, Chul E. Kim : Fast Approximation Algorithms for the Knapsack and Sum of Subset Problems. JACM 22 (4): 463-468 (1975) 12 Oscar H. Ibarra, Sartaj Sahni : Hierarchies of Turing Machines with Restricted Tape Alphabet Size. JCSS 11 (1): 56-67 (1975) 11 Oscar H. Ibarra, Chul E. Kim : On 3-Head Versus 2-Head Finite Automata. Acta Informatica 4 : 193-200 (1974) 10 Oscar H. Ibarra: A Note on Semilinear Sets and Bounded-Reversal Multihead Pushdown Automata. Information Processing Letters 3 (1): 25-28 (1974) 9 Oscar H. Ibarra: A Hierarchy Theorem for Polynomial-Space Recognition. SIAM J. Comput. 3 (3): 184-187 (1974) 8 Oscar H. Ibarra: On Two-way Multihead Automata. JCSS 7 (1): 28-36 (1973) 7 Oscar H. Ibarra: A Note Concerning Nondeterministic Tape Complexities. JACM 19 (4): 608-612 (1972) 6 Oscar H. Ibarra: Characterizations of Some Tape and Time Complexity Classes of Turing Machines in Terms of Multihead and Auxiliary Stack Automata. JCSS 5 (2): 88-117 (1971) 5 Oscar H. Ibarra: Characterizations of Transductions Defined by Abstract Families of Transducers. Mathematical Systems Theory 5 (3): 271-281 (1971) 4 Oscar H. Ibarra: Simple Matrix Languages. Information and Control 17 (4): 359-394 (1970) 3 Ronald V. Book , Sheila A. Greibach , Oscar H. Ibarra, Ben Wegbreit : Tape-Bounded Turing Acceptors and Principal AFLs. JCSS 4 (6): 622-625 (1970) 2 Michael A. Harrison , Oscar H. Ibarra: Multi-Tape and Multi-Head Pushdown Automata. Information and Control 13 (5): 433-470 (1968) 1 Jim Gray , Michael A. Harrison , Oscar H. Ibarra: Two-Way Pushdown Automata. Information and Control 11 (1/2): 30-70 (1967)  DiSC'02 © 2003 Association for Computing Machinery |
