| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni, Arto Salomaa |
Sheng Yu.  |
Int. J. Found. Comput. Sci.  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Nicholas Q. Trân |
Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ömer Egecioglu, Oscar H. Ibarra, Nicholas Q. Trân |
Multitape NFA: Weak Synchronization of the Input Heads. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On Strong Reversibility in P Systems and Related Problems. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Relational String Verification Using Multi-Track Automata. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
APDCM Introduction. |
IPDPS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
On Two-Way Transducers. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Shinnosuke Seki |
Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Nicholas Q. Trân |
On Synchronized Multitape and Multihead Automata. |
DCFS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki |
One-Reversal Counter Machines and Multihead Automata: Revisited. |
SOFSEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Mario J. Pérez-Jiménez, Takashi Yokomori |
On spiking neural P systems. |
Natural Computing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing. |
Natural Computing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pierluigi Frisco, Oscar H. Ibarra |
On sets of numbers accepted by P/T systems composed by join. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin |
On stateless multihead automata: Hierarchies and the emptiness problem. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Igor Potapov, Hsu-Chun Yen |
On decision problems for parameterized machines. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
Preface. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On the universe, disjointness, and containment problems for simple machines. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
Advances in parallel and distributed computing models - APDCM. |
IPDPS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On Decision Problems for Simple and Parameterized Machines. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
Computing with Cells: Membrane Systems. |
COCOON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Relational String Verification Using Multi-track Automata. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Andrei Paun, Alfonso Rodríguez-Patón |
Sequential SNP systems based on min/max spike number. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cavaliere, Oscar H. Ibarra, Gheorghe Paun, Ömer Egecioglu, Mihai Ionescu, Sara Woodworth |
Asynchronous spiking neural P systems. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Bala Ravikumar |
Preface. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Frisco, Oscar H. Ibarra |
On Languages Accepted by P/T Systems Composed of joins |
DCFS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Symbolic String Verification: Combining String Analysis and Size Analysis. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Frisco, Oscar H. Ibarra |
On Stateless Multihead Finite Automata and Multihead Pushdown Automata. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Ömer Egecioglu |
Hierarchies and Characterizations of Stateless Multicounter Machines. |
COCOON |
2009 |
DBLP DOI BibTeX RDF |
Stateless multicounter machine, reversal-bounded, non- realtime, stateless multihead automata, hierarchy, closure properties, semilinear set |
| 1 | Yingfei Dong, Ding-Zhu Du, Oscar H. Ibarra (eds.) |
Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings |
ISAAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
A Look Back at Some Early Results in Membrane Computing. |
Workshop on Membrane Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ömer Egecioglu, Oscar H. Ibarra |
On Stateless Multicounter Machines. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
Stateless multicounter machines, reversal-bounded, realtime computation, hierarchies |
| 1 | Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun |
On spiking neural P systems and partially blind counter machines. |
Natural Computing |
2008 |
DBLP DOI BibTeX RDF |
Sequential mode, Partially blind counter machine, Spiking neural P system |
| 1 | Oscar H. Ibarra, Sara Woodworth |
Characterizations of some classes of spiking neural P systems. |
Natural Computing |
2008 |
DBLP DOI BibTeX RDF |
Asynchronous mode, Sequential mode, Partially blind counter machine, Spiking neural P system, Language generator, Semilinear set |
| 1 | Cagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su |
Minimum-cost delegation in service composition. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
On Stateless Automata and P Systems. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Jack, Alfonso Rodríguez-Patón, Oscar H. Ibarra, Andrei Paun |
Discrete Nondeterministic Modeling of the Fas Pathway. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang, Linmin Yang |
On Counter Machines, Reachability Problems, and Diophantine Equations. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Andrei Paun |
Computing with cells: membrane systems - some complexity issues. |
IJPEDS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Andrei Paun, Alfonso Rodríguez-Patón |
Sequentiality Induced by Spike Number in SNP Systems. |
DNA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin |
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. |
LATIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra |
Symbolic String Verification: An Automata-Based Approach. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
Computing with Cells: Membrane Systems. |
ISPAN |
2008 |
DBLP DOI BibTeX RDF |
Membrane computing, P system, spiking neural P system |
| 1 | Oscar H. Ibarra, Bala Ravikumar (eds.) |
Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings |
CIAA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
Developments in language theory. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Andrei Paun, Gheorghe Paun, Alfonso Rodríguez-Patón, Petr Sosík, Sara Woodworth |
Normal forms for spiking neural P systems. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth |
Characterizing Regular Languages by Spiking Neural P Systems. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
Preface. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cavaliere, Ömer Egecioglu, Oscar H. Ibarra, Mihai Ionescu, Gheorghe Paun, Sara Woodworth |
Asynchronous Spiking Neural P Systems: Decidability and Undecidability. |
DNA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth |
Spiking Neural P Systems: Some Characterizations. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
asynchronous mode, sequential mode, partially blind counter machine, Spiking neural P system, language generator, semilinear set |
| 1 | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. |
UC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil |
On the Computational Complexity of P Automata. |
Natural Computing |
2006 |
DBLP DOI BibTeX RDF |
accepting P systems, communicating P systems, P automata, sub-logarithmic space complexity, context-sensitive languages |
| 1 | Oscar H. Ibarra, Bala Ravikumar |
On partially blind multihead finite automata. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Gheorghe Paun |
Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang |
On the solvability of a class of diophantine equations and applications. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
Deterministic catalytic systems are not universal. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On the Computational Power of 1-Deterministic and Sequential P Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Bala Ravikumar, Cagdas Evren Gerede |
Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach. |
Journal of Automata, Languages and Combinatorics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie |
On the Decidability of Model-Checking for P Systems. |
Journal of Automata, Languages and Combinatorics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth |
On symport/antiport P systems with a small number of objects. |
Int. J. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang (eds.) |
Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings |
Developments in Language Theory |
2006 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun |
On Spiking Neural P Systems and Partially Blind Counter Machines. |
UC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth |
Characterizations of Some Restricted Spiking Neural P Systems. |
Workshop on Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen (eds.) |
Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings |
CIAA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun |
On two-way nondeterministic finite automata with one reversal-bounded counter. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On determinism versus nondeterminism in P systems. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On membrane hierarchy in P systems. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Jianwen Su |
On composition and lookahead delegation of e-services modeled by automata, . |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra |
On one-membrane P systems operating in sequential mode. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang |
On various notions of parallelism in P Systems. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Andrei Paun |
Counting Time in Computing with Cells. |
DNA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth |
On Bounded Symport/Antiport P Systems. |
DNA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen |
Signaling P Systems and Verification Problems. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth |
On Symport/Antiport P Systems with One or Two Symbols. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
Some Computational Issues in Membrane Computing. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozgur D. Sahin, Cagdas Evren Gerede, Divyakant Agrawal, Amr El Abbadi, Oscar H. Ibarra, Jianwen Su |
SPiDeR: P2P-Based Web Service Discovery. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su |
Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie |
On Model-Checking of P Systems. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On Sequential and 1-Deterministic P Systems. |
COCOON |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
Some Recent Results Concerning Deterministic P Systems. |
Workshop on Membrane Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang |
On Symport/Antiport P Systems and Semilinear Sets. |
Workshop on Membrane Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Hsu-Chun Yen |
On Deterministic Catalytic Systems. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On the computational complexity of membrane systems. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu |
Catalytic P systems, semilinear sets, and vector addition systems. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer |
Past pushdown timed automata and safety verification. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
Editorial. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang |
On two-way FA with monotonic counters and quadratic Diophantine equations. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Louxin Zhang |
Computing And Combinatorics Conference -- Cocoon'02. |
Int. J. Found. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacir Luiz Bordim, Oscar H. Ibarra, Yasuaki Ito, Koji Nakano |
Instance-Specific Solutions For Accelerating The Cky Parsing Of Large Context-Free Grammars. |
Int. J. Found. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil |
On the Computational Complexity of P Automata. |
DNA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su |
Automated composition of e-services: lookaheads. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
automated composition, automated mediator construction, e-service modelling, roman model, service representation, service composition, service oriented computing, delegator, e-services, finite state automata, lookahead |
| 1 | Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang |
The Power of Maximal Parallelism in P Systems. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ömer Egecioglu, Oscar H. Ibarra |
A Matrix q-Analogue of the Parikh Map. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yasmín Pérez, Rafael Gamboa, Oscar H. Ibarra |
Modeling Affective Responses in Intelligent Tutoring Systems. |
ICALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra |
On P Systems Operating in Sequential Mode. |
DCFS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Jianwen Su |
Composability of Infinite-State Activity Automata. |
ISAAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
Automata-Theoretic Techniques for Analyzing Infinite-State Systems. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie |
Real-Counter Automata and Their Decision Problems. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
P Systems: Some Recent Results and Research Problems. |
UPP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Daley, Oscar H. Ibarra, Lila Kari |
Closure and decidability properties of some language classes with respect to ciliate bio-operations. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")