Oscar H. Ibarra

Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra: Execution Information Rate for Some Classes of Automata. LATA 2013: 226-237

Oscar H. Ibarra, Bala Ravikumar: On Bounded Languages and Reversal-Bounded Automata. LATA 2013: 359-370

Oscar H. Ibarra, Shinnosuke Seki: On the Boundedness Property of Semilinear Sets. TAMC 2013: 156-168

Oscar H. Ibarra, Ömer Egecioglu: A Survey of Results on Stateless Multicounter Automata. Fundam. Inform. 116(1-4): 129-140 (2012)

Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni, Arto Salomaa: Sheng Yu. Int. J. Found. Comput. Sci. 23(2) (2012)

Oscar H. Ibarra, Shinnosuke Seki: Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines. Int. J. Found. Comput. Sci. 23(6): 1291-1306 (2012)

Oscar H. Ibarra, Hsu-Chun Yen: On the containment and equivalence problems for two-way transducers. Theor. Comput. Sci. 429: 155-163 (2012)

Oscar H. Ibarra, Nicholas Q. Trân: On synchronized multi-tape and multi-head automata. Theor. Comput. Sci. 449: 74-84 (2012)

Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki: One-reversal counter machines and multihead automata: Revisited. Theor. Comput. Sci. 454: 81-87 (2012)

Oscar H. Ibarra: APDCM Introduction. IPDPS Workshops 2012: 761

Oscar H. Ibarra, Nicholas Q. Trân: Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines. LATA 2012: 337-350

Ömer Egecioglu, Oscar H. Ibarra, Nicholas Q. Trân: Multitape NFA: Weak Synchronization of the Input Heads. SOFSEM 2012: 238-250

Oscar H. Ibarra, Nicholas Q. Trân: How to Synchronize the Heads of a Multitape Automaton. CIAA 2012: 192-204

Hsu-Chun Yen, Oscar H. Ibarra (Eds.): Developments in Language Theory - 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Lecture Notes in Computer Science 7410, Springer 2012, isbn 978-3-642-31652-4

Oscar H. Ibarra: On Strong Reversibility in P Systems and Related Problems. Int. J. Found. Comput. Sci. 22(1): 7-14 (2011)

Fang Yu, Tevfik Bultan, Oscar H. Ibarra: Relational String Verification Using Multi-Track Automata. Int. J. Found. Comput. Sci. 22(8): 1909-1924 (2011)

Oscar H. Ibarra, Shinnosuke Seki: Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines. AFL 2011: 211-224

Oscar H. Ibarra, Nicholas Q. Trân: On Synchronized Multitape and Multihead Automata. DCFS 2011: 184-197

Oscar H. Ibarra, Hsu-Chun Yen: On Two-Way Transducers. Developments in Language Theory 2011: 300-311

Oscar H. Ibarra: APDCM Introduction. IPDPS Workshops 2011: 531

Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki: One-Reversal Counter Machines and Multihead Automata: Revisited. SOFSEM 2011: 166-177

Oscar H. Ibarra: On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs. CIAA 2011: 190-202

Oscar H. Ibarra: On the universe, disjointness, and containment problems for simple machines. Inf. Comput. 208(11): 1273-1282 (2010)

Oscar H. Ibarra, Hsu-Chun Yen: Preface. Int. J. Found. Comput. Sci. 21(6): 873-874 (2010)

Linmin Yang, Zhe Dang, Oscar H. Ibarra: Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing. Natural Computing 9(2): 347-364 (2010)

Oscar H. Ibarra, Mario J. Pérez-Jiménez, Takashi Yokomori: On spiking neural P systems. Natural Computing 9(2): 475-491 (2010)

Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin: On stateless multihead automata: Hierarchies and the emptiness problem. Theor. Comput. Sci. 411(3): 581-593 (2010)

Oscar H. Ibarra, Igor Potapov, Hsu-Chun Yen: On decision problems for parameterized machines. Theor. Comput. Sci. 411(7-9): 1192-1201 (2010)

Pierluigi Frisco, Oscar H. Ibarra: On sets of numbers accepted by P/T systems composed by join. Theor. Comput. Sci. 411(44-46): 3905-3916 (2010)

Oscar H. Ibarra: Computing with Cells: Membrane Systems. COCOON 2010: 2

Oscar H. Ibarra: On Decision Problems for Simple and Parameterized Machines. Developments in Language Theory 2010: 31

Oscar H. Ibarra: Advances in parallel and distributed computing models - APDCM. IPDPS Workshops 2010: 1

Fang Yu, Tevfik Bultan, Oscar H. Ibarra: Relational String Verification Using Multi-track Automata. CIAA 2010: 290-299

