| 2025 | DLT | Relativized Codes, Finite Decodability, and Bounded Languages. | Oscar H. Ibarra, Ian McQuillan |
| 2024 | DLT | Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors. | Oscar H. Ibarra, Ian McQuillan |
| 2023 | ATVA | On the Containment Problem for Deterministic Multicounter Machine Models. | Oscar H. Ibarra, Ian McQuillan |
| 2023 | FOSSACS | Unboundedness Problems for Machines with Reversal-Bounded Counters. | Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schtze, Georg Zetzsche |
| 2022 | DLT | On the Complexity of Decision Problems for Counter Machines with Applications to Coding Theory. | Oscar H. Ibarra, Ian McQuillan |
| 2020 | DLT | Space Complexity of Stack Automata Models. | Oscar H. Ibarra, Jozef Jirsek Jr., Ian McQuillan, Luca Prigioniero |
| 2018 | DLT | Generalizations of Checking Stack Automata: Characterizations and Hierarchies. | Oscar H. Ibarra, Ian McQuillan |
| 2018 | DLT | On Counting Functions of Languages. | Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar |
| 2017 | DLT | Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties. | Oscar H. Ibarra, Ian McQuillan |
| 2017 | LATA | On Finite-Index Indexed Grammars and Their Restrictions. | Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan |
| 2016 | DLT | On Families of Full Trios Containing Counter Machine Languages. | Oscar H. Ibarra, Ian McQuillan |
| 2015 | COCOON | Quantifying Communication in Synchronized Languages. | Zhe Dang, Thomas R. Fischer, William J. Hutton III, Oscar H. Ibarra, Qin Li |
| 2015 | DLT | On the Density of Context-Free and Counter Languages. | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
| 2015 | LATA | Insertion Operations on Deterministic Reversal-Bounded Counter Machines. | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
| 2015 | TAMC | Deletion Operations on Deterministic Families of Automata. | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
| 2014 | CiE | Lossiness of Communication Channels Modeled by Transducers. | Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer |
| 2014 | DNA | On Decidability and Closure Properties of Language Classes with Respect to Bio-operations. | Oscar H. Ibarra |
| 2014 | LATA | On the Parikh Membership Problem for FAs, PDAs, and CMs. | Oscar H. Ibarra, Bala Ravikumar |
| 2014 | MFCS | Information Rate of Some Classes of Non-regular Languages: An Automata-Theoretic Approach - (Extended Abstract). | Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra |
| 2013 | DLT | Some Decision Questions Concerning the Time Complexity of Language Acceptors. | Oscar H. Ibarra, Bala Ravikumar |
| 2013 | LATA | Execution Information Rate for Some Classes of Automata. | Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra |
| 2013 | LATA | On Bounded Languages and Reversal-Bounded Automata. | Oscar H. Ibarra, Bala Ravikumar |
| 2013 | TAMC | On the Boundedness Property of Semilinear Sets. | Oscar H. Ibarra, Shinnosuke Seki |
| 2012 | LATA | Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines. | Oscar H. Ibarra, Nicholas Q. Trn |
| 2012 | SOFSEM | Multitape NFA: Weak Synchronization of the Input Heads. | mer Egecioglu, Oscar H. Ibarra, Nicholas Q. Trn |
| 2011 | DLT | On Two-Way Transducers. | Oscar H. Ibarra, Hsu-Chun Yen |
| 2011 | SOFSEM | One-Reversal Counter Machines and Multihead Automata: Revisited. | Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki |
| 2010 | COCOON | Computing with Cells: Membrane Systems. | Oscar H. Ibarra |
| 2010 | DLT | On Decision Problems for Simple and Parameterized Machines. | Oscar H. Ibarra |
| 2009 | CiE | On Stateless Multicounter Machines. | mer Egecioglu, Oscar H. Ibarra |
| 2009 | COCOON | Hierarchies and Characterizations of Stateless Multicounter Machines. | Oscar H. Ibarra, mer Egecioglu |
| 2009 | DLT | On Stateless Multihead Finite Automata and Multihead Pushdown Automata. | Pierluigi Frisco, Oscar H. Ibarra |
| 2009 | TACAS | Symbolic String Verification: Combining String Analysis and Size Analysis. | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
| 2008 | DNA | Sequentiality Induced by Spike Number in SNP Systems. | Oscar H. Ibarra, Andrei Paun, Alfonso Rodrguez-Patn |
| 2008 | LATIN | On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. | Oscar H. Ibarra, Juhani Karhumki, Alexander Okhotin |
| 2007 | DNA | Asynchronous Spiking Neural P Systems: Decidability and Undecidability. | Matteo Cavaliere, mer Egecioglu, Oscar H. Ibarra, Mihai Ionescu, Gheorghe Paun, Sara Woodworth |
| 2007 | FCT | Spiking Neural P Systems: Some Characterizations. | Oscar H. Ibarra, Sara Woodworth |
| 2007 | UC | Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
| 2006 | UC | On Spiking Neural P Systems and Partially Blind Counter Machines. | Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun |
| 2005 | COCOON | On Sequential and 1-Deterministic P Systems. | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
| 2005 | DNA | Counting Time in Computing with Cells. | Oscar H. Ibarra, Andrei Paun |
| 2005 | DNA | On Bounded Symport/Antiport P Systems. | Oscar H. Ibarra, Sara Woodworth |
| 2005 | ICALP | Signaling P Systems and Verification Problems. | Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen |
| 2005 | ICSOC | SPiDeR: P2P-Based Web Service Discovery. | Ozgur D. Sahin, Cagdas Evren Gerede, Divyakant Agrawal, Amr El Abbadi, Oscar H. Ibarra, Jianwen Su |
| 2005 | MFCS | Some Computational Issues in Membrane Computing. | Oscar H. Ibarra |
| 2005 | SYNASC | On Symport/Antiport P Systems with One or Two Symbols. | Oscar H. Ibarra, Sara Woodworth |
| 2005 | UC | On Model-Checking of P Systems. | Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie |
| 2004 | DLT | The Power of Maximal Parallelism in P Systems. | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang |
| 2004 | DNA | On the Computational Complexity of P Automata. | Erzsbet Csuhaj-Varj, Oscar H. Ibarra, Gyrgy Vaszil |
| 2004 | ICALT | Modeling Affective Responses in Intelligent Tutoring Systems. | Yasmn Prez, Rafael Gamboa, Oscar H. Ibarra |
| 2004 | ISAAC | Composability of Infinite-State Activity Automata. | Zhe Dang, Oscar H. Ibarra, Jianwen Su |
| 2004 | ICSOC | Automated composition of e-services: lookaheads. | Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su |
| 2003 | CAV | Dense Counter Machines and Verification Problems. | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro |
| 2003 | ICALP | A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra |
| 2003 | MFCS | Characterizations of Catalytic Membrane Computing Systems. | Oscar H. Ibarra, Zhe Dang, mer Egecioglu, Gaurav Saxena |
| 2002 | CIKM | Trajectory queries and octagons in moving object databases. | Hongjun Zhu, Jianwen Su, Oscar H. Ibarra |
| 2002 | DLT | Safety Verification for Two-Way Finite Automata with Monotonic Counters. | Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun |
| 2002 | ISAAC | On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter. | Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun |
| 2002 | PODS | On Moving Object Queries. | Hoda M. O. Mokhtar, Jianwen Su, Oscar H. Ibarra |
| 2001 | COCOON | Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. | Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer |
| 2001 | ICALP | Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. | Tero Harju, Oscar H. Ibarra, Juhani Karhumki, Arto Salomaa |
| 2001 | ISAAC | On Removing the Pushdown Stack in Reachability Constructions. | Oscar H. Ibarra, Zhe Dang |
| 2000 | CAV | Binary Reachability Analysis of Discrete Pushdown Timed Automata. | Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su |
| 2000 | CONCUR | Reachability Analysis for Some Models of Infinite-State Transition Systems. | Oscar H. Ibarra, Tevfik Bultan, Jianwen Su |
| 2000 | MFCS | Conter Machines: Decidable Properties and Applications to Verification Problems. | Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer |
| 2000 | SSDBM | Toward Spatial Joins for Polygons. | Hongjun Zhu, Jianwen Su, Oscar H. Ibarra |
| 1999 | ICDE | An Index Structure for Spatial Joins in Linear Constraint Databases. | Hongjun Zhu, Jianwen Su, Oscar H. Ibarra |
| 1998 | HPDC | Adaptive Load Sharing for Clustered Digital Library Servers. | Huican Zhu, Tao Yang, Qi Zheng, David Watson, Oscar H. Ibarra, Terence R. Smith |
| 1997 | COCOON | A Compact Storage Scheme for Fast Wavelet-Based Subregion Retrieval. | Athanassios S. Poulakidas, Ashok Srinivasan, mer Egecioglu, Oscar H. Ibarra, Tao Yang |
| 1997 | PODS | On the Containment and Equivalence of Database Queries with Linear Constraints. | Oscar H. Ibarra, Jianwen Su |
| 1996 | COCOON | On the Complexity of Commutativity Analysis. | Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard |
| 1996 | DCC | Experimental Studies on a Compact Storage Scheme for Wavelet-Based Multiresolution Subregion Retrieval. | Athanassios S. Poulakidas, Ashok Srinivasan, mer Egecioglu, Oscar H. Ibarra, Tao Yang |
| 1994 | ISAAC | On the Parallel Complexity of Solving Recurrence Equations. | Oscar H. Ibarra, Nicholas Q. Trn |
| 1993 | ICALP | New Decidability Results Concerning Two-way Counter Machines and Applications. | Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trn, Hui Wang |
| 1993 | ICPP | Finding Articulation Points and Bridges of Permutation Graphs. | Oscar H. Ibarra, Qi Zheng |
| 1993 | MFCS | On the Communication Complexity of Parallel Computation. | Oscar H. Ibarra, Nicholas Q. Trn |
| 1993 | STACS | On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages. | Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trn, Hui Wang |
| 1992 | ICALP | New Results Concerning Synchronized Finite Automata. | Oscar H. Ibarra, Nicholas Q. Trn |
| 1991 | FCT | On Space-bounded Synchronized Alternating Turing Machines. | Oscar H. Ibarra, Nicholas Q. Trn |
| 1991 | ICPP | Triangulation Voronoi Diagram and Convex Hull in k-Space on Mesh-Connected Arrays and Hypercubes. | J. Andrew Holey, Oscar H. Ibarra |
| 1991 | MFCS | Some Results Concerning 2-D On-line Tessellation Acceptors and 2-D Alternating Finite Automata. | Oscar H. Ibarra, Tao Jiang, Hui Wang |
| 1990 | ICPP | Iterative Algorithms for Planar Convex Hull on Mesh-Connected Arrays. | J. Andrew Holey, Oscar H. Ibarra |
| 1990 | ICPP | String Editing on a One-Way Linear Array of Finite-State Machines. | Oscar H. Ibarra, Tao Jiang, Hui Wang |
| 1989 | ICPP | On Mapping Systolic Algorithms onto the Hypercube. | Oscar H. Ibarra, Stephen M. Sohn |
| 1989 | WADS | An Efficient All-Parses Systolic Algorithm for General Context-Free Parsing. | Oscar H. Ibarra, Michael A. Palis |
| 1988 | COLT | Learning Regular Languages From Counterexamples. | Oscar H. Ibarra, Tao Jiang |
| 1988 | ICALP | Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATM's and Space-Bounded TM's. | Jik H. Chang, Oscar H. Ibarra, Michael A. Palis |
| 1987 | ICALP | On the Computing Power of One-Way Cellular Arrays. | Oscar H. Ibarra, Tao Jiang |
| 1987 | ICPP | Two-Dimensional Convolution on a Pyramid Computer. | Jik H. Chang, Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn |
| 1986 | FOCS | On the Power of One-Way Communication | Jik H. Chang, Oscar H. Ibarra, Anastasios Vergis |
| 1986 | ICPP | Systolic Tree Implementation of Data Structures. | Jik H. Chang, Moon-Jung Chung, Oscar H. Ibarra, Kotesh K. Rao |
| 1986 | ICPP | Parallel Parsing on a One-Way Array of Finite-State Machines. | Jik H. Chang, Oscar H. Ibarra, Michael A. Palis |
| 1986 | MFCS | Systolic Arrays: Characterizations and Complexity. | Oscar H. Ibarra |
| 1986 | STACS | On Sparseness, Ambiguity and other Decision Problems for Acceptors and Transducers. | Oscar H. Ibarra, Bala Ravikumar |
| 1984 | FOCS | Designing Systolic Algorithms Using Sequential Machines | Oscar H. Ibarra, Michael A. Palis, Sam M. Kim |
| 1984 | ICALP | Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs. | Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier |
| 1984 | MFCS | The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). | Oscar H. Ibarra, Louis E. Rosier |
| 1981 | FOCS | Two-Way Counter Machines and Diophantine Equations | Eitan M. Gurari, Oscar H. Ibarra |
| 1981 | ICALP | The Complexity of Decision Problems for Finite-Turn Multicounter Machines. | Eitan M. Gurari, Oscar H. Ibarra |
| 1981 | ICALP | On the Complexity of Simple Arithmetic Expressions. | Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran |
| 1980 | STOC | The Complexity of the Equivalence Problem for Straight-Line Programs | Oscar H. Ibarra, Brian S. Leininger |
| 1979 | STOC | The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs | Eitan M. Gurari, Oscar H. Ibarra |
| 1978 | STOC | An NP-Complete Number-Theoretic Problem | Eitan M. Gurari, Oscar H. Ibarra |
| 1977 | FOCS | The Unsolvability of the Equivalence Problem for epsilon-free NGSM's with Unary Input (Output) Alphabet and Applications | Oscar H. Ibarra |
| 1976 | STOC | A Useful Device for Showing the Solvability of Some Decision Problems | Oscar H. Ibarra, Chul E. Kim |