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

Oscar H. Ibarra Vis

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

*2009
284EEOscar H. Ibarra, Ömer Egecioglu: Hierarchies and Characterizations of Stateless Multicounter Machines. COCOON 2009: 408-417
283EEÖmer Egecioglu, Oscar H. Ibarra: On Stateless Multicounter Machines. CiE 2009: 178-187
282EEPierluigi Frisco, Oscar H. Ibarra: On Stateless Multihead Finite Automata and Multihead Pushdown Automata. Developments in Language Theory 2009: 240-251
281EEFang Yu, Tevfik Bultan, Oscar H. Ibarra: Symbolic String Verification: Combining String Analysis and Size Analysis. TACAS 2009: 322-336
280EEPierluigi Frisco, Oscar H. Ibarra: On Languages Accepted by P/T Systems Composed of joins CoRR abs/0907.5121: (2009)
279EEOscar H. Ibarra, Bala Ravikumar: Preface. Int. J. Found. Comput. Sci. 20(4): 559-561 (2009)
278EEMatteo Cavaliere, Oscar H. Ibarra, Gheorghe Paun, Ömer Egecioglu, Mihai Ionescu, Sara Woodworth: Asynchronous spiking neural P systems. Theor. Comput. Sci. 410(24-25): 2352-2364 (2009)
277EEOscar H. Ibarra, Andrei Paun, Alfonso Rodríguez-Patón: Sequential SNP systems based on min/max spike number. Theor. Comput. Sci. 410(30-32): 2982-2991 (2009)
2008
276 Oscar H. Ibarra, Bala Ravikumar: Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings Springer 2008
275EEOscar H. Ibarra, Andrei Paun, Alfonso Rodríguez-Patón: Sequentiality Induced by Spike Number in SNP Systems. DNA 2008: 179-190
274EEOscar H. Ibarra: Computing with Cells: Membrane Systems. ISPAN 2008: 3
273EEOscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin: On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. LATIN 2008: 94-105
272EEFang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra: Symbolic String Verification: An Automata-Based Approach. SPIN 2008: 306-324
271EEOscar H. Ibarra, Andrei Paun: Computing with cells: membrane systems - some complexity issues. IJPEDS 23(5): 347-365 (2008)
270EEOscar H. Ibarra, Zhe Dang, Linmin Yang: On Counter Machines, Reachability Problems, and Diophantine Equations. Int. J. Found. Comput. Sci. 19(4): 919-934 (2008)
269EEJohn Jack, Alfonso Rodríguez-Patón, Oscar H. Ibarra, Andrei Paun: Discrete Nondeterministic Modeling of the Fas Pathway. Int. J. Found. Comput. Sci. 19(5): 1147-1162 (2008)
268EELinmin Yang, Zhe Dang, Oscar H. Ibarra: On Stateless Automata and P Systems. Int. J. Found. Comput. Sci. 19(5): 1259-1276 (2008)
267EEOscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun: On spiking neural P systems and partially blind counter machines. Natural Computing 7(1): 3-19 (2008)
266EEOscar H. Ibarra, Sara Woodworth: Characterizations of some classes of spiking neural P systems. Natural Computing 7(4): 499-517 (2008)
265EECagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su: Minimum-cost delegation in service composition. Theor. Comput. Sci. 409(3): 417-431 (2008)
2007
264EEMatteo Cavaliere, Ömer Egecioglu, Oscar H. Ibarra, Mihai Ionescu, Gheorghe Paun, Sara Woodworth: Asynchronous Spiking Neural P Systems: Decidability and Undecidability. DNA 2007: 246-255
263EEOscar H. Ibarra, Sara Woodworth: Spiking Neural P Systems: Some Characterizations. FCT 2007: 23-37
262EELinmin Yang, Zhe Dang, Oscar H. Ibarra: Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. UC 2007: 226-241
261EEOscar H. Ibarra, Hsu-Chun Yen: Preface. Int. J. Found. Comput. Sci. 18(4): 667-668 (2007)
260EEOscar H. Ibarra, Sara Woodworth: Characterizing Regular Languages by Spiking Neural P Systems. Int. J. Found. Comput. Sci. 18(6): 1247-1256 (2007)
259EEOscar H. Ibarra, Andrei Paun, Gheorghe Paun, Alfonso Rodríguez-Patón, Petr Sosík, Sara Woodworth: Normal forms for spiking neural P systems. Theor. Comput. Sci. 372(2-3): 196-217 (2007)
258EEOscar H. Ibarra: Developments in language theory. Theor. Comput. Sci. 376(1-2): 1-2 (2007)
2006
257 Oscar H. Ibarra, Zhe Dang: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings Springer 2006
256 Oscar H. Ibarra, Hsu-Chun Yen: Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings Springer 2006
255EEOscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun: On Spiking Neural P Systems and Partially Blind Counter Machines. UC 2006: 113-129
254EEOscar H. Ibarra, Sara Woodworth: Characterizations of Some Restricted Spiking Neural P Systems. Workshop on Membrane Computing 2006: 424-442
253EEOscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang: On the Computational Power of 1-Deterministic and Sequential P Systems. Fundam. Inform. 73(1-2): 133-152 (2006)
252EEOscar H. Ibarra, Sara Woodworth: On symport/antiport P systems with a small number of objects. Int. J. Comput. Math. 83(7): 613-629 (2006)
251 Oscar H. Ibarra, Bala Ravikumar, Cagdas Evren Gerede: Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach. Journal of Automata, Languages and Combinatorics 11(2): 169-188 (2006)
250 Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On the Decidability of Model-Checking for P Systems. Journal of Automata, Languages and Combinatorics 11(3): 279-298 (2006)
249EEErzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil: On the Computational Complexity of P Automata. Natural Computing 5(2): 109-126 (2006)
248EEOscar H. Ibarra, Zhe Dang: On the solvability of a class of diophantine equations and applications. Theor. Comput. Sci. 352(1-3): 342-346 (2006)
247EEOscar H. Ibarra, Bala Ravikumar: On partially blind multihead finite automata. Theor. Comput. Sci. 356(1-2): 190-199 (2006)
246EEOscar H. Ibarra, Gheorghe Paun: Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems. Theor. Comput. Sci. 358(1): 88-103 (2006)
245EEOscar H. Ibarra, Hsu-Chun Yen: Deterministic catalytic systems are not universal. Theor. Comput. Sci. 363(2): 149-161 (2006)
2005
244EEOscar H. Ibarra, Hsu-Chun Yen: On Deterministic Catalytic Systems. CIAA 2005: 163-175
243EEOscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang: On Sequential and 1-Deterministic P Systems. COCOON 2005: 905-914
242EEOscar H. Ibarra, Andrei Paun: Counting Time in Computing with Cells. DNA 2005: 112-128
241EEOscar H. Ibarra, Sara Woodworth: On Bounded Symport/Antiport P Systems. DNA 2005: 129-143
240EECheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen: Signaling P Systems and Verification Problems. ICALP 2005: 1462-1473
239EEOzgur D. Sahin, Cagdas Evren Gerede, Divyakant Agrawal, Amr El Abbadi, Oscar H. Ibarra, Jianwen Su: SPiDeR: P2P-Based Web Service Discovery. ICSOC 2005: 157-169
238EECagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su: Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition. IEEE SCC 2005: 103-112
237EEOscar H. Ibarra: Some Computational Issues in Membrane Computing. MFCS 2005: 39-51
236EEOscar H. Ibarra, Sara Woodworth: On Symport/Antiport P Systems with One or Two Symbols. SYNASC 2005: 431-439
235EEZhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On Model-Checking of P Systems. UC 2005: 82-93
234EEOscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang: On Symport/Antiport P Systems and Semilinear Sets. Workshop on Membrane Computing 2005: 253-271
233EEOscar H. Ibarra: Some Recent Results Concerning Deterministic P Systems. Workshop on Membrane Computing 2005: 49-54
232EEOscar H. Ibarra, Hsu-Chun Yen, Zhe Dang: On various notions of parallelism in P Systems. Int. J. Found. Comput. Sci. 16(4): 683-705 (2005)
231EEZhe Dang, Oscar H. Ibarra: On one-membrane P systems operating in sequential mode. Int. J. Found. Comput. Sci. 16(5): 867-881 (2005)
230EEZhe Dang, Oscar H. Ibarra, Zhi-Wei Sun: On two-way nondeterministic finite automata with one reversal-bounded counter. Theor. Comput. Sci. 330(1): 59-79 (2005)
229EEOscar H. Ibarra: On membrane hierarchy in P systems. Theor. Comput. Sci. 334(1-3): 115-129 (2005)
228EEZhe Dang, Oscar H. Ibarra, Jianwen Su: On composition and lookahead delegation of e-services modeled by automata, . Theor. Comput. Sci. 341(1-3): 344-363 (2005)
227EEOscar H. Ibarra: On determinism versus nondeterminism in P systems. Theor. Comput. Sci. 344(2-3): 120-133 (2005)
2004
226EEOscar H. Ibarra: Automata-Theoretic Techniques for Analyzing Infinite-State Systems. CIAA 2004: 1
225EEErzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil: On the Computational Complexity of P Automata. DNA 2004: 76-89
224EEOscar H. Ibarra, Hsu-Chun Yen, Zhe Dang: The Power of Maximal Parallelism in P Systems. Developments in Language Theory 2004: 212-224
223EEZhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie: Real-Counter Automata and Their Decision Problems. FSTTCS 2004: 198-210
222 Yasmín Pérez, Rafael Gamboa, Oscar H. Ibarra: Modeling Affective Responses in Intelligent Tutoring Systems. ICALT 2004
221EECagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su: Automated composition of e-services: lookaheads. ICSOC 2004: 252-262
220 Ömer Egecioglu, Oscar H. Ibarra: A Matrix q-Analogue of the Parikh Map. IFIP TCS 2004: 125-138
219EEZhe Dang, Oscar H. Ibarra, Jianwen Su: Composability of Infinite-State Activity Automata. ISAAC 2004: 377-388
218EEOscar H. Ibarra: P Systems: Some Recent Results and Research Problems. UPP 2004: 225-237
217EEOscar H. Ibarra, Louxin Zhang: Computing And Combinatorics Conference -- Cocoon'02. Int. J. Found. Comput. Sci. 15(1): 1 (2004)
216EEJacir Luiz Bordim, Oscar H. Ibarra, Yasuaki Ito, Koji Nakano: Instance-Specific Solutions For Accelerating The Cky Parsing Of Large Context-Free Grammars. Int. J. Found. Comput. Sci. 15(2): 403-415 (2004)
215EEOscar H. Ibarra, Zhe Dang: On two-way FA with monotonic counters and quadratic Diophantine equations. Theor. Comput. Sci. 312(2-3): 359-378 (2004)
214EEOscar H. Ibarra, Zhe Dang, Ömer Egecioglu: Catalytic P systems, semilinear sets, and vector addition systems. Theor. Comput. Sci. 312(2-3): 379-399 (2004)
213EEZhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer: Past pushdown timed automata and safety verification. Theor. Comput. Sci. 313(1): 57-71 (2004)
212EEOscar H. Ibarra: On the computational complexity of membrane systems. Theor. Comput. Sci. 320(1): 89-109 (2004)
211EEOscar H. Ibarra: Editorial. Theor. Comput. Sci. 328(1-2): 1- (2004)
2003
210 Oscar H. Ibarra, Zhe Dang: Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings Springer 2003
209EEGaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Dense Counter Machines and Verification Problems. CAV 2003: 93-105
208EEGaoyan Xie, Zhe Dang, Oscar H. Ibarra: A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. ICALP 2003: 668-680
207EEOscar H. Ibarra, Zhe Dang, Ömer Egecioglu, Gaurav Saxena: Characterizations of Catalytic Membrane Computing Systems. MFCS 2003: 480-489
206EEOscar H. Ibarra: The Number of Membranes Matters. Workshop on Membrane Computing 2003: 218-231
205 Mark Daley, Oscar H. Ibarra, Lila Kari, Ian McQuillan, Koji Nakano: The ld and dlad Bio-Operations on Formal Languages. Journal of Automata, Languages and Combinatorics 8(3): 477-498 (2003)
204EEOscar H. Ibarra, Zhe Dang: Eliminating the storage tape in reachability constructions. Theor. Comput. Sci. 1-3(299): 687-706 (2003)
203 Oscar H. Ibarra, Zhe Dang, Pierluigi San Pietro: Verification in loosely synchronous queue-connected discrete timed automata. Theor. Comput. Sci. 290(3): 1713-1735 (2003)
202EEZhe Dang, Oscar H. Ibarra, Richard A. Kemmerer: Generalized discrete timed automata: decidable approximations for safety verificatio. Theor. Comput. Sci. 296(1): 59-74 (2003)
201EEMark Daley, Oscar H. Ibarra, Lila Kari: Closure and decidability properties of some language classes with respect to ciliate bio-operations. Theor. Comput. Sci. 306(1-3): 19-38 (2003)
2002
200 Oscar H. Ibarra, Louxin Zhang: Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings Springer 2002
199EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: Trajectory queries and octagons in moving object databases. CIKM 2002: 413-421
198EEOscar H. Ibarra, Zhe Dang, Zhi-Wei Sun: Safety Verification for Two-Way Finite Automata with Monotonic Counters. Developments in Language Theory 2002: 326-338
197EEOscar H. Ibarra, Stephan Olariu, Koji Nakano, Jie Wu: Workshop Introduction. IPDPS 2002
196EEZhe Dang, Oscar H. Ibarra, Zhi-Wei Sun: On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter. ISAAC 2002: 103-114
195EEHoda Mokhtar, Jianwen Su, Oscar H. Ibarra: On Moving Object Queries. PODS 2002: 188-198
194EEOscar H. Ibarra: Verification in Queue-Connected Multicounter Machines. Int. J. Found. Comput. Sci. 13(1): 115-127 (2002)
193EEZhe Dang, Oscar H. Ibarra: The Existence of w-Chains for Transitive Mixed Linear Relations and Its Applications. Int. J. Found. Comput. Sci. 13(6): 911-936 (2002)
192EETero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Some Decision Problems Concerning Semilinearity and Commutation. J. Comput. Syst. Sci. 65(2): 278-294 (2002)
191 Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer: Counter Machines and Verification Problems. Theor. Comput. Sci. 289(1): 165-189 (2002)
190 Oscar H. Ibarra, Jianwen Su: Augmenting the discrete timed automaton with other data structures. Theor. Comput. Sci. 289(1): 191-204 (2002)
2001
189EEZhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer: Past Pushdown Timed Automata. CIAA 2001: 74-86
188EEZhe Dang, Oscar H. Ibarra, Richard A. Kemmerer: Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. COCOON 2001: 529-539
187EEZhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. FSTTCS 2001: 132-143
186EETero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ICALP 2001: 579-590
185EEOscar H. Ibarra, Zhe Dang: On Removing the Pushdown Stack in Reachability Constructions. ISAAC 2001: 244-256
184EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: On Multi-way Spatial Joins with Direction Predicates. SSTD 2001: 217-235
183EEJianwen Su, Haiyan Xu, Oscar H. Ibarra: Moving Objects: Logical Relationships and Queries. SSTD 2001: 3-19
182 Oscar H. Ibarra, Tevfik Bultan, Jianwen Su: On Reachability and Safety in Infinite-State Systems. Int. J. Found. Comput. Sci. 12(6): 821-836 (2001)
2000
181 Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su: Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000: 69-84
180EEOscar H. Ibarra: Reachability and Safety in Queue Systems. CIAA 2000: 145-156
179EEOscar H. Ibarra, Jianwen Su: Generalizing the Discrete Timed Automaton. CIAA 2000: 157-169
178EEOscar H. Ibarra, Tevfik Bultan, Jianwen Su: Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000: 183-198
177EEOscar H. Ibarra, Koji Nakano, Stephan Olariu: Workshop on Advances in Parallel and Distributed Computational Models. IPDPS Workshops 2000: 101
176EEOscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer: Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS 2000: 426-435
175EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: Toward Spatial Joins for Polygons. SSDBM 2000: 231-244
174EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: Extending Rectangle Join Algorithms for Rectilinear Polygons. Web-Age Information Management 2000: 247-258
173EEHuican 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)
172EEAthanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang: Image compression for fast wavelet-based subregion retrieval. Theor. Comput. Sci. 240(2): 447-469 (2000)
1999
171EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: An Index Structure for Spatial Joins in Linear Constraint Databases. ICDE 1999: 636-643
170 Oscar H. Ibarra, Jianwen Su: Counter Machines: Decision Problems and Applications. Jewels are Forever 1999: 84-96
169 Oscar H. Ibarra, Jianwen Su: A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries. J. Comput. Syst. Sci. 59(1): 1-28 (1999)
1998
168 Kyung-Yong Chwa, Oscar H. Ibarra: Algorithms and Computation, 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings Springer 1998
167EEHuican 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
166 Daniel Andresen, Tao Yang, Oscar H. Ibarra, Ömer Egecioglu: Adaptive Partitioning and Scheduling for Enhancing WWW Application Performance. J. Parallel Distrib. Comput. 49(1): 57-85 (1998)
1997
165 Athanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang: A Compact Storage Scheme for Fast Wavelet-Based Subregion Retrieval. COCOON 1997: 353-362
164EEOscar H. Ibarra, Jianwen Su: On the Containment and Equivalence of Database Queries with Linear Constraints. PODS 1997: 32-43
163 Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard: On the Complexity of Commutativity Analysis. Int. J. Found. Comput. Sci. 8(1): 81- (1997)
162 Yizhou Yu, Oscar H. Ibarra, Tao Yang: Parallel Progressive Radiosity with Adaptive Meshing. J. Parallel Distrib. Comput. 42(1): 30-41 (1997)
161 Daniel Andresen, Tao Yang, Oscar H. Ibarra: Toward a Scalable Distributed {WWW} Server on Workstation Clusters. J. Parallel Distrib. Comput. 42(1): 91-100 (1997)
160EEOscar H. Ibarra, Nicholas Q. Trân, Tao Yang: On the Parallel Complexity of Loops. Theor. Comput. Sci. 179(1-2): 381-395 (1997)
1996
159 Daniel Andresen, Tao 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
158 Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard: On the Complexity of Commutativity Analysis. COCOON 1996: 323-332
157 Athanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang: Experimental Studies on a Compact Storage Scheme for Wavelet-Based Multiresolution Subregion Retrieval. Data Compression Conference 1996: 465
156EEDaniel Andresen, Tao Yang, Vegard Holmedahl, Oscar H. Ibarra: SWEB: Towards a Scalable World Wide Web Server on Multicomputers. IPPS 1996: 850-856
155 Yizhou Yu, Oscar H. Ibarra, Tao Yang: Parallel Progressive Radiosity with Adaptive Meshing. IRREGULAR 1996: 159-170
154 Tao Yang, Oscar H. Ibarra: Performance Prediction in Symbolic Scheduling of Partitioned Programs with Weight Variation. J. Parallel Distrib. Comput. 34(2): 171-182 (1996)
1995
153 Oscar H. Ibarra, Qi Zheng: An Optimal Shortest Path Parallel Algorithm for Permutation Graphs. J. Parallel Distrib. Comput. 24(1): 94-99 (1995)
152EEOscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn: A note on parsing pattern languages. Pattern Recognition Letters 16(2): 179-182 (1995)
151 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)
1994
150 Myung Hee Kim, Oscar H. Ibarra: Transformations Between Boundary Codes, Run Length Codes, and Linear Quadtrees. IPPS 1994: 120-125
149EEOscar H. Ibarra, Nicholas Q. Trân: On the Parallel Complexity of Solving Recurrence Equations. ISAAC 1994: 469-477
148 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
147 Oscar H. Ibarra, Nicholas Q. Trân: On Communication-Bounded Synchronized Alternating Finite Automata. Acta Inf. 31(4): 315-327 (1994)
146 Oscar H. Ibarra, Qi Zheng: Some Efficient Algorithms for Permutation Graphs. J. Algorithms 16(3): 453-469 (1994)
145 Oscar H. Ibarra, Myung Hee Kim: Fast Parallel Algorithms for Solving Triangular Systems of Linear Equations on the Hypercube. J. Parallel Distrib. Comput. 20(3): 303-316 (1994)
144 Tao Jiang, Oscar H. Ibarra, Hui Wang: Some Results Concerning 2-D On-Line Tessellation Acceptors and 2-D Alternating Finite Automata. Theor. Comput. Sci. 125(2): 243-257 (1994)
1993
143EEOscar H. Ibarra, Tao Jiang, Nicholas Q. Trân, Hui Wang: New Decidability Results Concerning Two-way Counter Machines and Applications. ICALP 1993: 313-324
142 Oscar H. Ibarra, Qi Zheng: Finding Articulation Points and Bridges of Permutation Graphs. ICPP 1993: 77-80
141 Oscar H. Ibarra, Qi Zheng: On the Shortest Path Problems for Permutation Graphs. IPPS 1993: 198-204
140EEOscar H. Ibarra, Nicholas Q. Trân: On the Communication Complexity of Parallel Computation. MFCS 1993: 517-526
139EEOscar 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
138 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. Int. J. Found. Comput. Sci. 4(2): 135-146 (1993)
137 Oscar H. Ibarra, Hui Wang, Tao Jiang: On Efficient Parallel Algorithms for Solving Set Recurrence Equations. J. Algorithms 14(2): 244-257 (1993)
136 Oscar H. Ibarra, M. H. Kim: Quadtree Building Algorithms on an SIMD Hypercube. J. Parallel Distrib. Comput. 18(1): 71-76 (1993)
135 Oscar H. Ibarra, Nicholas Q. Trân: A Note on Simple Programs with Two Variables. Theor. Comput. Sci. 112(2): 391-397 (1993)
134 Oscar H. Ibarra, Nicholas Q. Trân: Synchronized Finite Automata and 2DFA Reductions. Theor. Comput. Sci. 115(2): 261-275 (1993)
1992
133EEOscar H. Ibarra, Nicholas Q. Trân: New Results Concerning Synchronized Finite Automata. ICALP 1992: 126-137
132 Oscar H. Ibarra, Myung Hee Kim: Quadtree Building Algorithms on an SIMD Hypercube. IPPS 1992: 22-27
131 Oscar H. Ibarra, Tao Jiang, Hui Wang: String Editing on a One-Way Linear Array of Finite-State Machines. IEEE Trans. Computers 41(1): 112-118 (1992)
130EETao Jiang, Oscar H. Ibarra, Hui Wang, Qi Zheng: A hierarchy result for 2-dimensional TM's operating in small space. Inf. Sci. 64(1-2): 49-56 (1992)
129 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)
128 Oscar H. Ibarra, Nicholas Q. Trân: On Space-Bounded Synchronized Alternating Turing Machines. Theor. Comput. Sci. 99(2): 243-264 (1992)
127 Oscar H. Ibarra, Tao Jiang, Hui Wang: A Characterization of Exponential-Time Languages by Alternating Context-Free Grammars. Theor. Comput. Sci. 99(2): 301-313 (1992)
1991
126 Oscar H. Ibarra, Nicholas Q. Trân: On Space-bounded Synchronized Alternating Turing Machines. FCT 1991: 248-257
125 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
124 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
123 Oscar H. Ibarra, Myung Hee Kim: Fast Parallel Algorithms for Solving Triangular Systems of Linear Equations on the Hypercube. IPPS 1991: 76-83
122EEOscar 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
121 Oscar H. Ibarra: On Resetiting DLBA's. Bulletin of the EATCS 44: 190-191 (1991)
120 Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn: Parallel Regognition and Parsing on the Hypercube. IEEE Trans. Computers 40(6): 764-770 (1991)
119 Oscar H. Ibarra, Tao Jiang, Jik H. Chang, Bala Ravikumar: Some Classes of Languages in NC¹ Inf. Comput. 90(1): 86-106 (1991)
118 Oscar H. Ibarra, Tao Jiang: Learning Regular Languages from Counterexamples. J. Comput. Syst. Sci. 43(2): 299-316 (1991)
117 Oscar H. Ibarra, Tao Jiang: The Power of Alternating One-Reversal Counters and Stacks. SIAM J. Comput. 20(2): 278-290 (1991)
116 Oscar H. Ibarra, Hui Wang: Parallel Parsing on a One-Way Linear Array of Finite-State Machines. Theor. Comput. Sci. 85(1): 53-74 (1991)
1990
115 J. Andrew Holey, Oscar H. Ibarra: Iterative Algorithms for Planar Convex Hull on Mesh-Connected Arrays. ICPP (3) 1990: 102-109
114 Oscar H. Ibarra, Tao Jiang, Hui Wang: String Editing on a One-Way Linear Array of Finite-State Machines. ICPP (3) 1990: 173-176
113EEOscar H. Ibarra, Hui Wang, Tao Jiang: Efficient parallel algorithms for solving set recurrence equations and applications. SPDP 1990: 480-487
112EEOscar H. Ibarra, Stephen M. Sohn: On Mapping Systolic Algorithms onto the Hypercube. IEEE Trans. Parallel Distrib. Syst. 1(1): 48-63 (1990)
111EEOscar H. Ibarra, Tao Jiang, Jik H. Chang, Michael A. Palis: Systolic algorithms for some scheduling and graph problems. VLSI Signal Processing 1(4): 307-320 (1990)
1989
110EEOscar H. Ibarra, Tao Jiang, Hui Wang: Parallel Parsing on a One-way Linear Array of Finite-State Machines. FSTTCS 1989: 291-300
109 Oscar H. Ibarra, Stephen M. Sohn: On Mapping Systolic Algorithms onto the Hypercube. ICPP (1) 1989: 121-124
108 Oscar H. Ibarra, Michael A. Palis: An Efficient All-Parses Systolic Algorithm for General Context-Free Parsing. WADS 1989: 403-419
107 Oscar H. Ibarra, Tao Jiang: Optimal Simulation of Tree Arrays by Linear Arrays. Inf. Process. Lett. 30(6): 295-302 (1989)
106 Oscar H. Ibarra, Tao Jiang, Jik H. Chang: On Iterative and Cellular Tree Arrays. J. Comput. Syst. Sci. 38(3): 452-473 (1989)
105 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)
104 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. Theor. Comput. Sci. 68(1): 19-36 (1989)
1988
103 Oscar H. Ibarra, Tao Jiang, Bala Ravikumar, Jik H. Chang: On Some Languages in NC. AWOC 1988: 64-73
102EEOscar H. Ibarra, Tao Jiang: Learning Regular Languages From Counterexamples. COLT 1988: 371-385
101EEJik 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
100 David Hung-Chang Du, Oscar H. Ibarra, J. Fernando Naveda: On Two-Dimensional Via Assignment for Single-Row Routing. IEEE Trans. Computers 37(6): 721-727 (1988)
99 Jik H. Chang, Oscar H. Ibarra, Moon-Jung Chung, Kotesh K. Rao: Systolic Tree Implementation of Data Structures. IEEE Trans. Computers 37(6): 727-735 (1988)
98EEJik H. Chang, Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn: Two-Dimensional Convolution on a Pyramid Computer. IEEE Trans. Pattern Anal. Mach. Intell. 10(4): 590-593 (1988)
97 Oscar H. Ibarra, Tao Jiang, Bala Ravikumar: Some Subclasses of Context-Free Languages In NC1. Inf. Process. Lett. 29(3): 111-117 (1988)
96EEJik H. Chang, Oscar H. Ibarra, Anastasios Vergis: On the power of one-way communication. J. ACM 35(3): 697-726 (1988)
95 Oscar H. Ibarra, Bala Ravikumar: Sublogarithmic-Space Turing Machines, Nonuniform Space Complexity, and Closure Properties. Mathematical Systems Theory 21(1): 1-17 (1988)
94 Oscar H. Ibarra, Tao Jiang: Relating the Power of Cellular Arrays to Their Closure Properties. Theor. Comput. Sci. 57: 225-238 (1988)
93 Oscar H. Ibarra, Michael A. Palis: Two-Dimensional Iterative Arrays: Characterizations and Applications. Theor. Comput. Sci. 57: 47-86 (1988)
1987
92EEOscar H. Ibarra, Bala Ravikumar: Relating the Degree of Ambiguity of Finite Automata to the Succinctness of their Representation. FSTTCS 1987: 26-43
91EEOscar H. Ibarra, Tao Jiang: On the Computing Power of One-Way Cellular Arrays. ICALP 1987: 550-562
90 Jik H. Chang, Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn: Two-Dimensional Convolution on a Pyramid Computer. ICPP 1987: 780-782
89 Jik H. Chang, Oscar H. Ibarra, Michael A. Palis: Parallel Parsing on a One-Way Array of Finite-State Machines. IEEE Trans. Computers 36(1): 64-75 (1987)
88EEDavid Hung-Chang Du, Oscar H. Ibarra, J. Fernando Naveda: Single-Row Routing with Crossover Bound. IEEE Trans. on CAD of Integrated Circuits and Systems 6(2): 190-201 (1987)
87 Jik H. Chang, Oscar H. Ibarra, Bala Ravikumar, Leonard Berman: Some Observations Concerning Alternating Turing Machines Using Small Space. Inf. Process. Lett. 25(1): 1-9 (1987)
86 Oscar H. Ibarra, Michael A. Palis: On Efficient Simulations of Systolic Arrays of Random-Access Machines. SIAM J. Comput. 16(2): 367-377 (1987)
85 Oscar H. Ibarra, Tao Jiang: On One-Way Cellular Arrays. SIAM J. Comput. 16(6): 1135-1154 (1987)
1986
84 Jik H. Chang, Oscar H. Ibarra, Anastasios Vergis: On the Power of One-Way Communication FOCS 1986: 455-464
83 Jik H. Chang, Moon-Jung Chung, Oscar H. Ibarra, Kotesh K. Rao: Systolic Tree Implementation of Data Structures. ICPP 1986: 669-671
82 Jik H. Chang, Oscar H. Ibarra, Michael A. Palis: Parallel Parsing on a One-Way Array of Finite-State Machines. ICPP 1986: 887-894
81EEOscar H. Ibarra: Systolic Arrays: Characterizations and Complexity. MFCS 1986: 140-153
80EEOscar H. Ibarra, Bala Ravikumar: On Sparseness, Ambiguity and other Decision Problems for Acceptors and Transducers. STACS 1986: 171-179
79 Oscar H. Ibarra, Sam M. Kim, Michael A. Palis: Designing Systolic Algorithms Using Sequential Machines. IEEE Trans. Computers 35(6): 531-542 (1986)
78 Jik H. Chang, Oscar H. Ibarra, Michael A. Palis, Bala Ravikumar: On Pebble Automata. Theor. Comput. Sci. 44: 111-121 (1986)
1985
77 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)
76 Oscar H. Ibarra, Louis E. Rosier: On Simple Programs with Primitive Conditional Statements Information and Control 65(1): 42-62 (1985)
75 Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier: Some Characterizations of Multihead Finite Automata Information and Control 67(1-3): 114-125 (1985)
74 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)
73 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)
72 Oscar H. Ibarra, Michael A. Palis, Jik H. Chang: On Efficient Recognition of Transductions and Relations. Theor. Comput. Sci. 39: 89-106 (1985)
71 Oscar H. Ibarra, Michael A. Palis, Sam M. Kim: Fast Parallel Language Recognition by Cellular Automata. Theor. Comput. Sci. 41: 231-246 (1985)
1984
70 Oscar H. Ibarra, Michael A. Palis, Sam M. Kim: Designing Systolic Algorithms Using Sequential Machines FOCS 1984: 46-55
69EEOscar 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
68EEOscar H. Ibarra, Louis E. Rosier: The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). MFCS 1984: 330-338
67 Oscar H. Ibarra, Sam M. Kim: A Characterization of Systolic Binary Tree Automata and Applications. Acta Inf. 21: 193-207 (1984)
66 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)
65 Oscar H. Ibarra, Sam M. Kim: Characterizations and Computational Complexity of Systolic Trellis Automata. Theor. Comput. Sci. 29: 123-153 (1984)
1983
64EEOscar H. Ibarra, Shlomo Moran: Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs J. ACM 30(1): 217-228 (1983)
63EEOscar H. Ibarra, Brian S. Leininger: On the Simplification and Equivalence Problems for Straight-Line Programs J. ACM 30(3): 641-656 (1983)
62 Oscar H. Ibarra, Brian S. Leininger: On the Zero-Inequivalence Problem for Loop Programs. J. Comput. Syst. Sci. 26(1): 47-64 (1983)
61 Eitan M. Gurari, Oscar H. Ibarra: A Note on Finitely-Valued and Finitely Ambiguous Transducers. Mathematical Systems Theory 16(1): 61-66 (1983)
60 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)
59 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)
58 Tat-hung Chan, Oscar H. Ibarra: On the Finite-Valuedness Problem for Sequential Machines. Theor. Comput. Sci. 23: 95-101 (1983)
57 Oscar H. Ibarra: On Some Decision Questions Concerning Pushdown Machines. Theor. Comput. Sci. 24: 313-322 (1983)
56 Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier: On the Control Power of Integer Division. Theor. Comput. Sci. 24: 35-52 (1983)
55 Oscar H. Ibarra, Louis E. Rosier: Simple Programming Languages and Restricted Classes of Turing Machines. Theor. Comput. Sci. 26: 197-220 (1983)
1982
54EEEitan M. Gurari, Oscar H. Ibarra: Two-Way Counter Machines and Diophantine Equations. J. ACM 29(3): 863-873 (1982)
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 Oscar H. Ibarra, Shlomo Moran: On Some Decision Problems for RAM Programs. J. Comput. Syst. Sci. 24(1): 69-81 (1982)
51 Eitan M. Gurari, Oscar H. Ibarra: (Semi)Alternating Stack Automata. Mathematical Systems Theory 15(3): 211-224 (1982)
50 Oscar H. Ibarra, Brian S. Leininger: Straight-Line Programs with One Input Variable. SIAM J. Comput. 11(1): 1-14 (1982)
49 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)
48 Eitan M. Gurari, Oscar H. Ibarra: Some Simplified Undecidable and NP-Hard Problems for Simple Programs. Theor. Comput. Sci. 17: 55-73 (1982)
47 Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran: On the Complexity of Simple Arithmetic Expressions. Theor. Comput. Sci. 19: 17-28 (1982)
46 Oscar H. Ibarra: 2DST Mapppings on Languages and Related Problems. Theor. Comput. Sci. 19: 219-227 (1982)
1981
45 Eitan M. Gurari, Oscar H. Ibarra: Two-Way Counter Machines and Diophantine Equations FOCS 1981: 45-52
44EEOscar H. Ibarra, Brian S. Leininger, Shlomo Moran: On the Complexity of Simple Arithmetic Expressions. ICALP 1981: 294-304
43EEEitan M. Gurari, Oscar H. Ibarra: The Complexity of Decision Problems for Finite-Turn Multicounter Machines. ICALP 1981: 495-505
42 Oscar 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)
41 Oscar H. Ibarra, Shlomo Moran: Deterministic and Probabilistic Algorithms for Maximum Bipartite Matching Via Fast Matrix Multiplication. Inf. Process. Lett. 13(1): 12-15 (1981)
40 Oscar H. Ibarra, Louis E. Rosier: On the Decidability of Equivalence for Deterministic Pushdown Transducers. Inf. Process. Lett. 13(3): 89-93 (1981)
39EEEitan M. Gurari, Oscar H. Ibarra: The Complexity of the Equivalence Problem for Simple Programs. J. ACM 28(3): 535-560 (1981)
38 Eitan M. Gurari, Oscar H. Ibarra: The Complexity of Decision Problems for Finite-Turn Multicounter Machines. J. Comput. Syst. Sci. 22(2): 220-229 (1981)
37 Oscar H. Ibarra, Louis E. Rosier: On Restricted One-counter Machines. Mathematical Systems Theory 14: 241-245 (1981)
36 Oscar H. Ibarra, Brian S. Leininger: Characterizations of Presburger Functions. SIAM J. Comput. 10(1): 22-39 (1981)
35 Eitan M. Gurari, Oscar H. Ibarra: The Complexity of the Equivalence Problem for two Characterizations of Presburger Sets. Theor. Comput. Sci. 13: 295-314 (1981)
1980
34 Oscar H. Ibarra, Brian S. Leininger: The Complexity of the Equivalence Problem for Straight-Line Programs STOC 1980: 273-280
33 Oscar 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)
32 Eitan M. Gurari, Oscar H. Ibarra: Path Systems: Constructions, Solutions and Applications. SIAM J. Comput. 9(2): 348-374 (1980)
1979
31 Eitan M. Gurari, Oscar H. Ibarra: The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs STOC 1979: 142-152
30 Eitan M. Gurari, Oscar H. Ibarra: On the Space Complexity of Recursive Algorithms. Inf. Process. Lett. 8(5): 267-271 (1979)
29EEEitan M. Gurari, Oscar H. Ibarra: An NP-Complete Number-Theoretic Problem. J. ACM 26(3): 567-581 (1979)
28 Eitan M. Gurari, Oscar H. Ibarra: Some Decision Problems Concerning Sequential Transducers and Checking Automata. J. Comput. Syst. Sci. 18(1): 18-34 (1979)
27 Eitan M. Gurari, Oscar H. Ibarra: Simple Counter Machines and Number-Theoretic Problems. J. Comput. Syst. Sci. 19(2): 145-162 (1979)
26 Oscar H. Ibarra: Restricted One-Counter Machines with Undecidable Universe Problems. Mathematical Systems Theory 13: 181-186 (1979)
1978
25 Eitan M. Gurari, Oscar H. Ibarra: An NP-Complete Number-Theoretic Problem STOC 1978: 205-215
24EEOscar H. Ibarra: Reversal-Bounded Multicounter Machines and Their Decision Problems. J. ACM 25(1): 116-133 (1978)
23 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)
22 Oscar H. Ibarra: On Two-Way Sequential Transductions of Full Semi-AFL's. Theor. Comput. Sci. 7: 287-309 (1978)
1977
21 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
20EEOscar H. Ibarra, Chul E. Kim: Heuristic Algorithms for Scheduling Independent Tasks on Nonidentical Processors. J. ACM 24(2): 280-289 (1977)
19 Teofilo F. Gonzalez, Oscar H. Ibarra, Sartaj Sahni: Bounds for LPT Schedules on Uniform Processors. SIAM J. Comput. 6(1): 155-166 (1977)
1976
18 Oscar H. Ibarra, Chul E. Kim: A Useful Device for Showing the Solvability of Some Decision Problems STOC 1976: 135-140
17 Oscar H. Ibarra, Chul E. Kim: A Useful Device for Showing the Solvability of Some Decision Problems. J. Comput. Syst. Sci. 13(2): 153-160 (1976)
16 Oscar H. Ibarra, Sartaj Sahni, Chul E. Kim: Finite Automata with Multiplication. Theor. Comput. Sci. 2(3): 271-294 (1976)
1975
15 Oscar H. Ibarra, Sartaj Sahni: Polynomially Complete Fault Detection Problems. IEEE Trans. Computers 24(3): 242-249 (1975)
14EEOscar H. Ibarra, Chul E. Kim: Fast Approximation Algorithms for the Knapsack and Sum of Subset Problems. J. ACM 22(4): 463-468 (1975)
13 Oscar H. Ibarra, Sartaj Sahni: Hierarchies of Turing Machines with Restricted Tape Alphabet Size. J. Comput. Syst. Sci. 11(1): 56-67 (1975)
1974
12 Oscar H. Ibarra, Chul E. Kim: On 3-Head Versus 2-Head Finite Automata Acta Inf. 4: 193-200 (1974)
11 Oscar H. Ibarra: A Note on Semilinear Sets and Bounded-Reversal Multihead Pushdown Automata. Inf. Process. Lett. 3(1): 25-28 (1974)
10 Oscar H. Ibarra: A Hierarchy Theorem for Polynomial-Space Recognition. SIAM J. Comput. 3(3): 184-187 (1974)
1973
9EEOscar H. Ibarra: Controlled pushdown automata. Inf. Sci. 6: 327-342 (1973)
8 Oscar H. Ibarra: On Two-way Multihead Automata. J. Comput. Syst. Sci. 7(1): 28-36 (1973)
1972
7EEOscar H. Ibarra: A Note Concerning Nondeterministic Tape Complexities. J. ACM 19(4): 608-612 (1972)
1971
6 Oscar H. Ibarra: Characterizations of Some Tape and Time Complexity Classes of Turing Machines in Terms of Multihead and Auxiliary Stack Automata. J. Comput. Syst. Sci. 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)
1970
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. J. Comput. Syst. Sci. 4(6): 622-625 (1970)
1968
2 Michael A. Harrison, Oscar H. Ibarra: Multi-Tape and Multi-Head Pushdown Automata Information and Control 13(5): 433-470 (1968)
1967
1 Jim Gray, Michael A. Harrison, Oscar H. Ibarra: Two-Way Pushdown Automata Information and Control 11(1/2): 30-70 (1967)