Oscar H. Ibarra, Bala Ravikumar: Preface. Int. J. Found. Comput. Sci. 20(4): 559-561 (2009)

Matteo 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)

Oscar 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)

Ömer Egecioglu, Oscar H. Ibarra: On Stateless Multicounter Machines. CiE 2009: 178-187

Oscar H. Ibarra, Ömer Egecioglu: Hierarchies and Characterizations of Stateless Multicounter Machines. COCOON 2009: 408-417

Pierluigi Frisco, Oscar H. Ibarra: On Stateless Multihead Finite Automata and Multihead Pushdown Automata. Developments in Language Theory 2009: 240-251

Oscar H. Ibarra: A Look Back at Some Early Results in Membrane Computing. Workshop on Membrane Computing 2009: 66-73

Fang Yu, Tevfik Bultan, Oscar H. Ibarra: Symbolic String Verification: Combining String Analysis and Size Analysis. TACAS 2009: 322-336

Pierluigi Frisco, Oscar H. Ibarra: On Languages Accepted by P/T Systems Composed of joins. DCFS 2009: 111-120

Yingfei Dong, Ding-Zhu Du, Oscar H. Ibarra (Eds.): Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings. Lecture Notes in Computer Science 5878, Springer 2009, isbn 978-3-642-10630-9

Oscar H. Ibarra, Zhe Dang, Linmin Yang: On Counter Machines, Reachability Problems, and Diophantine Equations. Int. J. Found. Comput. Sci. 19(4): 919-934 (2008)

John 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)

Linmin Yang, Zhe Dang, Oscar H. Ibarra: On Stateless Automata and P Systems. Int. J. Found. Comput. Sci. 19(5): 1259-1276 (2008)

Oscar 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)

Oscar H. Ibarra, Sara Woodworth: Characterizations of some classes of spiking neural P systems. Natural Computing 7(4): 499-517 (2008)

Oscar H. Ibarra, Andrei Paun: Computing with cells: membrane systems - some complexity issues. IJPEDS 23(5): 347-365 (2008)

Cagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su: Minimum-cost delegation in service composition. Theor. Comput. Sci. 409(3): 417-431 (2008)

Oscar H. Ibarra, Andrei Paun, Alfonso Rodríguez-Patón: Sequentiality Induced by Spike Number in SNP Systems. DNA 2008: 179-190

Oscar H. Ibarra: Computing with Cells: Membrane Systems. ISPAN 2008: 3

Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin: On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. LATIN 2008: 94-105

Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra: Symbolic String Verification: An Automata-Based Approach. SPIN 2008: 306-324

Oscar H. Ibarra, Bala Ravikumar (Eds.): Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings. Lecture Notes in Computer Science 5148, Springer 2008, isbn 978-3-540-70843-8

Oscar H. Ibarra, Hsu-Chun Yen: Preface. Int. J. Found. Comput. Sci. 18(4): 667-668 (2007)

Oscar H. Ibarra, Sara Woodworth: Characterizing Regular Languages by Spiking Neural P Systems. Int. J. Found. Comput. Sci. 18(6): 1247-1256 (2007)

Oscar 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)

Oscar H. Ibarra: Developments in language theory. Theor. Comput. Sci. 376(1-2): 1-2 (2007)

Ömer Egecioglu, Oscar H. Ibarra: A q-Analogue of the Parikh Matrix Mapping. Formal Models, Languages and Applications 2007: 97-111

Matteo Cavaliere, Ömer Egecioglu, Oscar H. Ibarra, Mihai Ionescu, Gheorghe Paun, Sara Woodworth: Asynchronous Spiking Neural P Systems: Decidability and Undecidability. DNA 2007: 246-255

Oscar H. Ibarra, Sara Woodworth: Spiking Neural P Systems: Some Characterizations. FCT 2007: 23-37

Linmin Yang, Zhe Dang, Oscar H. Ibarra: Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. UC 2007: 226-241

Oscar 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)

Oscar H. Ibarra, Sara Woodworth: On symport/antiport P systems with a small number of objects. Int. J. Comput. Math. 83(7): 613-629 (2006)

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)

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)

Erzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil: On the Computational Complexity of P Automata. Natural Computing 5(2): 109-126 (2006)

Oscar H. Ibarra, Zhe Dang: On the solvability of a class of diophantine equations and applications. Theor. Comput. Sci. 352(1-3): 342-346 (2006)

Oscar H. Ibarra, Bala Ravikumar: On partially blind multihead finite automata. Theor. Comput. Sci. 356(1-2): 190-199 (2006)

Oscar 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)

