The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Oscar H. Ibarra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  253. On Stateless Multicounter Machines. [Citation Graph (, )][DBLP]


  254. Hierarchies and Characterizations of Stateless Multicounter Machines. [Citation Graph (, )][DBLP]


  255. Computing with Cells: Membrane Systems. [Citation Graph (, )][DBLP]


  256. On Stateless Multihead Finite Automata and Multihead Pushdown Automata. [Citation Graph (, )][DBLP]


  257. On Decision Problems for Simple and Parameterized Machines. [Citation Graph (, )][DBLP]


  258. Asynchronous Spiking Neural P Systems: Decidability and Undecidability. [Citation Graph (, )][DBLP]


  259. Sequentiality Induced by Spike Number in SNP Systems. [Citation Graph (, )][DBLP]


  260. Computing with Cells: Membrane Systems. [Citation Graph (, )][DBLP]


  261. On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. [Citation Graph (, )][DBLP]


  262. A Look Back at Some Early Results in Membrane Computing. [Citation Graph (, )][DBLP]


  263. Symbolic String Verification: An Automata-Based Approach. [Citation Graph (, )][DBLP]


  264. Symbolic String Verification: Combining String Analysis and Size Analysis. [Citation Graph (, )][DBLP]


  265. On Languages Accepted by P/T Systems Composed of joins [Citation Graph (, )][DBLP]


Search in 2.295secs, Finished in 2.303secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002