Coauthor Index

1Amr El Abbadi [239]
2Divyakant Agrawal [239]
3Daniel Andresen [156] [159] [161] [166]
4Leonard Berman [87]
5Ronald V. Book [3]
6Jacir Luiz Bordim [216]
7Tevfik Bultan [176] [178] [181] [182] [189] [191] [213] [272] [281]
8Matteo Cavaliere [264] [278]
9Tat-hung Chan [58] [59]
10Jik H. Chang [72] [78] [82] [83] [84] [87] [89] [90] [96] [98] [99] [101] [103] [104] [106] [111] [119]
11Moon-Jung Chung [83] [99]
12Kyung-Yong Chwa [168]
13Marco Cova [272]
14Erzsébet Csuhaj-Varjú [225] [249]
15Mark Daley [201] [205]
16Zhe Dang [176] [181] [185] [187] [188] [189] [191] [193] [196] [198] [202] [203] [204] [207] [208] [209] [210] [213] [214] [215] [219] [223] [224] [228] [230] [231] [232] [234] [235] [240] [243] [248] [250] [253] [257] [262] [268] [270]
17Pedro C. Diniz [158] [163]
18David Hung-Chang Du [88] [100]
19Ömer Egecioglu [157] [159] [165] [166] [172] [207] [214] [220] [264] [278] [283] [284]
20Pierluigi Frisco [280] [282]
21Rafael Gamboa [222]
22Cagdas Evren Gerede (Cagdas E. Gerede) [221] [238] [239] [251] [265]
23Teofilo F. Gonzalez [19]
24Jim Gray [1]
25Sheila A. Greibach [3]
26Eitan M. Gurari [25] [27] [28] [29] [30] [31] [32] [35] [38] [39] [43] [45] [48] [51] [54] [61]
27Tero Harju [186] [192]
28Michael A. Harrison [1] [2]
29J. Andrew Holey [115] [124] [125] [129]
30Vegard Holmedahl [156]
31Roger Hui [53]
32Richard Hull [221]
33Mihai Ionescu (Armand-Mihai Ionescu) [264] [278]
34Yasuaki Ito [216]
35John Jack [269]
36Tao Jiang [85] [91] [94] [97] [102] [103] [106] [107] [110] [111] [113] [114] [117] [118] [119] [122] [127] [130] [131] [137] [138] [139] [143] [144] [148] [151]
37Juhani Karhumäki [186] [192] [273]
38Lila Kari (Lila Santean) [201] [205]
39Richard A. Kemmerer [176] [181] [188] [189] [191] [202] [213]
40Chul E. Kim [12] [14] [16] [17] [18] [20]
41M. H. Kim [136]
42Myung Hee Kim [123] [132] [145] [150]
43Sam M. Kim [65] [67] [69] [70] [71] [73] [74] [75] [79]
44Brian S. Leininger [34] [36] [44] [47] [49] [50] [62] [63] [66]
45Cheng Li [235] [240] [250]
46Ian McQuillan [205]
47Hoda Mokhtar [195]
48Shlomo Moran [33] [41] [42] [44] [47] [52] [53] [56] [60] [64] [73]
49Koji Nakano [177] [197] [205] [216]
50J. Fernando Naveda [88] [100]
51Alexander Okhotin [273]
52Stephan Olariu [177] [197]
53Michael A. Palis [70] [71] [72] [78] [79] [82] [86] [89] [93] [101] [104] [108] [111]
54Andrei Paun [242] [255] [259] [267] [269] [271] [275] [277]
55Gheorghe Paun [246] [259] [264] [278]
56Yasmín Pérez [222]
57Pierluigi San Pietro [187] [203] [209] [223]
58Ting-Chuen Pong [90] [98] [120] [152]
59Athanassios S. Poulakidas [157] [165] [172]
60Kotesh K. Rao [83] [99]
61Bala Ravikumar [78] [80] [87] [92] [95] [97] [103] [105] [119] [238] [247] [251] [265] [276] [279]
62Martin C. Rinard [158] [163]
63Alfonso Rodríguez-Patón [259] [269] [275] [277]
64Louis E. Rosier [33] [37] [40] [42] [55] [56] [66] [68] [69] [74] [75] [76] [77]
65Ozgur D. Sahin [239]
66Sartaj Sahni (Sartaj K. Sahni) [13] [15] [16] [19]
67Arto Salomaa [186] [192]
68Gaurav Saxena [207]
69Terence R. Smith [159] [167] [173]
70Stephen M. Sohn [90] [98] [109] [112] [120] [152]
71Petr Sosík [259]
72Ashok Srinivasan [157] [165] [172]
73Jianwen Su [164] [169] [170] [171] [174] [175] [176] [178] [179] [181] [182] [183] [184] [190] [191] [195] [199] [219] [221] [228] [238] [239] [265]
74Zhi-Wei Sun [196] [198] [230]
75Nicholas Q. Trân [126] [128] [133] [134] [135] [138] [139] [140] [143] [147] [149] [151] [160]
76György Vaszil [225] [249]
77Anastasios Vergis [84] [96]
78Hui Wang [110] [113] [114] [116] [122] [127] [130] [131] [137] [138] [139] [143] [144] [151]
79David Watson [167] [173]
80Ben Wegbreit [3]
81Sara Woodworth [234] [236] [241] [243] [252] [253] [254] [255] [259] [260] [263] [264] [266] [267] [278]
82Jie Wu [197]
83Gaoyan Xie [208] [209] [223] [235] [250]
84Haiyan Xu [183]
85Linmin Yang [262] [268] [270]
86Tao Yang [154] [155] [156] [157] [159] [160] [161] [162] [165] [166] [167] [172] [173]
87Hsu-Chun Yen [224] [232] [234] [240] [243] [244] [245] [253] [256] [261]
88Fang Yu [255] [267] [272] [281]
89Yizhou Yu [155] [162]
90Louxin Zhang [200] [217]
91Qi Zheng [130] [141] [142] [146] [153] [167] [173]
92Hongjun Zhu [171] [174] [175] [184] [199]
93Huican Zhu [167] [173]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)