Oscar H. Ibarra, Hsu-Chun Yen: Deterministic catalytic systems are not universal. Theor. Comput. Sci. 363(2): 149-161 (2006)

Oscar H. Ibarra, Sara Woodworth: Characterizations of Some Restricted Spiking Neural P Systems. Workshop on Membrane Computing 2006: 424-442

Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun: On Spiking Neural P Systems and Partially Blind Counter Machines. UC 2006: 113-129

Oscar H. Ibarra, Zhe Dang (Eds.): Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings. Lecture Notes in Computer Science 4036, Springer 2006, isbn 3-540-35428-X

Oscar H. Ibarra, Hsu-Chun Yen (Eds.): Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings. Lecture Notes in Computer Science 4094, Springer 2006, isbn 3-540-37213-X

Oscar 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)

Zhe Dang, Oscar H. Ibarra: On one-membrane P systems operating in sequential mode. Int. J. Found. Comput. Sci. 16(5): 867-881 (2005)

Zhe 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)

Oscar H. Ibarra: On membrane hierarchy in P systems. Theor. Comput. Sci. 334(1-3): 115-129 (2005)

Zhe 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)

Oscar H. Ibarra: On determinism versus nondeterminism in P systems. Theor. Comput. Sci. 344(2-3): 120-133 (2005)

Cagdas 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

Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang: On Sequential and 1-Deterministic P Systems. COCOON 2005: 905-914

Oscar H. Ibarra, Andrei Paun: Counting Time in Computing with Cells. DNA 2005: 112-128

Oscar H. Ibarra, Sara Woodworth: On Bounded Symport/Antiport P Systems. DNA 2005: 129-143

Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen: Signaling P Systems and Verification Problems. ICALP 2005: 1462-1473

Ozgur 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

Oscar H. Ibarra: Some Recent Results Concerning Deterministic P Systems. Workshop on Membrane Computing 2005: 49-54

Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang: On Symport/Antiport P Systems and Semilinear Sets. Workshop on Membrane Computing 2005: 253-271

Oscar H. Ibarra: Some Computational Issues in Membrane Computing. MFCS 2005: 39-51

Oscar H. Ibarra, Sara Woodworth: On Symport/Antiport P Systems with One or Two Symbols. SYNASC 2005: 431-439

Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On Model-Checking of P Systems. UC 2005: 82-93

Oscar H. Ibarra, Hsu-Chun Yen: On Deterministic Catalytic Systems. CIAA 2005: 163-175

Oscar H. Ibarra, Louxin Zhang: Computing And Combinatorics Conference -- Cocoon'02. Int. J. Found. Comput. Sci. 15(1): 1 (2004)

Jacir 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)

Oscar H. Ibarra, Zhe Dang: On two-way FA with monotonic counters and quadratic Diophantine equations. Theor. Comput. Sci. 312(2-3): 359-378 (2004)

Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu: Catalytic P systems, semilinear sets, and vector addition systems. Theor. Comput. Sci. 312(2-3): 379-399 (2004)

Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer: Past pushdown timed automata and safety verification. Theor. Comput. Sci. 313(1): 57-71 (2004)

Oscar H. Ibarra: On the computational complexity of membrane systems. Theor. Comput. Sci. 320(1): 89-109 (2004)

Oscar H. Ibarra: Editorial. Theor. Comput. Sci. 328(1-2): 1 (2004)

Zhe Dang, Oscar H. Ibarra: On P Systems Operating in Sequential Mode. DCFS 2004: 164-177

Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang: The Power of Maximal Parallelism in P Systems. Developments in Language Theory 2004: 212-224

Erzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil: On the Computational Complexity of P Automata. DNA 2004: 76-89

Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie: Real-Counter Automata and Their Decision Problems. FSTTCS 2004: 198-210

Yasmín Pérez, Rafael Gamboa, Oscar H. Ibarra: Modeling Affective Responses in Intelligent Tutoring Systems. ICALT 2004: 0-

Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su: Automated composition of e-services: lookaheads. ICSOC 2004: 252-262

Ömer Egecioglu, Oscar H. Ibarra: A Matrix q-Analogue of the Parikh Map. IFIP TCS 2004: 125-138

Zhe Dang, Oscar H. Ibarra, Jianwen Su: Composability of Infinite-State Activity Automata. ISAAC 2004: 377-388

Oscar H. Ibarra: P Systems: Some Recent Results and Research Problems. UPP 2004: 225-237

Oscar H. Ibarra: Automata-Theoretic Techniques for Analyzing Infinite-State Systems. CIAA 2004: 1

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)

