| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Oscar H. Ibarra 192 Oscar H. Ibarra, Zhe Dang , Pierluigi San Pietro : Verification in loosely synchronous queue-connected discrete timed automata. TCS 290 (3): 1713-1735 (2003) 191 Zhe Dang , Oscar H. Ibarra, Richard A. Kemmerer : Generalized discrete timed automata: decidable approximations for safety verification. TCS 296 (1): 59-74 (2003) 190 Oscar H. Ibarra, Louxin Zhang : Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings. Springer 2002 189 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: Trajectory queries and octagons in moving object databases. CIKM 2002 : 413-421 188 Oscar H. Ibarra, Stephan Olariu , Koji Nakano , Jie Wu : Workshop Introduction. IPDPS 2002 187 Zhe Dang , Oscar H. Ibarra, Zhi-Wei Sun : On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter. ISAAC 2002 : 103-114 186 Hoda Mokhtar , Jianwen Su , Oscar H. Ibarra: On Moving Object Queries. PODS 2002 : 188-198 185 Oscar H. Ibarra: Verification in Queue-Connected Multicounter Machines. International Journal of Foundations of Computer Science 13 (1): 115-127 (2002) 184 Oscar H. Ibarra, Jianwen Su , Zhe Dang , Tevfik Bultan , Richard A. Kemmerer : Counter Machines and Verification Problems. TCS 289 (1): 165-189 (2002) 183 Oscar H. Ibarra, Jianwen Su : Augmenting the discrete timed automaton with other data structures. TCS 289 (1): 191-204 (2002) 182 Zhe Dang , Tevfik Bultan , Oscar H. Ibarra, Richard A. Kemmerer : Past Pushdown Timed Automata. CIAA 2001 : 74-86 181 Zhe Dang , Oscar H. Ibarra, Richard A. Kemmerer : Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. COCOON 2001 : 529-539 180 Zhe Dang , Oscar H. Ibarra, Pierluigi San Pietro : Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. FSTTCS 2001 : 132-143 179 Tero Harju , Oscar H. Ibarra, Juhani Karhumäki , Arto Salomaa : Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ICALP 2001 : 579-590 178 Oscar H. Ibarra, Zhe Dang : On Removing the Pushdown Stack in Reachability Constructions. ISAAC 2001 : 244-256 177 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: On Multi-way Spatial Joins with Direction Predicates. SSTD 2001 : 217-235 176 Jianwen Su , Haiyan Xu , Oscar H. Ibarra: Moving Objects: Logical Relationships and Queries. SSTD 2001 : 3-19 175 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) 174 Zhe Dang , Oscar H. Ibarra, Tevfik Bultan , Richard A. Kemmerer , Jianwen Su : Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000 : 69-84 173 Oscar H. Ibarra: Reachability and Safety in Queue Systems. CIAA 2000 : 145-156 172 Oscar H. Ibarra, Jianwen Su : Generalizing the Discrete Timed Automaton. CIAA 2000 : 157-169 171 Oscar H. Ibarra, Tevfik Bultan , Jianwen Su : Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000 : 183-198 170 Oscar H. Ibarra, Koji Nakano , Stephan Olariu : Workshop on Advances in Parallel and Distributed Computational Models. IPDPS Workshops 2000 : 101 169 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 168 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: Toward Spatial Joins for Polygons. SSDBM 2000 : 231-244 167 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: Extending Rectangle Join Algorithms for Rectilinear Polygons. Web-Age Information Management 2000 : 247-258 166 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) 165 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) 164 Hongjun Zhu , Jianwen Su , Oscar H. Ibarra: An Index Structure for Spatial Joins in Linear Constraint Databases. ICDE 1999 : 636-643 163 Oscar H. Ibarra, Jianwen Su : Counter Machines: Decision Problems and Applications. Jewels are Forever 1999 : 84-96 162 Oscar H. Ibarra, Jiawen Su : A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries. JCSS 59 (1): 1-28 (1999) 161 Kyung-Yong Chwa , Oscar H. Ibarra: Algorithms and Computation, 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings. Springer 1998 160 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 159 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) 158 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 157 Oscar H. Ibarra, Jianwen Su : On the Containment and Equivalence of Database Queries with Linear Constraints. PODS 1997 : 32-43 156 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) 155 Yizhou Yu , Oscar H. Ibarra, Tao Yang : Parallel Progressive Radiosity with Adaptive Meshing. Journal of Parallel and Distributed Computing 42 (1): 30-41 (1997) 154 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) 153 Oscar H. Ibarra, Nicholas Q. Trân , Tao Yang : On the Parallel Complexity of Loops. TCS 179 (1-2): 381-395 (1997) 152 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 151 Oscar H. Ibarra, Pedro C. Diniz , Martin C. Rinard : On the Complexity of Commutativity Analysis. COCOON 1996 : 323-332 150 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 149 Daniel Andresen , Tao Yang , Vegard Holmedahl , Oscar H. Ibarra: SWEB: Towards a Scalable World Wide Web Server on Multicomputers. IPPS 1996 : 850-856 148 Yizhou Yu , Oscar H. Ibarra, Tao Yang : Parallel Progressive Radiosity with Adaptive Meshing. IRREGULAR 1996 : 159-170 147 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) 146 Oscar H. Ibarra, Qi Zheng : An Optimal Shortest Path Parallel Algorithm for Permutation Graphs. Journal of Parallel and Distributed Computing 24 (1): 94-99 (1995) 145 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) 144 Myung Hee Kim , Oscar H. Ibarra: Transformations Between Boundary Codes, Run Length Codes, and Linear Quadtrees. IPPS 1994 : 120-125 143 Oscar H. Ibarra, Nicholas Q. Trân : On the Parallel Complexity of Solving Recurrence Equations. ISAAC 1994 : 469-477 142 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 141 Oscar H. Ibarra, Nicholas Q. Trân : On Communication-Bounded Synchronized Alternating Finite Automata. Acta Informatica 31 (4): 315-327 (1994) 140 Oscar H. Ibarra, Qi Zheng : Some Efficient Algorithms for Permutation Graphs. J. Algorithms 16 (3): 453-469 (1994) 139 Oscar H. Ibarra, Myung Hee Kim : Fast Parallel Algorithms for Solving Triangular Systems of Linear Equations on the Hypercube. Journal of Parallel and Distributed Computing 20 (3): 303-316 (1994) 138 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) 137 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 136 Oscar H. Ibarra, Qi Zheng : Finding Articulation Points and Bridges of Permutation Graphs. ICPP 1993 : 77-80 135 Oscar H. Ibarra, Qi Zheng : On the Shortest Path Problems for Permutation Graphs. IPPS 1993 : 198-204 134 Oscar H. Ibarra, Nicholas Q. Trân : On the Communication Complexity of Parallel Computation. MFCS 1993 : 517-526 133 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 132 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) 131 Oscar H. Ibarra, Hui Wang , Tao Jiang : On Efficient Parallel Algorithms for Solving Set Recurrence Equations. J. Algorithms 14 (2): 244-257 (1993) 130 Oscar H. Ibarra, M. H. Kim : Quadtree Building Algorithms on an SIMD Hypercube. Journal of Parallel and Distributed Computing 18 (1): 71-76 (1993) 129 Oscar H. Ibarra, Nicholas Q. Trân : A Note on Simple Programs with Two Variables. TCS 112 (2): 391-397 (1993) 128 Oscar H. Ibarra, Nicholas Q. Trân : Synchronized Finite Automata and 2DFA Reductions. TCS 115 (2): 261-275 (1993) 127 Oscar H. Ibarra, Nicholas Q. Trân : New Results Concerning Synchronized Finite Automata. ICALP 1992 : 126-137 126 Oscar H. Ibarra, Myung Hee Kim : Quadtree Building Algorithms on an SIMD Hypercube. IPPS 1992 : 22-27 125 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) 124 J. Andrew Holey , Oscar H. Ibarra: Iterative algorithms for the planar convex hull problem on mesh-connected arrays. Parallel Computing 18 (3): 281-296 (1992) 123 Oscar H. Ibarra, Nicholas Q. Trân : On Space-Bounded Synchronized Alternating Turing Machines. TCS 99 (2): 243-264 (1992) 122 Oscar H. Ibarra, Tao Jiang , Hui Wang : A Characterization of Exponential-Time Languages by Alternating Context-Free Grammars. TCS 99 (2): 301-313 (1992) 121 Oscar H. Ibarra, Nicholas Q. Trân : On Space-bounded Synchronized Alternating Turing Machines. FCT 1991 : 248-257 120 J. Andrew Holey , Oscar H. Ibarra: Triangulation Voronoi Diagram and Convex Hull in k-Space on Mesh-Connected Arrays and Hypercubes. ICPP (3) 1991 : 147-150 119 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 118 Oscar H. Ibarra, Myung Hee Kim : Fast Parallel Algorithms for Solving Triangular Systems of Linear Equations on the Hypercube. IPPS 1991 : 76-83 117 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 116 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) 115 Oscar H. Ibarra, Tao Jiang , Jik H. Chang , Bala Ravikumar : Some Classes of Languages in NC¹. Information and Computation 90 (1): 86-106 (1991) 114 Oscar H. Ibarra, Tao Jiang : Learning Regular Languages from Counterexamples. JCSS 43 (2): 299-316 (1991) 113 Oscar H. Ibarra, Tao Jiang : The Power of Alternating One-Reversal Counters and Stacks. SIAM J. Comput. 20 (2): 278-290 (1991) 112 Oscar H. Ibarra, Hui Wang : Parallel Parsing on a One-Way Linear Array of Finite-State Machines. TCS 85 (1): 53-74 (1991) 111 J. Andrew Holey , Oscar H. Ibarra: Iterative Algorithms for Planar Convex Hull on Mesh-Connected Arrays. ICPP (3) 1990 : 102-109 110 Oscar H. Ibarra, Tao Jiang , Hui Wang : String Editing on a One-Way Linear Array of Finite-State Machines. ICPP (3) 1990 : 173-176 109 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) 108 Oscar H. Ibarra, Tao Jiang , Hui Wang : Parallel Parsing on a One-way Linear Array of Finite-State Machines. FSTTCS 1989 : 291-300 107 Oscar H. Ibarra, Stephen M. Sohn : On Mapping Systolic Algorithms onto the Hypercube. ICPP (1) 1989 : 121-124 106 Oscar H. Ibarra, Michael A. Palis : An Efficient All-Parses Systolic Algorithm for General Context-Free Parsing. WADS 1989 : 403-419 105 Oscar H. Ibarra, Tao Jiang : Optimal Simulation of Tree Arrays by Linear Arrays. Information Processing Letters 30 (6): 295-302 (1989) 104 Oscar H. Ibarra, Tao Jiang , Jik H. Chang : On Iterative and Cellular Tree Arrays. JCSS 38 (3): 452-473 (1989) 103 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) 102 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) 101 Oscar H. Ibarra, Tao Jiang , Bala Ravikumar , Jik H. Chang : On Some Languages in NC. AWOC 1988 : 64-73 100 Oscar H. Ibarra, Tao Jiang : Learning Regular Languages From Counterexamples. COLT 1988 : 371-385 99 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 98 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) 97 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) 96 Jik H. Chang , Oscar H. Ibarra, Ting-Chuen Pong , Stephen M. Sohn : Two-Dimensional Convolution on a Pyramid Computer. IEEE Transactions on Pattern Analysis and Machine Intelligence 10 (4): 590-593 (1988) 95 Oscar H. Ibarra, Tao Jiang , Bala Ravikumar : Some Subclasses of Context-Free Languages In NC1. Information Processing Letters 29 (3): 111-117 (1988) 94 Jik H. Chang , Oscar H. Ibarra, Anastasios Vergis : On the power of one-way communication. JACM 35 (3): 697-726 (1988) 93 Oscar H. Ibarra, Bala Ravikumar : Sublogarithmic-Space Turing Machines, Nonuniform Space Complexity, and Closure Properties. Mathematical Systems Theory 21 (1): 1-17 (1988) 92 Oscar H. Ibarra, Tao Jiang : Relating the Power of Cellular Arrays to Their Closure Properties. TCS 57 : 225-238 (1988) 91 Oscar H. Ibarra, Michael A. Palis : Two-Dimensional Iterative Arrays: Characterizations and Applications. TCS 57 : 47-86 (1988) 90 Oscar H. Ibarra, Bala Ravikumar : Relating the Degree of Ambiguity of Finite Automata to the Succinctness of their Representation. FSTTCS 1987 : 26-43 89 Oscar H. Ibarra, Tao Jiang : On the Computing Power of One-Way Cellular Arrays. ICALP 1987 : 550-562 88 Jik H. Chang , Oscar H. Ibarra, Ting-Chuen Pong , Stephen M. Sohn : Two-Dimensional Convolution on a Pyramid Computer. ICPP 1987 : 780-782 87 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) 86 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) 85 Oscar H. Ibarra, Michael A. Palis : On Efficient Simulations of Systolic Arrays of Random-Access Machines. SIAM J. Comput. 16 (2): 367-377 (1987) 84 Oscar H. Ibarra, Tao Jiang : On One-Way Cellular Arrays. SIAM J. Comput. 16 (6): 1135-1154 (1987) 83 Jik H. Chang , Oscar H. Ibarra, Anastasios Vergis : On the Power of One-Way Communication. FOCS 1986 : 455-464 82 Jik H. Chang , Moon-Jung Chung , Oscar H. Ibarra, Kotesh K. Rao : Systolic Tree Implementation of Data Structures. ICPP 1986 : 669-671 81 Jik H. Chang , Oscar H. Ibarra, Michael A. Palis : Parallel Parsing on a One-Way Array of Finite-State Machines. ICPP 1986 : 887-894 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'03 © 2003 Association for Computing Machinery |
