Oscar H. Ibarra

437 papers A* 24A 8B 35C 45Misc 9Journal 256Unranked 57
YearRankTypeTitle / Venue / Authors
2026 J jnl
Store languages of Turing machines and counter machines.
Theor. Comput. Sci.
Noah Friesen, Oscar H. Ibarra, Jozef Jirásek, Ian McQuillan
2025 J jnl
Language Acceptors with a Pushdown: Characterizations and Complexity.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2025 J jnl
On decidability of problems involving insertion operations.
Nat. Comput.
Oscar H. Ibarra, Ian McQuillan
2025 J jnl
On decision problems concerning contextual insertions and deletions.
Theor. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2025 J jnl
On the containment problem for deterministic multicounter machine models.
Inf. Comput.
Oscar H. Ibarra, Ian McQuillan
2025 C conf
Relativized Codes, Finite Decodability, and Bounded Languages.
DLT
Oscar H. Ibarra, Ian McQuillan
2025 J jnl
Store Languages of Turing Machines and Counter Machines.
CoRR
Noah Friesen, Oscar H. Ibarra, Jozef Jirásek, Ian McQuillan
2024 J jnl
Restrictions on Multicounter and Partially-Blind Multicounter Languages.
Comput. Sci. J. Moldova
Oscar H. Ibarra, Ian McQuillan
2024 C conf
Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors.
DLT
Oscar H. Ibarra, Ian McQuillan
2024 J jnl
Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors.
CoRR
Oscar H. Ibarra, Ian McQuillan
2023 J jnl
New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines.
Inf. Comput.
Oscar H. Ibarra, Ian McQuillan
2023 — conf
On the Containment Problem for Deterministic Multicounter Machine Models.
ATVA (1)
Oscar H. Ibarra, Ian McQuillan
2023 J jnl
On the complexity of decision problems for some classes of machines and applications.
Inf. Comput.
Oscar H. Ibarra, Ian McQuillan
2023 B conf
Unboundedness Problems for Machines with Reversal-Bounded Counters.
FoSSaCS
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
2023 J jnl
Unboundedness problems for machines with reversal-bounded counters.
CoRR
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
2022 J jnl
Generalizations of Checking Stack Automata: Characterizations and Hierarchies.
CoRR
Oscar H. Ibarra, Ian McQuillan
2022 J jnl
On Families of Full Trios Containing Counter Machine Languages.
CoRR
Oscar H. Ibarra, Ian McQuillan
2022 C conf
On the Complexity of Decision Problems for Counter Machines with Applications to Coding Theory.
DLT
Oscar H. Ibarra, Ian McQuillan
2022 J jnl
Relationships Between Bounded Languages, Counter Machines, Finite-Index Grammars, Ambiguity, and Commutative Regularity.
CoRR
Arturo Carpi, Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan
2022 J jnl
Semilinearity of Families of Languages.
CoRR
Oscar H. Ibarra, Ian McQuillan
2022 J jnl
Space Complexity of Stack Automata Models.
CoRR
Oscar H. Ibarra, Jozef Jirásek, Ian McQuillan, Luca Prigioniero
2022 J jnl
State Grammars with Stores.
CoRR
Oscar H. Ibarra, Ian McQuillan
2021 J jnl
Announcement.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Sartaj K. Sahni
2021 J jnl
Generalizations of Checking Stack Automata: Characterizations and Hierarchies.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2021 J jnl
On finite-index indexed grammars and their restrictions.
Inf. Comput.
Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan
2021 J jnl
Relationships between bounded languages, counter machines, finite-index grammars, ambiguity, and commutative regularity.
Theor. Comput. Sci.
Arturo Carpi, Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan
2021 J jnl
Space Complexity of Stack Automata Models.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Jozef Jirásek, Ian McQuillan, Luca Prigioniero
2020 J jnl
On Store Languages and Applications.
CoRR
Oscar H. Ibarra, Ian McQuillan
2020 J jnl
Semilinearity of Families of Languages.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2020 C conf
Space Complexity of Stack Automata Models.
DLT
Oscar H. Ibarra, Jozef Jirásek Jr., Ian McQuillan, Luca Prigioniero
2019 J jnl
Insertion Operations on Deterministic Reversal-Bounded Counter Machines.
CoRR
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2019 J jnl
Insertion operations on deterministic reversal-bounded counter machines.
J. Comput. Syst. Sci.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2019 J jnl
On counting functions and slenderness of languages.
CoRR
Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar
2019 J jnl
On counting functions and slenderness of languages.
Theor. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar
2019 J jnl
On families of full trios containing counter machine languages.
Theor. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2019 J jnl
On store languages and applications.
Inf. Comput.
Oscar H. Ibarra, Ian McQuillan
2019 J jnl
On the Density of Context-Free and Counter Languages.
CoRR
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2019 J jnl
On the Density of Languages Accepted by Turing Machines and Other Machine Models.
CoRR
Oscar H. Ibarra, Ian McQuillan
2019 J jnl
State grammars with stores.
Theor. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2018 J jnl
Accepting runs in a two-way finite automaton.
Inf. Comput.
Oscar H. Ibarra, Zhe Dang, Qin Li
2018 C conf
Generalizations of Checking Stack Automata: Characterizations and Hierarchies.
DLT
Oscar H. Ibarra, Ian McQuillan
2018 J jnl
Grammatical characterizations of NPDAs and VPDAs with counters.
Theor. Comput. Sci.
Oscar H. Ibarra
2018 — ch.
Input-Position-Restricted Models of Language Acceptors.
Reversibility and Universality
Oscar H. Ibarra, Ian McQuillan
2018 — conf
Introduction to APDCM 2018.
IPDPS Workshops
Oscar H. Ibarra, Koji Nakano, Akihiro Fujiwara, Susumu Matsumae
2018 C conf
On Counting Functions of Languages.
DLT
Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar
2018 J jnl
On store languages of language acceptors.
Theor. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2018 J jnl
On the Density of Context-Free and Counter Languages.
Int. J. Found. Comput. Sci.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2018 J jnl
On the Density of Languages Accepted by Turing Machines and Other Machine Models.
J. Autom. Lang. Comb.
Oscar H. Ibarra, Ian McQuillan
2018 J jnl
On the complexity and decidability of some problems involving shuffle.
Inf. Comput.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2018 C conf
Semilinearity of Families of Languages.
CIAA
Oscar H. Ibarra, Ian McQuillan
2018 — conf
State Grammars with Stores.
DCFS
Oscar H. Ibarra, Ian McQuillan
2018 J jnl
Variations of checking stack automata: Obtaining unexpected decidability properties.
Theor. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2017 J jnl
Deletion operations on deterministic families of automata.
Inf. Comput.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2017 J jnl
Further remarks on DNA overlap assembly.
Inf. Comput.
Srujan Kumar Enaganti, Oscar H. Ibarra, Lila Kari, Steffen Kopecki
2017 J jnl
Information rate of some classes of non-regular languages: An automata-theoretic approach.
Inf. Comput.
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2017 — conf
Introduction to APDCM Workshop.
IPDPS Workshops
Oscar H. Ibarra, Koji Nakano
2017 J jnl
Lossiness of communication channels modeled by transducers.
Comput.
Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer
2017 C conf
On Finite-Index Indexed Grammars and Their Restrictions.
LATA
Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan
2017 J jnl
On Store Languages of Language Acceptors.
CoRR
Oscar H. Ibarra, Ian McQuillan
2017 J jnl
On the overlap assembly of strings and languages.
Nat. Comput.
Srujan Kumar Enaganti, Oscar H. Ibarra, Lila Kari, Steffen Kopecki
2017 C conf
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties.
DLT
Oscar H. Ibarra, Ian McQuillan
2017 J jnl
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties.
CoRR
Oscar H. Ibarra, Ian McQuillan
2016 — conf
APDCM Introduction and Committees.
IPDPS Workshops
Oscar H. Ibarra, Koji Nakano, Akihiro Fujiwara, Susumu Matsumae
2016 J jnl
Announcement.
Int. J. Found. Comput. Sci.
Francis Y. L. Chin, Oscar H. Ibarra, Sartaj K. Sahni
2016 J jnl
Deletion Operations on Deterministic Families of Automata.
CoRR
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2016 J jnl
Execution information rate for some classes of automata.
Inf. Comput.
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2016 C conf
On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L.
CIAA
Oscar H. Ibarra, Ian McQuillan
2016 C conf
On Families of Full Trios Containing Counter Machine Languages.
DLT
Oscar H. Ibarra, Ian McQuillan
2016 J jnl
On Finite-Index Indexed Grammars and Their Restrictions.
CoRR
Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan
2016 J jnl
On bounded languages and reversal-bounded automata.
Inf. Comput.
Oscar H. Ibarra, Bala Ravikumar
2016 J jnl
On decidability and closure properties of language classes with respect to bio-operations.
Nat. Comput.
Oscar H. Ibarra
2016 J jnl
On the Complexity and Decidability of Some Problems Involving Shuffle.
CoRR
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2016 J jnl
Preface.
Nat. Comput.
Oscar H. Ibarra, Lila Kari, Steffen Kopecki
2016 J jnl
Quantifying communication in synchronized languages.
Theor. Comput. Sci.
Zhe Dang, Thomas R. Fischer, William J. Hutton III, Oscar H. Ibarra, Qin Li
2016 J jnl
The effect of end-markers on counter machines and commutativity.
Theor. Comput. Sci.
Oscar H. Ibarra, Ian McQuillan
2016 J jnl
Visibly Pushdown Automata and Transducers with Counters.
Fundam. Informaticae
Oscar H. Ibarra
2015 — conf
APDCM Introduction and Committees.
IPDPS Workshops
Oscar H. Ibarra, Koji Nakano, Akihiro Fujiwara, Susumu Matsumae
2015 J jnl
Alberto Apostolico.
Int. J. Found. Comput. Sci.
Arto Salomaa, Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni
2015 C conf
Deletion Operations on Deterministic Families of Automata.
TAMC
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2015 C conf
Insertion Operations on Deterministic Reversal-Bounded Counter Machines.
LATA
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2015 J jnl
On the Ambiguity and Finite-Valuedness Problems in Acceptors and Transducers.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra
2015 — conf
On the Complexity and Decidability of Some Problems Involving Shuffle.
DCFS
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2015 C conf
On the Density of Context-Free and Counter Languages.
DLT
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan
2015 Misc conf
Quantifying Communication in Synchronized Languages.
COCOON
Zhe Dang, Thomas R. Fischer, William J. Hutton III, Oscar H. Ibarra, Qin Li
2015 J jnl
Semilinear Sets and Counter Machines: a Brief Survey.
Fundam. Informaticae
Oscar H. Ibarra, Shinnosuke Seki
2014 — conf
APDCM Introduction and Committees.
IPDPS Workshops
Oscar H. Ibarra
2014 — conf
Automata with Reversal-Bounded Counters: A Survey.
DCFS
Oscar H. Ibarra
2014 J jnl
Automata-based symbolic string analysis for vulnerability detection.
Formal Methods Syst. Des.
Fang Yu, Muath Alkhalaf, Tevfik Bultan, Oscar H. Ibarra
2014 — conf
Information Rate of Some Classes of Non-regular Languages: An Automata-Theoretic Approach - (Extended Abstract).
MFCS (1)
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2014 C conf
Lossiness of Communication Channels Modeled by Transducers.
CiE
Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer
2014 B conf
On Decidability and Closure Properties of Language Classes with Respect to Bio-operations.
DNA
Oscar H. Ibarra
2014 C conf
On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers.
CIAA
Oscar H. Ibarra
2014 C conf
On the Parikh Membership Problem for FAs, PDAs, and CMs.
LATA
Oscar H. Ibarra, Bala Ravikumar
2014 J jnl
Some Decision Questions Concerning the Time Complexity of Language Acceptors.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Bala Ravikumar
2014 — ed.
Unconventional Computation and Natural Computation - 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
UCNC
Oscar H. Ibarra, Lila Kari, Steffen Kopecki
2014 J jnl
Weak Synchronization and Synchronizability of Multi-tape Pushdown Automata and Turing Machines.
J. Autom. Lang. Comb.
Oscar H. Ibarra, Nicholas Q. Trân
2013 — conf
APDCM Introduction.
IPDPS Workshops
Oscar H. Ibarra
2013 C conf
Execution Information Rate for Some Classes of Automata.
LATA
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2013 J jnl
How to synchronize the Heads of a Multitape Automaton.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Nicholas Q. Trân
2013 C conf
On Bounded Languages and Reversal-Bounded Automata.
LATA
Oscar H. Ibarra, Bala Ravikumar
2013 C conf
On the Boundedness Property of Semilinear Sets.
TAMC
Oscar H. Ibarra, Shinnosuke Seki
2013 J jnl
On the open problem of Ginsburg concerning semilinear sets and related problems.
Theor. Comput. Sci.
Oscar H. Ibarra, Shinnosuke Seki
2013 J jnl
Preface.
Int. J. Found. Comput. Sci.
Hsu-Chun Yen, Oscar H. Ibarra
2013 J jnl
Similarity in languages and programs.
Theor. Comput. Sci.
Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2013 C conf
Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages.
CIAA
Oscar H. Ibarra, Bala Ravikumar
2013 C conf
Some Decision Questions Concerning the Time Complexity of Language Acceptors.
Developments in Language Theory
Oscar H. Ibarra, Bala Ravikumar
2012 J jnl
A Survey of Results on Stateless Multicounter Automata.
Fundam. Informaticae
Oscar H. Ibarra, Ömer Egecioglu
2012 — conf
APDCM Introduction.
IPDPS Workshops
Oscar H. Ibarra
2012 J jnl
Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Shinnosuke Seki
2012 C ed.
Developments in Language Theory - 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
Developments in Language Theory
Hsu-Chun Yen, Oscar H. Ibarra
2012 C conf
How to Synchronize the Heads of a Multitape Automaton.
CIAA
Oscar H. Ibarra, Nicholas Q. Trân
2012 B conf
Multitape NFA: Weak Synchronization of the Input Heads.
SOFSEM
Ömer Egecioglu, Oscar H. Ibarra, Nicholas Q. Trân
2012 J jnl
On synchronized multi-tape and multi-head automata.
Theor. Comput. Sci.
Oscar H. Ibarra, Nicholas Q. Trân
2012 J jnl
On the containment and equivalence problems for two-way transducers.
Theor. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen
2012 J jnl
One-reversal counter machines and multihead automata: Revisited.
Theor. Comput. Sci.
Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki
2012 J jnl
Sheng Yu.
Int. J. Found. Comput. Sci.
Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni, Arto Salomaa
2012 C conf
Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines.
LATA
Oscar H. Ibarra, Nicholas Q. Trân
2011 — conf
APDCM Introduction.
IPDPS Workshops
Oscar H. Ibarra
2011 — conf
Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines.
AFL
Oscar H. Ibarra, Shinnosuke Seki
2011 J jnl
On Strong Reversibility in P Systems and Related Problems.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra
2011 — conf
On Synchronized Multitape and Multihead Automata.
DCFS
Oscar H. Ibarra, Nicholas Q. Trân
2011 C conf
On Two-Way Transducers.
Developments in Language Theory
Oscar H. Ibarra, Hsu-Chun Yen
2011 C conf
On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs.
CIAA
Oscar H. Ibarra
2011 B conf
One-Reversal Counter Machines and Multihead Automata: Revisited.
SOFSEM
Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki
2011 J jnl
Relational String Verification Using Multi-Track Automata.
Int. J. Found. Comput. Sci.
Fang Yu, Tevfik Bultan, Oscar H. Ibarra
2010 — conf
Advances in parallel and distributed computing models - APDCM.
IPDPS Workshops
Oscar H. Ibarra
2010 J jnl
Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing.
Nat. Comput.
Linmin Yang, Zhe Dang, Oscar H. Ibarra
2010 Misc conf
Computing with Cells: Membrane Systems.
COCOON
Oscar H. Ibarra
2010 C conf
On Decision Problems for Simple and Parameterized Machines.
Developments in Language Theory
Oscar H. Ibarra
2010 J jnl
On decision problems for parameterized machines.
Theor. Comput. Sci.
Oscar H. Ibarra, Igor Potapov, Hsu-Chun Yen
2010 J jnl
On sets of numbers accepted by P/T systems composed by join.
Theor. Comput. Sci.
Pierluigi Frisco, Oscar H. Ibarra
2010 J jnl
On spiking neural P systems.
Nat. Comput.
Oscar H. Ibarra, Mario J. Pérez-Jiménez, Takashi Yokomori
2010 J jnl
On stateless multihead automata: Hierarchies and the emptiness problem.
Theor. Comput. Sci.
Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin
2010 J jnl
On the universe, disjointness, and containment problems for simple machines.
Inf. Comput.
Oscar H. Ibarra
2010 J jnl
Preface.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen
2010 C conf
Relational String Verification Using Multi-track Automata.
CIAA
Fang Yu, Tevfik Bultan, Oscar H. Ibarra
2009 — conf
A Look Back at Some Early Results in Membrane Computing.
Workshop on Membrane Computing
Oscar H. Ibarra
2009 B ed.
Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
ISAAC
Yingfei Dong, Ding-Zhu Du, Oscar H. Ibarra
2009 J jnl
Asynchronous spiking neural P systems.
Theor. Comput. Sci.
Matteo Cavaliere, Oscar H. Ibarra, Gheorghe Paun, Ömer Egecioglu, Mihai Ionescu, Sara Woodworth
2009 Misc conf
Hierarchies and Characterizations of Stateless Multicounter Machines.
COCOON
Oscar H. Ibarra, Ömer Egecioglu
2009 — conf
On Languages Accepted by P/T Systems Composed of joins
DCFS
Pierluigi Frisco, Oscar H. Ibarra
2009 — conf
On Nonuniversal Symport/Antiport P Systems.
Algorithmic Bioprocesses
Oscar H. Ibarra, Sara Woodworth
2009 C conf
On Stateless Multicounter Machines.
CiE
Ömer Egecioglu, Oscar H. Ibarra
2009 C conf
On Stateless Multihead Finite Automata and Multihead Pushdown Automata.
Developments in Language Theory
Pierluigi Frisco, Oscar H. Ibarra
2009 J jnl
Preface.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Bala Ravikumar
2009 J jnl
Sequential SNP systems based on min/max spike number.
Theor. Comput. Sci.
Oscar H. Ibarra, Andrei Paun, Alfonso Rodríguez-Patón
2009 A conf
Symbolic String Verification: Combining String Analysis and Size Analysis.
TACAS
Fang Yu, Tevfik Bultan, Oscar H. Ibarra
2008 J jnl
Characterizations of some classes of spiking neural P systems.
Nat. Comput.
Oscar H. Ibarra, Sara Woodworth
2008 — conf
Computing with Cells: Membrane Systems.
ISPAN
Oscar H. Ibarra
2008 J jnl
Computing with cells: membrane systems - some complexity issues.
Int. J. Parallel Emergent Distributed Syst.
Oscar H. Ibarra, Andrei Paun
2008 J jnl
Discrete Nondeterministic Modeling of the Fas Pathway.
Int. J. Found. Comput. Sci.
John Jack, Alfonso Rodríguez-Patón, Oscar H. Ibarra, Andrei Paun
2008 C ed.
Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
CIAA
Oscar H. Ibarra, Bala Ravikumar
2008 J jnl
Minimum-cost delegation in service composition.
Theor. Comput. Sci.
Cagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su
2008 J jnl
On Counter Machines, Reachability Problems, and Diophantine Equations.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Zhe Dang, Linmin Yang
2008 J jnl
On Stateless Automata and P Systems.
Int. J. Found. Comput. Sci.
Linmin Yang, Zhe Dang, Oscar H. Ibarra
2008 B conf
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem.
LATIN
Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin
2008 J jnl
On spiking neural P systems and partially blind counter machines.
Nat. Comput.
Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun
2008 B conf
Sequentiality Induced by Spike Number in SNP Systems.
DNA
Oscar H. Ibarra, Andrei Paun, Alfonso Rodríguez-Patón
2008 — conf
Symbolic String Verification: An Automata-Based Approach.
SPIN
Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra
2007 — conf
A q-Analogue of the Parikh Matrix Mapping.
Formal Models, Languages and Applications
Ömer Egecioglu, Oscar H. Ibarra
2007 B conf
Asynchronous Spiking Neural P Systems: Decidability and Undecidability.
DNA
Matteo Cavaliere, Ömer Egecioglu, Oscar H. Ibarra, Mihai Ionescu, Gheorghe Paun, Sara Woodworth
2007 C conf
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing.
UC
Linmin Yang, Zhe Dang, Oscar H. Ibarra
2007 J jnl
Characterizing Regular Languages by Spiking Neural P Systems.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Sara Woodworth
2007 J jnl
Developments in language theory.
Theor. Comput. Sci.
Oscar H. Ibarra
2007 — ch.
Membrane Systems.
Handbook of Parallel Computing
Andrei Paun, Oscar H. Ibarra
2007 J jnl
Normal forms for spiking neural P systems.
Theor. Comput. Sci.
Oscar H. Ibarra, Andrei Paun, Gheorghe Paun, Alfonso Rodríguez-Patón, Petr Sosík, Sara Woodworth
2007 J jnl
Preface.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen
2007 B conf
Spiking Neural P Systems: Some Characterizations.
FCT
Oscar H. Ibarra, Sara Woodworth
2006 — conf
Characterizations of Some Restricted Spiking Neural P Systems.
Workshop on Membrane Computing
Oscar H. Ibarra, Sara Woodworth
2006 J jnl
Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems.
Theor. Comput. Sci.
Oscar H. Ibarra, Gheorghe Paun
2006 J jnl
Deterministic catalytic systems are not universal.
Theor. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen
2006 C ed.
Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
Developments in Language Theory
Oscar H. Ibarra, Zhe Dang
2006 C ed.
Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
CIAA
Oscar H. Ibarra, Hsu-Chun Yen
2006 C conf
On Spiking Neural P Systems and Partially Blind Counter Machines.
UC
Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun
2006 J jnl
On partially blind multihead finite automata.
Theor. Comput. Sci.
Oscar H. Ibarra, Bala Ravikumar
2006 J jnl
On symport/antiport P systems with a small number of objects.
Int. J. Comput. Math.
Oscar H. Ibarra, Sara Woodworth
2006 J jnl
On the Computational Complexity of P Automata.
Nat. Comput.
Erzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil
2006 J jnl
On the Computational Power of 1-Deterministic and Sequential P Systems.
Fundam. Informaticae
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2006 J jnl
On the Decidability of Model-Checking for P Systems.
J. Autom. Lang. Comb.
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
2006 J jnl
On the solvability of a class of diophantine equations and applications.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang
2006 J jnl
Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach.
J. Autom. Lang. Comb.
Oscar H. Ibarra, Bala Ravikumar, Cagdas Evren Gerede
2005 B conf
Counting Time in Computing with Cells.
DNA
Oscar H. Ibarra, Andrei Paun
2005 B conf
On Bounded Symport/Antiport P Systems.
DNA
Oscar H. Ibarra, Sara Woodworth
2005 C conf
On Deterministic Catalytic Systems.
CIAA
Oscar H. Ibarra, Hsu-Chun Yen
2005 C conf
On Model-Checking of P Systems.
UC
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
2005 Misc conf
On Sequential and 1-Deterministic P Systems.
COCOON
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2005 — conf
On Symport/Antiport P Systems and Semilinear Sets.
Workshop on Membrane Computing
Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
2005 Misc conf
On Symport/Antiport P Systems with One or Two Symbols.
SYNASC
Oscar H. Ibarra, Sara Woodworth
2005 J jnl
On composition and lookahead delegation of
Theor. Comput. Sci.
Zhe Dang, Oscar H. Ibarra, Jianwen Su
2005 J jnl
On determinism versus nondeterminism in P systems.
Theor. Comput. Sci.
Oscar H. Ibarra
2005 J jnl
On membrane hierarchy in P systems.
Theor. Comput. Sci.
Oscar H. Ibarra
2005 J jnl
On one-membrane P systems operating in sequential mode.
Int. J. Found. Comput. Sci.
Zhe Dang, Oscar H. Ibarra
2005 J jnl
On two-way nondeterministic finite automata with one reversal-bounded counter.
Theor. Comput. Sci.
Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun
2005 J jnl
On various notions of parallelism in P Systems.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang
2005 — conf
Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition.
IEEE SCC
Cagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su
2005 A conf
SPiDeR: P2P-Based Web Service Discovery.
ICSOC
Ozgur D. Sahin, Cagdas Evren Gerede, Divyakant Agrawal, Amr El Abbadi, Oscar H. Ibarra, Jianwen Su
2005 A* conf
Signaling P Systems and Verification Problems.
ICALP
Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen
2005 B conf
Some Computational Issues in Membrane Computing.
MFCS
Oscar H. Ibarra
2005 — conf
Some Recent Results Concerning Deterministic P Systems.
Workshop on Membrane Computing
Oscar H. Ibarra
2004 — conf
A Matrix q-Analogue of the Parikh Map.
IFIP TCS
Ömer Egecioglu, Oscar H. Ibarra
2004 C conf
Automata-Theoretic Techniques for Analyzing Infinite-State Systems.
CIAA
Oscar H. Ibarra
2004 A conf
Automated composition of e-services: lookaheads.
ICSOC
Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su
2004 J jnl
Catalytic P systems, semilinear sets, and vector addition systems.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu
2004 B conf
Composability of Infinite-State Activity Automata.
ISAAC
Zhe Dang, Oscar H. Ibarra, Jianwen Su
2004 J jnl
Computing And Combinatorics Conference -- Cocoon'02.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Louxin Zhang
2004 J jnl
Editorial.
Theor. Comput. Sci.
Oscar H. Ibarra
2004 J jnl
Instance-Specific Solutions For Accelerating The Cky Parsing Of Large Context-Free Grammars.
Int. J. Found. Comput. Sci.
Jacir Luiz Bordim, Oscar H. Ibarra, Yasuaki Ito, Koji Nakano
2004 B conf
Modeling Affective Responses in Intelligent Tutoring Systems.
ICALT
Yasmín Pérez, Rafael Gamboa, Oscar H. Ibarra
2004 — conf
On P Systems Operating in Sequential Mode.
DCFS
Zhe Dang, Oscar H. Ibarra
2004 B conf
On the Computational Complexity of P Automata.
DNA
Erzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil
2004 J jnl
On the computational complexity of membrane systems.
Theor. Comput. Sci.
Oscar H. Ibarra
2004 J jnl
On two-way FA with monotonic counters and quadratic Diophantine equations.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang
2004 — conf
P Systems: Some Recent Results and Research Problems.
UPP
Oscar H. Ibarra
2004 J jnl
Past pushdown timed automata and safety verification.
Theor. Comput. Sci.
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
2004 — conf
Real-Counter Automata and Their Decision Problems.
FSTTCS
Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
2004 C conf
The Power of Maximal Parallelism in P Systems.
Developments in Language Theory
Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang
2003 A* conf
A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems.
ICALP
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra
2003 B conf
Characterizations of Catalytic Membrane Computing Systems.
MFCS
Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu, Gaurav Saxena
2003 J jnl
Closure and decidability properties of some language classes with respect to ciliate bio-operations.
Theor. Comput. Sci.
Mark Daley, Oscar H. Ibarra, Lila Kari
2003 A* conf
Dense Counter Machines and Verification Problems.
CAV
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
2003 J jnl
Eliminating the storage tape in reachability constructions.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang
2003 J jnl
Generalized discrete timed automata: decidable approximations for safety verificatio.
Theor. Comput. Sci.
Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
2003 C ed.
Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings
CIAA
Oscar H. Ibarra, Zhe Dang
2003 J jnl
The LD and DLAD Bio-Operations on Formal Languages.
J. Autom. Lang. Comb.
Mark Daley, Oscar H. Ibarra, Lila Kari, Ian McQuillan, Koji Nakano
2003 — conf
The Number of Membranes Matters.
Workshop on Membrane Computing
Oscar H. Ibarra
2003 J jnl
Verification in loosely synchronous queue-connected discrete timed automata.
Theor. Comput. Sci.
Oscar H. Ibarra, Zhe Dang, Pierluigi San Pietro
2002 J jnl
Augmenting the discrete timed automaton with other data structures.
Theor. Comput. Sci.
Oscar H. Ibarra, Jianwen Su
2002 Misc ed.
Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings
COCOON
Oscar H. Ibarra, Louxin Zhang
2002 J jnl
Counter Machines and Verification Problems.
Theor. Comput. Sci.
Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2002 A* conf
On Moving Object Queries.
PODS
Hoda M. O. Mokhtar, Jianwen Su, Oscar H. Ibarra
2002 B conf
On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter.
ISAAC
Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun
2002 C conf
Safety Verification for Two-Way Finite Automata with Monotonic Counters.
Developments in Language Theory
Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun
2002 J jnl
Some Decision Problems Concerning Semilinearity and Commutation.
J. Comput. Syst. Sci.
Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa
2002 J jnl
The Existence of w-Chains for Transitive Mixed Linear Relations and Its Applications.
Int. J. Found. Comput. Sci.
Zhe Dang, Oscar H. Ibarra
2002 A conf
Trajectory queries and octagons in moving object databases.
CIKM
Hongjun Zhu, Jianwen Su, Oscar H. Ibarra
2002 J jnl
Verification in Queue-Connected Multicounter Machines.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra
2002 A conf
Workshop Introduction.
IPDPS
Oscar H. Ibarra, Stephan Olariu, Koji Nakano, Jie Wu
2001 — conf
Counter machines and the safety and disjointness problems for database queries with linear constraints.
Where Mathematics, Computer Science, Linguistics and Biology Meet
Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis
2001 Misc conf
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata.
COCOON
Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
2001 A* conf
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages.
ICALP
Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa
2001 — conf
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.
FSTTCS
Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
2001 B conf
Moving Objects: Logical Relationships and Queries.
SSTD
Jianwen Su, Haiyan Xu, Oscar H. Ibarra
2001 B conf
On Multi-way Spatial Joins with Direction Predicates.
SSTD
Hongjun Zhu, Jianwen Su, Oscar H. Ibarra
2001 J jnl
On Reachability and Safety in Infinite-State Systems.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
2001 B conf
On Removing the Pushdown Stack in Reachability Constructions.
ISAAC
Oscar H. Ibarra, Zhe Dang
2001 C conf
Past Pushdown Timed Automata.
CIAA
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
2000 J jnl
Adaptive Load Sharing for Clustered Digital Library Servers.
Int. J. Digit. Libr.
Huican Zhu, Tao Yang, Qi Zheng, David Watson, Oscar H. Ibarra, Terence R. Smith
2000 A* conf
Binary Reachability Analysis of Discrete Pushdown Timed Automata.
CAV
Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su
2000 B conf
Conter Machines: Decidable Properties and Applications to Verification Problems.
MFCS
Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer
2000 — conf
Extending Rectangle Join Algorithms for Rectilinear Polygons.
Web-Age Information Management
Hongjun Zhu, Jianwen Su, Oscar H. Ibarra
2000 C conf
Generalizing the Discrete Timed Automaton.
CIAA
Oscar H. Ibarra, Jianwen Su
2000 J jnl
Image compression for fast wavelet-based subregion retrieval.
Theor. Comput. Sci.
Athanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang
2000 B conf
Reachability Analysis for Some Models of Infinite-State Transition Systems.
CONCUR
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
2000 C conf
Reachability and Safety in Queue Systems.
CIAA
Oscar H. Ibarra
2000 B conf
Toward Spatial Joins for Polygons.
SSDBM
Hongjun Zhu, Jianwen Su, Oscar H. Ibarra
2000 — conf
Workshop on Advances in Parallel and Distributed Computational Models.
IPDPS Workshops
Oscar H. Ibarra, Koji Nakano, Stephan Olariu
1999 J jnl
A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries.
J. Comput. Syst. Sci.
Oscar H. Ibarra, Jianwen Su
1999 A* conf
An Index Structure for Spatial Joins in Linear Constraint Databases.
ICDE
Hongjun Zhu, Jianwen Su, Oscar H. Ibarra
1999 — conf
Counter Machines: Decision Problems and Applications.
Jewels are Forever
Oscar H. Ibarra, Jianwen Su
1998 A conf
Adaptive Load Sharing for Clustered Digital Library Servers.
HPDC
Huican Zhu, Tao Yang, Qi Zheng, David Watson, Oscar H. Ibarra, Terence R. Smith
1998 J jnl
Adaptive Partitioning and Scheduling for Enhancing WWW Application Performance.
J. Parallel Distributed Comput.
Daniel Andresen, Tao Yang, Oscar H. Ibarra, Ömer Egecioglu
1998 B ed.
Algorithms and Computation, 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings
ISAAC
Kyung-Yong Chwa, Oscar H. Ibarra
1997 Misc conf
A Compact Storage Scheme for Fast Wavelet-Based Subregion Retrieval.
COCOON
Athanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang
1997 J jnl
On the Complexity of Commutativity Analysis.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard
1997 A* conf
On the Containment and Equivalence of Database Queries with Linear Constraints.
PODS
Oscar H. Ibarra, Jianwen Su
1997 J jnl
On the Parallel Complexity of Loops.
Theor. Comput. Sci.
Oscar H. Ibarra, Nicholas Q. Trân, Tao Yang
1997 J jnl
Parallel Progressive Radiosity with Adaptive Meshing.
J. Parallel Distributed Comput.
Yizhou Yu, Oscar H. Ibarra, Tao Yang
1997 J jnl
Toward a Scalable Distributed {WWW} Server on Workstation Clusters.
J. Parallel Distributed Comput.
Daniel Andresen, Tao Yang, Oscar H. Ibarra
1996 B conf
Experimental Studies on a Compact Storage Scheme for Wavelet-Based Multiresolution Subregion Retrieval.
Data Compression Conference
Athanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang
1996 Misc conf
On the Complexity of Commutativity Analysis.
COCOON
Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard
1996 — conf
Parallel Progressive Radiosity with Adaptive Meshing.
IRREGULAR
Yizhou Yu, Oscar H. Ibarra, Tao Yang
1996 J jnl
Performance Prediction in Symbolic Scheduling of Partitioned Programs with Weight Variation.
J. Parallel Distributed Comput.
Tao Yang, Oscar H. Ibarra
1996 — conf
SWEB: Towards a Scalable World Wide Web Server on Multicomputers.
IPPS
Daniel Andresen, Tao Yang, Vegard Holmedahl, Oscar H. Ibarra
1996 — conf
Scalability Issues for High Performance Digital Libraries on the World Wide Web.
ADL
Daniel Andresen, Tao Yang, Ömer Egecioglu, Oscar H. Ibarra, Terence R. Smith
1995 J jnl
A note on parsing pattern languages.
Pattern Recognit. Lett.
Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn
1995 J jnl
An Optimal Shortest Path Parallel Algorithm for Permutation Graphs.
J. Parallel Distributed Comput.
Oscar H. Ibarra, Qi Zheng
1995 J jnl
New Decidability Results Concerning Two-Way Counter Machines.
SIAM J. Comput.
Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trân, Hui Wang
1995 — conf
On symbolic scheduling and parallel complexity of loops.
SPDP
Tao Yang, Oscar H. Ibarra
1994 — conf
A flow based approach to the pin redistribution problem for multi-chip modules.
Great Lakes Symposium on VLSI
Douglas Chang, Teofilo F. Gonzalez, Oscar H. Ibarra
1994 J jnl
Fast Parallel Algorithms for Solving Triangular Systems of Linear Equations on the Hypercube.
J. Parallel Distributed Comput.
Oscar H. Ibarra, Myung Hee Kim
1994 J jnl
On Communication-Bounded Synchronized Alternating Finite Automata.
Acta Informatica
Oscar H. Ibarra, Nicholas Q. Trân
1994 — conf
On Some Open Problems Concerning the Complexity of Cellular Arrays.
Results and Trends in Theoretical Computer Science
Oscar H. Ibarra, Tao Jiang
1994 B conf
On the Parallel Complexity of Solving Recurrence Equations.
ISAAC
Oscar H. Ibarra, Nicholas Q. Trân
1994 J jnl
Some Efficient Algorithms for Permutation Graphs.
J. Algorithms
Oscar H. Ibarra, Qi Zheng
1994 J jnl
Some Results Concerning 2-D On-Line Tessellation Acceptors and 2-D Alternating Finite Automata.
Theor. Comput. Sci.
Tao Jiang, Oscar H. Ibarra, Hui Wang
1994 — conf
Transformations Between Boundary Codes, Run Length Codes, and Linear Quadtrees.
IPPS
Myung Hee Kim, Oscar H. Ibarra
1993 J jnl
A Note on Simple Programs with Two Variables.
Theor. Comput. Sci.
Oscar H. Ibarra, Nicholas Q. Trân
1993 — conf
Finding Articulation Points and Bridges of Permutation Graphs.
ICPP (3)
Oscar H. Ibarra, Qi Zheng
1993 A* conf
New Decidability Results Concerning Two-way Counter Machines and Applications.
ICALP
Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trân, Hui Wang
1993 J jnl
On Efficient Parallel Algorithms for Solving Set Recurrence Equations.
J. Algorithms
Oscar H. Ibarra, Hui Wang, Tao Jiang
1993 B conf
On the Communication Complexity of Parallel Computation.
MFCS
Oscar H. Ibarra, Nicholas Q. Trân
1993 J jnl
On the Equivalence of Two-Way Pushdown Automata and Counter Machines Over Bounded Languages.
Int. J. Found. Comput. Sci.
Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trân, Hui Wang
1993 A conf
On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages.
STACS
Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trân, Hui Wang
1993 — conf
On the Shortest Path Problems for Permutation Graphs.
IPPS
Oscar H. Ibarra, Qi Zheng
1993 J jnl
Quadtree Building Algorithms on an SIMD Hypercube.
J. Parallel Distributed Comput.
Oscar H. Ibarra, Myung Hee Kim
1993 J jnl
Synchronized Finite Automata and 2DFA Reductions.
Theor. Comput. Sci.
Oscar H. Ibarra, Nicholas Q. Trân
1992 J jnl
A Characterization of Exponential-Time Languages by Alternating Context-Free Grammars.
Theor. Comput. Sci.
Oscar H. Ibarra, Tao Jiang, Hui Wang
1992 J jnl
A hierarchy result for 2-dimensional TM's operating in small space.
Inf. Sci.
Tao Jiang, Oscar H. Ibarra, Hui Wang, Qi Zheng
1992 J jnl
Iterative algorithms for the planar convex hull problem on mesh-connected arrays.
Parallel Comput.
J. Andrew Holey, Oscar H. Ibarra
1992 A* conf
New Results Concerning Synchronized Finite Automata.
ICALP
Oscar H. Ibarra, Nicholas Q. Trân
1992 J jnl
On Space-Bounded Synchronized Alternating Turing Machines.
Theor. Comput. Sci.
Oscar H. Ibarra, Nicholas Q. Trân
1992 — conf
Quadtree Building Algorithms on an SIMD Hypercube.
IPPS
Oscar H. Ibarra, Myung Hee Kim
1992 J jnl
String Editing on a One-Way Linear Array of Finite-State Machines.
IEEE Trans. Computers
Oscar H. Ibarra, Tao Jiang, Hui Wang
1991 — conf
Fast Parallel Algorithms for Solving Triangular Systems of Linear Equations on the Hypercube.
IPPS
Oscar H. Ibarra, Myung Hee Kim
1991 J jnl
Learning Regular Languages from Counterexamples.
J. Comput. Syst. Sci.
Oscar H. Ibarra, Tao Jiang
1991 J jnl
On Resetiting DLBA's.
Bull. EATCS
Oscar H. Ibarra
1991 B conf
On Space-bounded Synchronized Alternating Turing Machines.
FCT
Oscar H. Ibarra, Nicholas Q. Trân
1991 J jnl
On resetting DLBA's.
SIGACT News
Oscar H. Ibarra
1991 J jnl
Parallel Parsing on a One-Way Linear Array of Finite-State Machines.
Theor. Comput. Sci.
Oscar H. Ibarra, Hui Wang
1991 J jnl
Parallel Regognition and Parsing on the Hypercube.
IEEE Trans. Computers
Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn
1991 J jnl
Some Classes of Languages in NC¹
Inf. Comput.
Oscar H. Ibarra, Tao Jiang, Jik H. Chang, Bala Ravikumar
1991 B conf
Some Results Concerning 2-D On-line Tessellation Acceptors and 2-D Alternating Finite Automata.
MFCS
Oscar H. Ibarra, Tao Jiang, Hui Wang
1991 J jnl
The Power of Alternating One-Reversal Counters and Stacks.
SIAM J. Comput.
Oscar H. Ibarra, Tao Jiang
1991 — conf
Triangulation Voronoi Diagram and Convex Hull in k-Space on Mesh-Connected Arrays and Hypercubes.
ICPP (3)
J. Andrew Holey, Oscar H. Ibarra
1991 — conf
Triangulation in a Plane and 3-D Convex Hull on Mesh-Connected Arrays and Hypercubes.
IPPS
J. Andrew Holey, Oscar H. Ibarra
1990 J jnl
An efficient all-parses systolic algorithm for general context-free parsing.
Int. J. Parallel Program.
Oscar H. Ibarra, Michael A. Palis
1990 — conf
Efficient parallel algorithms for solving set recurrence equations and applications.
SPDP
Oscar H. Ibarra, Hui Wang, Tao Jiang
1990 — conf
Iterative Algorithms for Planar Convex Hull on Mesh-Connected Arrays.
ICPP (3)
J. Andrew Holey, Oscar H. Ibarra
1990 J jnl
On Mapping Systolic Algorithms onto the Hypercube.
IEEE Trans. Parallel Distributed Syst.
Oscar H. Ibarra, Stephen M. Sohn
1990 — conf
String Editing on a One-Way Linear Array of Finite-State Machines.
ICPP (3)
Oscar H. Ibarra, Tao Jiang, Hui Wang
1990 J jnl
String processing on the hypercube.
IEEE Trans. Acoust. Speech Signal Process.
Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn
1990 J jnl
Systolic algorithms for some scheduling and graph problems.
J. VLSI Signal Process.
Oscar H. Ibarra, Tao Jiang, Jik H. Chang, Michael A. Palis
1989 B conf
An Efficient All-Parses Systolic Algorithm for General Context-Free Parsing.
WADS
Oscar H. Ibarra, Michael A. Palis
1989 J jnl
Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATMs and Space-Bounded TMs.
Theor. Comput. Sci.
Jik H. Chang, Oscar H. Ibarra, Michael A. Palis
1989 J jnl
On Iterative and Cellular Tree Arrays.
J. Comput. Syst. Sci.
Oscar H. Ibarra, Tao Jiang, Jik H. Chang
1989 — conf
On Mapping Systolic Algorithms onto the Hypercube.
ICPP (1)
Oscar H. Ibarra, Stephen M. Sohn
1989 J jnl
Optimal Simulation of Tree Arrays by Linear Arrays.
Inf. Process. Lett.
Oscar H. Ibarra, Tao Jiang
1989 — conf
Parallel Parsing on a One-way Linear Array of Finite-State Machines.
FSTTCS
Oscar H. Ibarra, Tao Jiang, Hui Wang
1989 J jnl
Relating the Type of Ambiguity of Finite Automata to the Succinctness of Their Representation.
SIAM J. Comput.
Bala Ravikumar, Oscar H. Ibarra
1988 A* conf
Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATM's and Space-Bounded TM's.
ICALP
Jik H. Chang, Oscar H. Ibarra, Michael A. Palis
1988 A* conf
Learning Regular Languages From Counterexamples.
COLT
Oscar H. Ibarra, Tao Jiang
1988 — conf
On Some Languages in NC.
AWOC
Oscar H. Ibarra, Tao Jiang, Bala Ravikumar, Jik H. Chang
1988 J jnl
On Two-Dimensional Via Assignment for Single-Row Routing.
IEEE Trans. Computers
David Hung-Chang Du, Oscar H. Ibarra, J. Fernando Naveda
1988 J jnl
On the power of one-way communication.
J. ACM
Jik H. Chang, Oscar H. Ibarra, Anastasios Vergis
1988 J jnl
Relating the Power of Cellular Arrays to Their Closure Properties.
Theor. Comput. Sci.
Oscar H. Ibarra, Tao Jiang
1988 J jnl
Some Subclasses of Context-Free Languages In NC1.
Inf. Process. Lett.
Oscar H. Ibarra, Tao Jiang, Bala Ravikumar
1988 J jnl
Sublogarithmic-Space Turing Machines, Nonuniform Space Complexity, and Closure Properties.
Math. Syst. Theory
Oscar H. Ibarra, Bala Ravikumar
1988 J jnl
Systolic Tree Implementation of Data Structures.
IEEE Trans. Computers
Jik H. Chang, Oscar H. Ibarra, Moon-Jung Chung, Kotesh K. Rao
1988 — conf
Trading reversals for alternation.
SCT
Oscar H. Ibarra, Tao Jiang
1988 J jnl
Two-Dimensional Convolution on a Pyramid Computer.
IEEE Trans. Pattern Anal. Mach. Intell.
Jik H. Chang, Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn
1988 J jnl
Two-Dimensional Iterative Arrays: Characterizations and Applications.
Theor. Comput. Sci.
Oscar H. Ibarra, Michael A. Palis
1987 J jnl
On Efficient Simulations of Systolic Arrays of Random-Access Machines.
SIAM J. Comput.
Oscar H. Ibarra, Michael A. Palis
1987 J jnl
On One-Way Cellular Arrays.
SIAM J. Comput.
Oscar H. Ibarra, Tao Jiang
1987 A* conf
On the Computing Power of One-Way Cellular Arrays.
ICALP
Oscar H. Ibarra, Tao Jiang
1987 J jnl
Parallel Parsing on a One-Way Array of Finite-State Machines.
IEEE Trans. Computers
Jik H. Chang, Oscar H. Ibarra, Michael A. Palis
1987 — conf
Relating the Degree of Ambiguity of Finite Automata to the Succinctness of their Representation.
FSTTCS
Oscar H. Ibarra, Bala Ravikumar
1987 J jnl
Single-Row Routing with Crossover Bound.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
David Hung-Chang Du, Oscar H. Ibarra, J. Fernando Naveda
1987 J jnl
Some Observations Concerning Alternating Turing Machines Using Small Space.
Inf. Process. Lett.
Jik H. Chang, Oscar H. Ibarra, Bala Ravikumar, Leonard Berman
1987 B conf
Two-Dimensional Convolution on a Pyramid Computer.
ICPP
Jik H. Chang, Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn
1987 J jnl
VLSI algorithms for solving recurrence equations and applications.
IEEE Trans. Acoust. Speech Signal Process.
Oscar H. Ibarra, Michael A. Palis
1986 J jnl
Designing Systolic Algorithms Using Sequential Machines.
IEEE Trans. Computers
Oscar H. Ibarra, Sam M. Kim, Michael A. Palis
1986 J jnl
On Pebble Automata.
Theor. Comput. Sci.
Jik H. Chang, Oscar H. Ibarra, Michael A. Palis, Bala Ravikumar
1986 A conf
On Sparseness, Ambiguity and other Decision Problems for Acceptors and Transducers.
STACS
Oscar H. Ibarra, Bala Ravikumar
1986 A* conf
On the Power of One-Way Communication
FOCS
Jik H. Chang, Oscar H. Ibarra, Anastasios Vergis
1986 B conf
Parallel Parsing on a One-Way Array of Finite-State Machines.
ICPP
Jik H. Chang, Oscar H. Ibarra, Michael A. Palis
1986 B conf
Systolic Arrays: Characterizations and Complexity.
MFCS
Oscar H. Ibarra
1986 B conf
Systolic Tree Implementation of Data Structures.
ICPP
Jik H. Chang, Moon-Jung Chung, Oscar H. Ibarra, Kotesh K. Rao
1985 J jnl
Fast Parallel Language Recognition by Cellular Automata.
Theor. Comput. Sci.
Oscar H. Ibarra, Michael A. Palis, Sam M. Kim
1985 J jnl
On Efficient Recognition of Transductions and Relations.
Theor. Comput. Sci.
Oscar H. Ibarra, Michael A. Palis, Jik H. Chang
1985 J jnl
On Simple Programs with Primitive Conditional Statements
Inf. Control.
Oscar H. Ibarra, Louis E. Rosier
1985 J jnl
On Space and Time Efficient TM Simulations of Some Restricted Classes of PDA's
Inf. Control.
Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier
1985 J jnl
Sequential Machine Characterizations of Trellis and Cellular Automata and Applications.
SIAM J. Comput.
Oscar H. Ibarra, Sam M. Kim, Shlomo Moran
1985 J jnl
Some Characterizations of Multihead Finite Automata
Inf. Control.
Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier
1985 J jnl
Some results concerning linear iterative (systolic) arrays.
J. Parallel Distributed Comput.
Oscar H. Ibarra, Michael A. Palis, Sam M. Kim
1985 J jnl
The Equivalence Problem and Correctness Formulas for a Simple Class of Programs
Inf. Control.
Oscar H. Ibarra, Louis E. Rosier
1984 J jnl
A Characterization of Systolic Binary Tree Automata and Applications.
Acta Informatica
Oscar H. Ibarra, Sam M. Kim
1984 J jnl
A Note on the Complexity of Program Evaluation.
Math. Syst. Theory
Oscar H. Ibarra, Brian S. Leininger, Louis E. Rosier
1984 J jnl
Characterizations and Computational Complexity of Systolic Trellis Automata.
Theor. Comput. Sci.
Oscar H. Ibarra, Sam M. Kim
1984 A* conf
Designing Systolic Algorithms Using Sequential Machines
FOCS
Oscar H. Ibarra, Michael A. Palis, Sam M. Kim
1984 A* conf
Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs.
ICALP
Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier
1984 B conf
The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract).
MFCS
Oscar H. Ibarra, Louis E. Rosier
1983 J jnl
A Note on Finitely-Valued and Finitely Ambiguous Transducers.
Math. Syst. Theory
Eitan M. Gurari, Oscar H. Ibarra
1983 J jnl
On Some Decision Questions Concerning Pushdown Machines.
Theor. Comput. Sci.
Oscar H. Ibarra
1983 J jnl
On the Control Power of Integer Division.
Theor. Comput. Sci.
Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier
1983 J jnl
On the Finite-Valuedness Problem for Sequential Machines.
Theor. Comput. Sci.
Tat-hung Chan, Oscar H. Ibarra
1983 J jnl
On the Simplification and Equivalence Problems for Straight-Line Programs
J. ACM
Oscar H. Ibarra, Brian S. Leininger
1983 J jnl
On the Space and Time Complexity of Functions Computable by Simple Programs.
SIAM J. Comput.
Tat-hung Chan, Oscar H. Ibarra
1983 J jnl
On the Zero-Inequivalence Problem for Loop Programs.
J. Comput. Syst. Sci.
Oscar H. Ibarra, Brian S. Leininger
1983 J jnl
Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs
J. ACM
Oscar H. Ibarra, Shlomo Moran
1983 J jnl
Simple Programming Languages and Restricted Classes of Turing Machines.
Theor. Comput. Sci.
Oscar H. Ibarra, Louis E. Rosier
1983 J jnl
Some Time-Space Tradeoff Results Concerning Single-Tape and Offline TM's.
SIAM J. Comput.
Oscar H. Ibarra, Shlomo Moran
1982 J jnl
(Semi)Alternating Stack Automata.
Math. Syst. Theory
Eitan M. Gurari, Oscar H. Ibarra
1982 J jnl
2DST Mapppings on Languages and Related Problems.
Theor. Comput. Sci.
Oscar H. Ibarra
1982 J jnl
A Generalization of the Fast LUP Matrix Decomposition Algorithm and Applications.
J. Algorithms
Oscar H. Ibarra, Shlomo Moran, Roger Hui
1982 J jnl
On Some Decision Problems for RAM Programs.
J. Comput. Syst. Sci.
Oscar H. Ibarra, Shlomo Moran
1982 J jnl
On the Complexity of Simple Arithmetic Expressions.
Theor. Comput. Sci.
Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran
1982 J jnl
Some Simplified Undecidable and NP-Hard Problems for Simple Programs.
Theor. Comput. Sci.
Eitan M. Gurari, Oscar H. Ibarra
1982 J jnl
Straight-Line Programs with One Input Variable.
SIAM J. Comput.
Oscar H. Ibarra, Brian S. Leininger
1982 J jnl
The Complexity of the Equivalence Problem for Simple Loop-Free Programs.
SIAM J. Comput.
Oscar H. Ibarra, Brian S. Leininger
1982 J jnl
Two-Way Counter Machines and Diophantine Equations.
J. ACM
Eitan M. Gurari, Oscar H. Ibarra
1981 J jnl
Characterizations of Presburger Functions.
SIAM J. Comput.
Oscar H. Ibarra, Brian S. Leininger
1981 J jnl
Deterministic and Probabilistic Algorithms for Maximum Bipartite Matching Via Fast Matrix Multiplication.
Inf. Process. Lett.
Oscar H. Ibarra, Shlomo Moran
1981 J jnl
On Restricted One-counter Machines.
Math. Syst. Theory
Oscar H. Ibarra, Louis E. Rosier
1981 A* conf
On the Complexity of Simple Arithmetic Expressions.
ICALP
Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran
1981 J jnl
On the Decidability of Equivalence for Deterministic Pushdown Transducers.
Inf. Process. Lett.
Oscar H. Ibarra, Louis E. Rosier
1981 J jnl
Probabilistic Algorithms and Straight-Line Programs for Some Rank Decision Problems.
Inf. Process. Lett.
Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier
1981 A* conf
The Complexity of Decision Problems for Finite-Turn Multicounter Machines.
ICALP
Eitan M. Gurari, Oscar H. Ibarra
1981 J jnl
The Complexity of Decision Problems for Finite-Turn Multicounter Machines.
J. Comput. Syst. Sci.
Eitan M. Gurari, Oscar H. Ibarra
1981 J jnl
The Complexity of the Equivalence Problem for Simple Programs.
J. ACM
Eitan M. Gurari, Oscar H. Ibarra
1981 J jnl
The Complexity of the Equivalence Problem for two Characterizations of Presburger Sets.
Theor. Comput. Sci.
Eitan M. Gurari, Oscar H. Ibarra
1981 A* conf
Two-Way Counter Machines and Diophantine Equations
FOCS
Eitan M. Gurari, Oscar H. Ibarra
1980 J jnl
A Note on the Parallel Complexity of Computing the Rank of Order n Matrices.
Inf. Process. Lett.
Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier
1980 J jnl
Path Systems: Constructions, Solutions and Applications.
SIAM J. Comput.
Eitan M. Gurari, Oscar H. Ibarra
1980 A* conf
The Complexity of the Equivalence Problem for Straight-Line Programs
STOC
Oscar H. Ibarra, Brian S. Leininger
1979 J jnl
An NP-Complete Number-Theoretic Problem.
J. ACM
Eitan M. Gurari, Oscar H. Ibarra
1979 J jnl
On the Space Complexity of Recursive Algorithms.
Inf. Process. Lett.
Eitan M. Gurari, Oscar H. Ibarra
1979 J jnl
Restricted One-Counter Machines with Undecidable Universe Problems.
Math. Syst. Theory
Oscar H. Ibarra
1979 J jnl
Simple Counter Machines and Number-Theoretic Problems.
J. Comput. Syst. Sci.
Eitan M. Gurari, Oscar H. Ibarra
1979 J jnl
Some Decision Problems Concerning Sequential Transducers and Checking Automata.
J. Comput. Syst. Sci.
Eitan M. Gurari, Oscar H. Ibarra
1979 A* conf
The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs
STOC
Eitan M. Gurari, Oscar H. Ibarra
1978 A* conf
An NP-Complete Number-Theoretic Problem
STOC
Eitan M. Gurari, Oscar H. Ibarra
1978 J jnl
Approximation Algorithms for Certain Scheduling Problems.
Math. Oper. Res.
Oscar H. Ibarra, Chul E. Kim
1978 J jnl
On Two-Way Sequential Transductions of Full Semi-AFL's.
Theor. Comput. Sci.
Oscar H. Ibarra
1978 J jnl
Reversal-Bounded Multicounter Machines and Their Decision Problems.
J. ACM
Oscar H. Ibarra
1978 J jnl
The Unsolvability of the Equivalence Problem for epsilon-Free NGSM's with Unary Input (Output) Alphabet and Applications.
SIAM J. Comput.
Oscar H. Ibarra
1977 J jnl
Bounds for LPT Schedules on Uniform Processors.
SIAM J. Comput.
Teofilo F. Gonzalez, Oscar H. Ibarra, Sartaj Sahni
1977 J jnl
Heuristic Algorithms for Scheduling Independent Tasks on Nonidentical Processors.
J. ACM
Oscar H. Ibarra, Chul E. Kim
1977 A* conf
The Unsolvability of the Equivalence Problem for epsilon-free NGSM's with Unary Input (Output) Alphabet and Applications
FOCS
Oscar H. Ibarra
1976 A* conf
A Useful Device for Showing the Solvability of Some Decision Problems
STOC
Oscar H. Ibarra, Chul E. Kim
1976 J jnl
A Useful Device for Showing the Solvability of Some Decision Problems.
J. Comput. Syst. Sci.
Oscar H. Ibarra, Chul E. Kim
1976 J jnl
Finite Automata with Multiplication.
Theor. Comput. Sci.
Oscar H. Ibarra, Sartaj Sahni, Chul E. Kim
1975 J jnl
Fast Approximation Algorithms for the Knapsack and Sum of Subset Problems.
J. ACM
Oscar H. Ibarra, Chul E. Kim
1975 J jnl
Hierarchies of Turing Machines with Restricted Tape Alphabet Size.
J. Comput. Syst. Sci.
Oscar H. Ibarra, Sartaj Sahni
1975 J jnl
Polynomially Complete Fault Detection Problems.
IEEE Trans. Computers
Oscar H. Ibarra, Sartaj Sahni
1974 J jnl
A Hierarchy Theorem for Polynomial-Space Recognition.
SIAM J. Comput.
Oscar H. Ibarra
1974 J jnl
A Note on Semilinear Sets and Bounded-Reversal Multihead Pushdown Automata.
Inf. Process. Lett.
Oscar H. Ibarra
1974 J jnl
On 3-Head Versus 2-Head Finite Automata.
Acta Informatica
Oscar H. Ibarra, Chul E. Kim
1973 J jnl
Controlled pushdown automata.
Inf. Sci.
Oscar H. Ibarra
1973 J jnl
On Two-way Multihead Automata.
J. Comput. Syst. Sci.
Oscar H. Ibarra
1972 J jnl
A Note Concerning Nondeterministic Tape Complexities.
J. ACM
Oscar H. Ibarra
1971 J jnl
Characterizations of Some Tape and Time Complexity Classes of Turing Machines in Terms of Multihead and Auxiliary Stack Automata.
J. Comput. Syst. Sci.
Oscar H. Ibarra
1971 J jnl
Characterizations of Transductions Defined by Abstract Families of Transducers.
Math. Syst. Theory
Oscar H. Ibarra
1970 J jnl
Simple Matrix Languages
Inf. Control.
Oscar H. Ibarra
1970 J jnl
Tape-Bounded Turing Acceptors and Principal AFLs.
J. Comput. Syst. Sci.
Ronald V. Book, Sheila A. Greibach, Oscar H. Ibarra, Ben Wegbreit
1968 J jnl
Multi-Tape and Multi-Head Pushdown Automata
Inf. Control.
Michael A. Harrison, Oscar H. Ibarra
1967 J jnl
On the Equivalence of Finite-State Sequential Machine Models.
IEEE Trans. Electron. Comput.
Oscar H. Ibarra
1967 J jnl
Two-Way Pushdown Automata
Inf. Control.
Jim Gray, Michael A. Harrison, Oscar H. Ibarra