Oscar H. Ibarra, Zhe Dang: Eliminating the storage tape in reachability constructions. Theor. Comput. Sci. 1-3(299): 687-706 (2003)

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)

Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer: Generalized discrete timed automata: decidable approximations for safety verificatio. Theor. Comput. Sci. 296(1): 59-74 (2003)

Mark 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)

Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Dense Counter Machines and Verification Problems. CAV 2003: 93-105

Gaoyan 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

Oscar H. Ibarra: The Number of Membranes Matters. Workshop on Membrane Computing 2003: 218-231

Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu, Gaurav Saxena: Characterizations of Catalytic Membrane Computing Systems. MFCS 2003: 480-489

Oscar H. Ibarra, Zhe Dang (Eds.): Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings. Lecture Notes in Computer Science 2759, Springer 2003, isbn 3-540-40561-5

Oscar H. Ibarra: Verification in Queue-Connected Multicounter Machines. Int. J. Found. Comput. Sci. 13(1): 115-127 (2002)

Zhe 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)

Tero 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)

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)

Oscar H. Ibarra, Jianwen Su: Augmenting the discrete timed automaton with other data structures. Theor. Comput. Sci. 289(1): 191-204 (2002)

Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: Trajectory queries and octagons in moving object databases. CIKM 2002: 413-421

Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun: Safety Verification for Two-Way Finite Automata with Monotonic Counters. Developments in Language Theory 2002: 326-338

Oscar H. Ibarra, Stephan Olariu, Koji Nakano, Jie Wu: Workshop Introduction. IPDPS 2002

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

Hoda Mokhtar, Jianwen Su, Oscar H. Ibarra: On Moving Object Queries. PODS 2002: 188-198

Oscar H. Ibarra, Louxin Zhang (Eds.): Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2387, Springer 2002, isbn 3-540-43996-X

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)

Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis: Counter machines and the safety and disjointness problems for database queries with linear constraints. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 127-137

Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer: Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. COCOON 2001: 529-539

Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. FSTTCS 2001: 132-143

Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ICALP 2001: 579-590

Oscar H. Ibarra, Zhe Dang: On Removing the Pushdown Stack in Reachability Constructions. ISAAC 2001: 244-256

Jianwen Su, Haiyan Xu, Oscar H. Ibarra: Moving Objects: Logical Relationships and Queries. SSTD 2001: 3-19

Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: On Multi-way Spatial Joins with Direction Predicates. SSTD 2001: 217-235

Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer: Past Pushdown Timed Automata. CIAA 2001: 74-86

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)

Athanassios 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)

Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su: Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000: 69-84

Oscar H. Ibarra, Tevfik Bultan, Jianwen Su: Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000: 183-198

Oscar H. Ibarra, Koji Nakano, Stephan Olariu: Workshop on Advances in Parallel and Distributed Computational Models. IPDPS Workshops 2000: 101

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

Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: Toward Spatial Joins for Polygons. SSDBM 2000: 231-244

Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: Extending Rectangle Join Algorithms for Rectilinear Polygons. Web-Age Information Management 2000: 247-258

Oscar H. Ibarra: Reachability and Safety in Queue Systems. CIAA 2000: 145-156

Oscar H. Ibarra, Jianwen Su: Generalizing the Discrete Timed Automaton. CIAA 2000: 157-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)

Oscar H. Ibarra, Jianwen Su: Counter Machines: Decision Problems and Applications. Jewels are Forever 1999: 84-96

Hongjun Zhu, Jianwen Su, Oscar H. Ibarra: An Index Structure for Spatial Joins in Linear Constraint Databases. ICDE 1999: 636-643

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)

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

Kyung-Yong Chwa, Oscar H. Ibarra (Eds.): Algorithms and Computation, 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings. Lecture Notes in Computer Science 1533, Springer 1998, isbn 3-540-65385-6

Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard: On the Complexity of Commutativity Analysis. Int. J. Found. Comput. Sci. 8(1): 81-94 (1997)

Yizhou Yu, Oscar H. Ibarra, Tao Yang: Parallel Progressive Radiosity with Adaptive Meshing. J. Parallel Distrib. Comput. 42(1): 30-41 (1997)

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)

Oscar H. Ibarra, Nicholas Q. Trân, Tao Yang: On the Parallel Complexity of Loops. Theor. Comput. Sci. 179(1-2): 381-395 (1997)

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

Oscar H. Ibarra, Jianwen Su: On the Containment and Equivalence of Database Queries with Linear Constraints. PODS 1997: 32-43

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)

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

Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard: On the Complexity of Commutativity Analysis. COCOON 1996: 323-332

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

Daniel Andresen, Tao Yang, Vegard Holmedahl, Oscar H. Ibarra: SWEB: Towards a Scalable World Wide Web Server on Multicomputers. IPPS 1996: 850-856

Yizhou Yu, Oscar H. Ibarra, Tao Yang: Parallel Progressive Radiosity with Adaptive Meshing. IRREGULAR 1996: 159-170

Oscar H. Ibarra, Qi Zheng: An Optimal Shortest Path Parallel Algorithm for Permutation Graphs. J. Parallel Distrib. Comput. 24(1): 94-99 (1995)

Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn: A note on parsing pattern languages. Pattern Recognition Letters 16(2): 179-182 (1995)

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)

Oscar H. Ibarra, Nicholas Q. Trân: On Communication-Bounded Synchronized Alternating Finite Automata. Acta Inf. 31(4): 315-327 (1994)

Oscar H. Ibarra, Qi Zheng: Some Efficient Algorithms for Permutation Graphs. J. Algorithms 16(3): 453-469 (1994)

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)

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)

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

Myung Hee Kim, Oscar H. Ibarra: Transformations Between Boundary Codes, Run Length Codes, and Linear Quadtrees. IPPS 1994: 120-125

Oscar H. Ibarra, Nicholas Q. Trân: On the Parallel Complexity of Solving Recurrence Equations. ISAAC 1994: 469-477

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)

Oscar H. Ibarra, Hui Wang, Tao Jiang: On Efficient Parallel Algorithms for Solving Set Recurrence Equations. J. Algorithms 14(2): 244-257 (1993)

Oscar H. Ibarra, M. H. Kim: Quadtree Building Algorithms on an SIMD Hypercube. J. Parallel Distrib. Comput. 18(1): 71-76 (1993)

Oscar H. Ibarra, Nicholas Q. Trân: A Note on Simple Programs with Two Variables. Theor. Comput. Sci. 112(2): 391-397 (1993)

Oscar H. Ibarra, Nicholas Q. Trân: Synchronized Finite Automata and 2DFA Reductions. Theor. Comput. Sci. 115(2): 261-275 (1993)

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

Oscar H. Ibarra, Qi Zheng: Finding Articulation Points and Bridges of Permutation Graphs. ICPP 1993: 77-80

Oscar H. Ibarra, Qi Zheng: On the Shortest Path Problems for Permutation Graphs. IPPS 1993: 198-204

Oscar H. Ibarra, Nicholas Q. Trân: On the Communication Complexity of Parallel Computation. MFCS 1993: 517-526

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

Tao 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)

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)

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)

Oscar H. Ibarra, Nicholas Q. Trân: On Space-Bounded Synchronized Alternating Turing Machines. Theor. Comput. Sci. 99(2): 243-264 (1992)

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)

Oscar H. Ibarra, Nicholas Q. Trân: New Results Concerning Synchronized Finite Automata. ICALP 1992: 126-137

Oscar H. Ibarra, Myung Hee Kim: Quadtree Building Algorithms on an SIMD Hypercube. IPPS 1992: 22-27

Oscar H. Ibarra: On Resetiting DLBA's. Bulletin of the EATCS 44: 190-191 (1991)

Oscar H. Ibarra, Tao Jiang, Jik H. Chang, Bala Ravikumar: Some Classes of Languages in NC¹. Inf. Comput. 90(1): 86-106 (1991)

Oscar H. Ibarra, Tao Jiang: Learning Regular Languages from Counterexamples. J. Comput. Syst. Sci. 43(2): 299-316 (1991)

Oscar H. Ibarra, Tao Jiang: The Power of Alternating One-Reversal Counters and Stacks. SIAM J. Comput. 20(2): 278-290 (1991)

Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn: Parallel Regognition and Parsing on the Hypercube. IEEE Trans. Computers 40(6): 764-770 (1991)

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)

Oscar H. Ibarra, Nicholas Q. Trân: On Space-bounded Synchronized Alternating Turing Machines. FCT 1991: 248-257

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

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

Oscar H. Ibarra, Myung Hee Kim: Fast Parallel Algorithms for Solving Triangular Systems of Linear Equations on the Hypercube. IPPS 1991: 76-83

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

Oscar H. Ibarra, Michael A. Palis: An efficient all-parses systolic algorithm for general context-free parsing. International Journal of Parallel Programming 19(4): 295-331 (1990)

Oscar H. Ibarra, Stephen M. Sohn: On Mapping Systolic Algorithms onto the Hypercube. IEEE Trans. Parallel Distrib. Syst. 1(1): 48-63 (1990)

Oscar 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)

J. Andrew Holey, Oscar H. Ibarra: Iterative Algorithms for Planar Convex Hull on Mesh-Connected Arrays. ICPP (3) 1990: 102-109

Oscar H. Ibarra, Tao Jiang, Hui Wang: String Editing on a One-Way Linear Array of Finite-State Machines. ICPP (3) 1990: 173-176

Oscar H. Ibarra, Hui Wang, Tao Jiang: Efficient parallel algorithms for solving set recurrence equations and applications. SPDP 1990: 480-487

Oscar H. Ibarra, Tao Jiang: Optimal Simulation of Tree Arrays by Linear Arrays. Inf. Process. Lett. 30(6): 295-302 (1989)

Oscar H. Ibarra, Tao Jiang, Jik H. Chang: On Iterative and Cellular Tree Arrays. J. Comput. Syst. Sci. 38(3): 452-473 (1989)

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)

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)

Oscar H. Ibarra, Tao Jiang, Hui Wang: Parallel Parsing on a One-way Linear Array of Finite-State Machines. FSTTCS 1989: 291-300

Oscar H. Ibarra, Stephen M. Sohn: On Mapping Systolic Algorithms onto the Hypercube. ICPP (1) 1989: 121-124

Oscar H. Ibarra, Michael A. Palis: An Efficient All-Parses Systolic Algorithm for General Context-Free Parsing. WADS 1989: 403-419

Oscar H. Ibarra, Tao Jiang, Bala Ravikumar: Some Subclasses of Context-Free Languages In NC1. Inf. Process. Lett. 29(3): 111-117 (1988)

Jik H. Chang, Oscar H. Ibarra, Anastasios Vergis: On the power of one-way communication. J. ACM 35(3): 697-726 (1988)

Oscar H. Ibarra, Bala Ravikumar: Sublogarithmic-Space Turing Machines, Nonuniform Space Complexity, and Closure Properties. Mathematical Systems Theory 21(1): 1-17 (1988)

Jik 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)

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)

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)

Oscar H. Ibarra, Michael A. Palis: Two-Dimensional Iterative Arrays: Characterizations and Applications. Theor. Comput. Sci. 57: 47-86 (1988)

Oscar H. Ibarra, Tao Jiang: Relating the Power of Cellular Arrays to Their Closure Properties. Theor. Comput. Sci. 57: 225-238 (1988)

Oscar H. Ibarra, Tao Jiang, Bala Ravikumar, Jik H. Chang: On Some Languages in NC. AWOC 1988: 64-73

Oscar H. Ibarra, Tao Jiang: Trading reversals for alternation. Structure in Complexity Theory Conference 1988: 70-77

Oscar H. Ibarra, Tao Jiang: Learning Regular Languages From Counterexamples. COLT 1988: 371-385

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

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)

Oscar H. Ibarra, Michael A. Palis: On Efficient Simulations of Systolic Arrays of Random-Access Machines. SIAM J. Comput. 16(2): 367-377 (1987)

Oscar H. Ibarra, Tao Jiang: On One-Way Cellular Arrays. SIAM J. Comput. 16(6): 1135-1154 (1987)

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)

David 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)

Oscar H. Ibarra, Bala Ravikumar: Relating the Degree of Ambiguity of Finite Automata to the Succinctness of their Representation. FSTTCS 1987: 26-43

Oscar H. Ibarra, Tao Jiang: On the Computing Power of One-Way Cellular Arrays. ICALP 1987: 550-562

Jik H. Chang, Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn: Two-Dimensional Convolution on a Pyramid Computer. ICPP 1987: 780-782

Oscar H. Ibarra, Sam M. Kim, Michael A. Palis: Designing Systolic Algorithms Using Sequential Machines. IEEE Trans. Computers 35(6): 531-542 (1986)

Jik H. Chang, Oscar H. Ibarra, Michael A. Palis, Bala Ravikumar: On Pebble Automata. Theor. Comput. Sci. 44: 111-121 (1986)

Jik H. Chang, Oscar H. Ibarra, Anastasios Vergis: On the Power of One-Way Communication. FOCS 1986: 455-464

Jik H. Chang, Moon-Jung Chung, Oscar H. Ibarra, Kotesh K. Rao: Systolic Tree Implementation of Data Structures. ICPP 1986: 669-671

Jik H. Chang, Oscar H. Ibarra, Michael A. Palis: Parallel Parsing on a One-Way Array of Finite-State Machines. ICPP 1986: 887-894

Oscar H. Ibarra: Systolic Arrays: Characterizations and Complexity. MFCS 1986: 140-153

Oscar H. Ibarra, Bala Ravikumar: On Sparseness, Ambiguity and other Decision Problems for Acceptors and Transducers. STACS 1986: 171-179

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)

Oscar H. Ibarra, Louis E. Rosier: On Simple Programs with Primitive Conditional Statements. Information and Control 65(1): 42-62 (1985)

Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier: Some Characterizations of Multihead Finite Automata. Information and Control 67(1-3): 114-125 (1985)

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)

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)

Oscar H. Ibarra, Michael A. Palis, Jik H. Chang: On Efficient Recognition of Transductions and Relations. Theor. Comput. Sci. 39: 89-106 (1985)

Oscar H. Ibarra, Michael A. Palis, Sam M. Kim: Fast Parallel Language Recognition by Cellular Automata. Theor. Comput. Sci. 41: 231-246 (1985)

Oscar H. Ibarra, Sam M. Kim: A Characterization of Systolic Binary Tree Automata and Applications. Acta Inf. 21: 193-207 (1984)

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)

Oscar H. Ibarra, Sam M. Kim: Characterizations and Computational Complexity of Systolic Trellis Automata. Theor. Comput. Sci. 29: 123-153 (1984)

Oscar H. Ibarra, Michael A. Palis, Sam M. Kim: Designing Systolic Algorithms Using Sequential Machines. FOCS 1984: 46-55

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

Oscar H. Ibarra, Louis E. Rosier: The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). MFCS 1984: 330-338

Oscar H. Ibarra, Shlomo Moran: Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs. J. ACM 30(1): 217-228 (1983)

Oscar H. Ibarra, Brian S. Leininger: On the Simplification and Equivalence Problems for Straight-Line Programs. J. ACM 30(3): 641-656 (1983)

Oscar H. Ibarra, Brian S. Leininger: On the Zero-Inequivalence Problem for Loop Programs. J. Comput. Syst. Sci. 26(1): 47-64 (1983)

Eitan M. Gurari, Oscar H. Ibarra: A Note on Finitely-Valued and Finitely Ambiguous Transducers. Mathematical Systems Theory 16(1): 61-66 (1983)

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)

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)

Tat-hung Chan, Oscar H. Ibarra: On the Finite-Valuedness Problem for Sequential Machines. Theor. Comput. Sci. 23: 95-101 (1983)

Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier: On the Control Power of Integer Division. Theor. Comput. Sci. 24: 35-52 (1983)

Oscar H. Ibarra: On Some Decision Questions Concerning Pushdown Machines. Theor. Comput. Sci. 24: 313-322 (1983)

Oscar H. Ibarra, Louis E. Rosier: Simple Programming Languages and Restricted Classes of Turing Machines. Theor. Comput. Sci. 26: 197-220 (1983)

Eitan M. Gurari, Oscar H. Ibarra: Two-Way Counter Machines and Diophantine Equations. J. ACM 29(3): 863-873 (1982)

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)

Oscar H. Ibarra, Shlomo Moran: On Some Decision Problems for RAM Programs. J. Comput. Syst. Sci. 24(1): 69-81 (1982)

Eitan M. Gurari, Oscar H. Ibarra: (Semi)Alternating Stack Automata. Mathematical Systems Theory 15(3): 211-224 (1982)

Oscar H. Ibarra, Brian S. Leininger: Straight-Line Programs with One Input Variable. SIAM J. Comput. 11(1): 1-14 (1982)

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)

Eitan M. Gurari, Oscar H. Ibarra: Some Simplified Undecidable and NP-Hard Problems for Simple Programs. Theor. Comput. Sci. 17: 55-73 (1982)

Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran: On the Complexity of Simple Arithmetic Expressions. Theor. Comput. Sci. 19: 17-28 (1982)

Oscar H. Ibarra: 2DST Mapppings on Languages and Related Problems. Theor. Comput. Sci. 19: 219-227 (1982)

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)

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)

Oscar H. Ibarra, Louis E. Rosier: On the Decidability of Equivalence for Deterministic Pushdown Transducers. Inf. Process. Lett. 13(3): 89-93 (1981)

Eitan M. Gurari, Oscar H. Ibarra: The Complexity of the Equivalence Problem for Simple Programs. J. ACM 28(3): 535-560 (1981)

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)

Oscar H. Ibarra, Louis E. Rosier: On Restricted One-counter Machines. Mathematical Systems Theory 14: 241-245 (1981)

Oscar H. Ibarra, Brian S. Leininger: Characterizations of Presburger Functions. SIAM J. Comput. 10(1): 22-39 (1981)

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)

Eitan M. Gurari, Oscar H. Ibarra: Two-Way Counter Machines and Diophantine Equations. FOCS 1981: 45-52

Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran: On the Complexity of Simple Arithmetic Expressions. ICALP 1981: 294-304

Eitan M. Gurari, Oscar H. Ibarra: The Complexity of Decision Problems for Finite-Turn Multicounter Machines. ICALP 1981: 495-505

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)

Eitan M. Gurari, Oscar H. Ibarra: Path Systems: Constructions, Solutions and Applications. SIAM J. Comput. 9(2): 348-374 (1980)

Oscar H. Ibarra, Brian S. Leininger: The Complexity of the Equivalence Problem for Straight-Line Programs. STOC 1980: 273-280

Eitan M. Gurari, Oscar H. Ibarra: On the Space Complexity of Recursive Algorithms. Inf. Process. Lett. 8(5): 267-271 (1979)

Eitan M. Gurari, Oscar H. Ibarra: An NP-Complete Number-Theoretic Problem. J. ACM 26(3): 567-581 (1979)

Eitan M. Gurari, Oscar H. Ibarra: Some Decision Problems Concerning Sequential Transducers and Checking Automata. J. Comput. Syst. Sci. 18(1): 18-34 (1979)

Eitan M. Gurari, Oscar H. Ibarra: Simple Counter Machines and Number-Theoretic Problems. J. Comput. Syst. Sci. 19(2): 145-162 (1979)

Oscar H. Ibarra: Restricted One-Counter Machines with Undecidable Universe Problems. Mathematical Systems Theory 13: 181-186 (1979)

Eitan M. Gurari, Oscar H. Ibarra: The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs. STOC 1979: 142-152

Oscar H. Ibarra: Reversal-Bounded Multicounter Machines and Their Decision Problems. J. ACM 25(1): 116-133 (1978)

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)

Oscar H. Ibarra: On Two-Way Sequential Transductions of Full Semi-AFL's. Theor. Comput. Sci. 7: 287-309 (1978)

Eitan M. Gurari, Oscar H. Ibarra: An NP-Complete Number-Theoretic Problem. STOC 1978: 205-215

Oscar H. Ibarra, Chul E. Kim: Heuristic Algorithms for Scheduling Independent Tasks on Nonidentical Processors. J. ACM 24(2): 280-289 (1977)

Teofilo F. Gonzalez, Oscar H. Ibarra, Sartaj Sahni: Bounds for LPT Schedules on Uniform Processors. SIAM J. Comput. 6(1): 155-166 (1977)

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

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)

Oscar H. Ibarra, Sartaj Sahni, Chul E. Kim: Finite Automata with Multiplication. Theor. Comput. Sci. 2(3): 271-294 (1976)

Oscar H. Ibarra, Chul E. Kim: A Useful Device for Showing the Solvability of Some Decision Problems. STOC 1976: 135-140

Oscar H. Ibarra, Chul E. Kim: Fast Approximation Algorithms for the Knapsack and Sum of Subset Problems. J. ACM 22(4): 463-468 (1975)

Oscar H. Ibarra, Sartaj Sahni: Hierarchies of Turing Machines with Restricted Tape Alphabet Size. J. Comput. Syst. Sci. 11(1): 56-67 (1975)

Oscar H. Ibarra, Sartaj Sahni: Polynomially Complete Fault Detection Problems. IEEE Trans. Computers 24(3): 242-249 (1975)

Oscar H. Ibarra, Chul E. Kim: On 3-Head Versus 2-Head Finite Automata. Acta Inf. 4: 193-200 (1974)

Oscar H. Ibarra: A Note on Semilinear Sets and Bounded-Reversal Multihead Pushdown Automata. Inf. Process. Lett. 3(1): 25-28 (1974)

Oscar H. Ibarra: A Hierarchy Theorem for Polynomial-Space Recognition. SIAM J. Comput. 3(3): 184-187 (1974)

Oscar H. Ibarra: Controlled pushdown automata. Inf. Sci. 6: 327-342 (1973)

Oscar H. Ibarra: On Two-way Multihead Automata. J. Comput. Syst. Sci. 7(1): 28-36 (1973)

Oscar H. Ibarra: A Note Concerning Nondeterministic Tape Complexities. J. ACM 19(4): 608-612 (1972)

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)

Oscar H. Ibarra: Characterizations of Transductions Defined by Abstract Families of Transducers. Mathematical Systems Theory 5(3): 271-281 (1971)

Oscar H. Ibarra: Simple Matrix Languages. Information and Control 17(4): 359-394 (1970)

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)

Michael A. Harrison, Oscar H. Ibarra: Multi-Tape and Multi-Head Pushdown Automata. Information and Control 13(5): 433-470 (1968)

Jim Gray, Michael A. Harrison, Oscar H. Ibarra: Two-Way Pushdown Automata. Information and Control 11(1/2): 30-70 (1967)