Edit Profile (opens in new tab) Ibarra, Oscar H. Compute Distance To: Compute Author ID: ibarra.oscar-h Published as: Ibarra, Oscar H.; Ibarra, O. H.; Ibarra, Oscar; Ibarra, O. more...less Homepage: http://www.cs.ucsb.edu/~ibarra/ External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 311 Publications since 1967 14 Contributions as Editor · 1 Further Contribution Biographic References: 1 Publication Co-Authors: 98 Co-Authors with 286 Joint Publications 2,222 Co-Co-Authors all top 5 Co-Authors 40 single-authored 50 Dang, Zhe 31 McQuillan, Ian 23 Ravikumar, Bala 22 Jiang, Tao 20 Trân, Nicholas Q. 15 Su, Jianwen 15 Yen, Hsuchun 14 Gurari, Eitan M. 14 Woodworth, Sara 12 Rosier, Louis E. 11 Bultan, Tevfik 11 Egecioglu, Omer 11 Moran, Shlomo 11 Palis, Michael A. 11 Wang, Hui 10 Chang, Jik Hyun 9 Fischer, Thomas Robert 9 Leininger, Brian S. 9 Păun, Andrei 8 Eremondi, Joey 8 Kari, Lila 8 Kim, Chul Eung 7 Cui, Cewei 7 Kemmerer, Richard A. 7 Kim, Sam Myo 7 Seki, Shinnosuke 6 Yu, Fang 5 Sahni, Sartaj K. 5 Xie, Gaoyan 4 Daley, Mark 4 Karhumaki, Juhani 4 Kopecki, Steffen 4 Păun, Gheorghe 4 Pietro, Pierluigi San 4 Rodríguez-Patón, Alfonso 4 Yang, Linmin 3 D’Alessandro, Flavio 3 Frisco, Pierluigi 3 Li, Cheng 3 Li, Qin 3 Salomaa, Arto Kustaa 3 Sun, Zhi-Wei 3 Yang, Tao 2 Berman, Leonard 2 Cavaliere, Matteo 2 Chan, Tat-Hung 2 Chiniforooshan, Ehsan 2 Csuhaj-Varjú, Erzsébet 2 Enaganti, Srujan Kumar 2 Gerede, Cagdas Evren 2 Harju, Tero 2 Harrison, Michael A. 2 Hutton, William J. III 2 Ionescu, Mihai 2 Kim, Myunghee 2 Nakano, Koji 2 Okhotin, Alexander 2 Pérez-Jiménez, Mario J. 2 Vaszil, Gyorgy 2 Zheng, Qi 1 Alkhalaf, Muath 1 Andresen, Daniel 1 Angluin, Dana 1 Bartzis, Constantinos 1 Bloniarz, Peter A. 1 Book, Ronald Vernon 1 Bordim, Jacir Luiz 1 Borodin, Allan B. 1 Brent, Richard Peirce 1 Brown, Donna J. 1 Carlson, David A. 1 Carpi, Arturo 1 Chazelle, Bernard 1 Cheruku, Smitha 1 Chwa, Kyungyong 1 Cook, Stephen Arthur 1 Culik, Karel II 1 Cypher, A. 1 DeMillo, Richard Allan 1 Diniz, Pedro C. 1 Dobkin, David P. 1 Dong, Yingfei 1 Du, Ding-Zhu 1 Ehrig, Hartmut 1 Fagin, Ronald 1 Filotti, I. S. 1 Fischer, Michael J. 1 Frederickson, Greg N. 1 Gonzalez, Teofilo F. 1 Gray, James Nicholas 1 Greibach, Sheila A. 1 Guibas, Leonidas John 1 Heintz, Joos 1 Hoffmann, Christoph M. 1 Holey, J. Andrew 1 Hong, Jiawei 1 Hui, Roger 1 Ito, Yasuaki 1 Jack, John 1 Ja’Ja’, Joseph F. ...and 60 more Co-Authors all top 5 Serials 65 Theoretical Computer Science 24 International Journal of Foundations of Computer Science 15 Journal of Computer and System Sciences 15 SIAM Journal on Computing 11 Information and Computation 9 Information Processing Letters 9 Journal of the Association for Computing Machinery 9 Lecture Notes in Computer Science 8 Natural Computing 7 Information and Control 7 Mathematical Systems Theory 5 Journal of Automata, Languages and Combinatorics 4 International Journal of Computer Mathematics 4 Fundamenta Informaticae 3 Acta Informatica 3 IEEE Transactions on Computers 3 Journal of Algorithms 3 Journal of Parallel and Distributed Computing 2 Information Sciences 1 Mathematics of Operations Research 1 Parallel Computing 1 International Journal of Parallel Programming 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Journal of VLSI Signal Processing 1 Formal Methods in System Design 1 RIMS Kokyuroku 1 Progress in Natural Science 1 International Journal of Parallel, Emergent and Distributed Systems 1 IEEE Transactions on Electronic Computers 1 Journal of Cybernetics 1 Computability all top 5 Fields 315 Computer science (68-XX) 38 Mathematical logic and foundations (03-XX) 15 General and overarching topics; collections (00-XX) 11 Information and communication theory, circuits (94-XX) 10 Number theory (11-XX) 6 Operations research, mathematical programming (90-XX) 4 Numerical analysis (65-XX) 4 Biology and other natural sciences (92-XX) 3 Combinatorics (05-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 240 Publications have been cited 2,026 times in 1,249 Documents Cited by ▼ Year ▼ Fast approximation algorithms for the knapsack and sum of subset problems. Zbl 0345.90049Ibarra, Oscar H.; Kim, Chul E. 244 1975 Reversal-bounded multicounter machines and their decision problems. Zbl 0365.68059Ibarra, Oscar H. 163 1978 Heuristic algorithms for scheduling independent tasks on nonidentical processors. Zbl 0382.90048Ibarra, Oscar H.; Kim, Chul E. 65 1977 The complexity of decision problems for finite-turn multicounter machines. Zbl 0458.68011Gurari, Eitan M.; Ibarra, Oscar H. 53 1981 Simple matrix languages. Zbl 0221.68041Ibarra, Oscar H. 49 1970 On two-way multihead automata. Zbl 0256.68028Ibarra, Oscar H. 44 1973 Bounds for LPT schedules on uniform processors. Zbl 0347.68043Gonzalez, Teofilo; Ibarra, Oscar H.; Sahni, Sartaj 41 1977 Multi-tape and multi-head pushdown automata. Zbl 0174.02701Harrison, M. A.; Ibarra, O. H. 37 1968 The unsolvability of the equivalence problem for \(\varepsilon\)-free NGSM’s with unary input (output) alphabet and applications. Zbl 0386.68054Ibarra, Oscar H. 34 1978 Some decision problems concerning semilinearity and commutation. Zbl 1059.68061Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto 32 2002 A note on finite-valued and finitely ambiguous transducers. Zbl 0502.68022Gurari, Eitan M.; Ibarra, Oscar H. 30 1983 Relating the type of ambiguity of finite automata to the succinctness of their representation. Zbl 0692.68049Ravikumar, Bala; Ibarra, Oscar H. 29 1989 A note on semilinear sets and bounded-reversal multihead pushdown automata. Zbl 0294.68019Ibarra, Oscar H. 29 1974 Characterizations and computational complexity of systolic trellis automata. Zbl 0536.68048Ibarra, Oscar H.; Kim, Sam M. 28 1984 Asynchronous spiking neural P systems. Zbl 1168.68014Cavaliere, Matteo; Ibarra, Oscar H.; Păun, Gheorghe; Egecioglu, Omer; Ionescu, Mihai; Woodworth, Sara 28 2009 New decidability results concerning two-way counter machines. Zbl 0828.68075Ibarra, Oscar H.; Jiang, Tao; Tran, Nicholas; Wang, Hui 25 1995 Normal forms for spiking neural P systems. Zbl 1111.68040Ibarra, Oscar H.; Păun, Andrei; Păun, Gheorghe; Rodríguez-Patón, Alfonso; Sosík, Petr; Woodworth, Sara 23 2007 A generalization of the fast LUP matrix decomposition algorithm and applications. Zbl 0492.65024Ibarra, Oscar H.; Moran, Shlomo; Hui, Roger 23 1982 Probabilistic algorithms for deciding equivalence of straight-line programs. Zbl 0497.68013Ibarra, Oscar H.; Moran, Shlomo 23 1983 Two-way pushdown automata. Zbl 0166.26601Gray, J. N.; Harrison, Michael A.; Ibarra, O. H. 22 1967 Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata. Zbl 0255.68012Ibarra, Oscar H. 22 1971 Sequential machine characterizations of trellis and cellular automata and applications. Zbl 0574.68044Ibarra, Oscar H.; Kim, Sam M.; Moran, Shlomo 21 1985 On sparseness, ambiguity and other decision problems for acceptors and transducers. Zbl 0605.68080Ibarra, Oscar H.; Ravikumar, B. 21 1986 Binary reachability analysis of discrete pushdown timed automata. Zbl 0974.68085Dang, Zhe; Ibarra, Oscar H.; Bultan, Tevfik; Kemmerer, Richard A.; Su, Jianwen 21 2000 Sequential SNP systems based on min/max spike number. Zbl 1173.68020Ibarra, Oscar H.; Păun, Andrei; Rodríguez-Patón, Alfonso 21 2009 Finite automata with multiplication. Zbl 0345.68029Ibarra, Oscar H.; Sahni, Sartaj K.; Kim, Chul E. 17 1976 On one-way cellular arrays. Zbl 0646.68070Ibarra, Oscar H.; Jiang, Tao 17 1987 Catalytic P systems, semilinear sets, and vector addition systems. Zbl 1070.68043Ibarra, Oscar H.; Dang, Zhe; Egecioglu, Omer 16 2004 Relating the power of cellular arrays to their closure properties. Zbl 0646.68071Ibarra, Oscar H.; Jiang, Tao 16 1988 Characterizations of bounded semilinear languages by one-way and two-way deterministic machines. Zbl 1272.68210Ibarra, Oscar H.; Seki, Shinnosuke 16 2012 Closure and decidability properties of some language classes with respect to ciliate bio-operations. Zbl 1060.68060Daley, Mark; Ibarra, Oscar H.; Kari, Lila 15 2003 A note concerning nondeterministic tape complexities. Zbl 0245.94044Ibarra, Oscar H. 15 1972 Two-way counter machines and diophantine equations. Zbl 0496.03020Gurari, Eitan M.; Ibarra, Oscar H. 14 1982 Approximation algorithms for certain scheduling problems. Zbl 0404.90040Ibarra, Oscar H.; Kim, Chul E. 13 1978 Parallel parsing on a one-way array of finite-state machines. Zbl 0634.68084Chang, Jik H.; Ibarra, Oscar H.; Palis, Michael A. 12 1987 Some observations concerning alternating Turing machines using small space. Zbl 0635.68040Chang, Jik H.; Ibarra, Oscar H.; Ravikumar, Bala; Berman, Leonard 12 1987 A solvable class of quadratic Diophantine equations with applications to verification of infinite-state systems. Zbl 1039.68077Xie, Gaoyan; Dang, Zhe; Ibarra, Oscar H. 12 2003 On the finite-valuedness problem for sequential machines. Zbl 0503.68037Chan, Tat-hung; Ibarra, Oscar H. 11 1983 On 3-head versus 2-head finite automata. Zbl 0291.94029Ibarra, Oscar H.; Kim, Chul E. 11 1975 Polynomially complete fault detection problems. Zbl 0302.68063Ibarra, Oscar H.; Sahni, Sartaj K. 11 1975 On spiking neural P systems and partially blind counter machines. Zbl 1126.68428Ibarra, Oscar H.; Woodworth, Sara; Yu, Fang; Păun, Andrei 11 2006 Some subclasses of context-free languages in \(NC^ 1\). Zbl 0659.68073Ibarra, Oscar H.; Jiang, Tao; Ravikumar, Bala 10 1988 Fast parallel language recognition by cellular automata. Zbl 0591.68054Ibarra, Oscar H.; Palis, Michael A.; Kim, Sam M. 10 1985 Automata with reversal-bounded counters: a survey. Zbl 1416.68097Ibarra, Oscar H. 10 2014 On stateless automata and P systems. Zbl 1175.68180Yang, Linmin; Dang, Zhe; Ibarra, Oscar H. 10 2008 A useful device for showing the solvability of some decision problems. Zbl 0338.68046Ibarra, Oscar H.; Kim, Chul E. 9 1976 Simple counter machines and number-theoretic problems. Zbl 0426.68036Gurari, Eitan M.; Ibarra, Oscar H. 9 1979 Restricted one-counter machines with undecidable universe problems. Zbl 0428.03038Ibarra, Oscar H. 9 1979 Counter machines and verification problems. Zbl 1061.68095Ibarra, Oscar H.; Su, Jianwen; Dang, Zhe; Bultan, Tevfik; Kemmerer, Richard A. 9 2002 The effect of end-markers on counter machines and commutativity. Zbl 1338.68150Ibarra, Oscar H.; McQuillan, Ian 9 2016 Characterizations of catalytic membrane computing systems. Zbl 1124.68364Ibarra, Oscar H.; Dang, Zhe; Egecioglu, Omer; Saxena, Gaurav 9 2003 A characterization of systolic binary tree automata and applications. Zbl 0521.68048Ibarra, Oscar H.; Kim, Sam M. 8 1984 On pebble automata. Zbl 0612.68045Chang, Jik H.; Ibarra, Oscar H.; Palis, Michael A.; Ravikumar, B. 8 1986 An NP-complete number-theoretic problem. Zbl 0407.68053Gurari, Eitan M.; Ibarra, Oscar H. 8 1979 Sublogarithmic-space Turing machines, nonuniform space complexity, and closure properties. Zbl 0661.68048Ibarra, Oscar H.; Ravikumar, Bala 8 1988 On the computational complexity of P automata. Zbl 1112.68057Csuhaj-Varjú, Erzsébet; Ibarra, Oscar H.; Vaszil, György 8 2006 Reachability analysis for some models of infinite-state transition systems. Zbl 0999.68139Ibarra, Oscar H.; Bultan, Tevfik; Su, Jianwen 8 2000 One-reversal counter machines and multihead automata: revisited. Zbl 1247.68133Chiniforooshan, Ehsan; Daley, Mark; Ibarra, Oscar H.; Kari, Lila; Seki, Shinnosuke 8 2012 Tape-bounded Turing acceptors and principal AFLs. Zbl 0206.28703Book, R. V.; Greibach, S. A.; Ibarra, O. H.; Wegbreit, B. 8 1970 On strong reversibility in P systems and related problems. Zbl 1213.68272Ibarra, Oscar H. 8 2011 Controlled pushdown automata. Zbl 0278.68047Ibarra, Oscar H. 8 1973 Symbolic string verification: Combining string analysis and size analysis. Zbl 1234.68269Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H. 8 2009 Counter machines: Decidable properties and applications to verification problems. Zbl 0996.68091Ibarra, Oscar H.; Su, Jianwen; Dang, Zhe; Bultan, Tevfik; Kemmerer, Richard 7 2000 Learning regular languages from counterexamples. Zbl 0769.68108Ibarra, Oscar H.; Jiang, Tao 7 1991 On the containment and equivalence problems for two-way transducers. Zbl 1238.68077Ibarra, Oscar H.; Yen, Hsu-Chun 7 2012 Automata-based symbolic string analysis for vulnerability detection. Zbl 1291.68272Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H. 7 2014 A hierarchy theorem for polynomial-space recognition. Zbl 0294.02013Ibarra, Oscar H. 7 1974 Hierarchies of Turing machines with restricted tape alphabet size. Zbl 0307.68037Ibarra, Oscar H.; Sahni, Sartaj K. 7 1975 Characterizations of some restricted spiking neural P systems. Zbl 1187.68238Ibarra, Oscar H.; Woodworth, Sara 7 2006 On stateless multihead automata: hierarchies and the emptiness problem. Zbl 1184.68316Ibarra, Oscar H.; Karhumäki, Juhani; Okhotin, Alexander 7 2010 Similarity in languages and programs. Zbl 1296.68091Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H. 7 2013 On stateless multihead automata: Hierarchies and the emptiness problem. Zbl 1136.68397Ibarra, Oscar H.; Karhumäki, Juhani; Okhotin, Alexander 7 2008 On partially blind multihead finite automata. Zbl 1160.68414Ibarra, Oscar H.; Ravikumar, Bala 6 2006 Two-dimensional iterative arrays: Characterizations and applications. Zbl 0644.68080Ibarra, Oscar H.; Palis, Michael A. 6 1988 On the computational complexity of P automata. Zbl 1116.68449Csuhaj-Varjú, Erzsébet; Ibarra, Oscar H.; Vaszil, György 6 2005 On the computational complexity of membrane systems. Zbl 1068.68060Ibarra, Oscar H. 6 2004 Information rate of some classes of non-regular languages: an automata-theoretic approach (extended abstract). Zbl 1425.68192Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H. 6 2014 Visibly pushdown automata and transducers with counters. Zbl 1373.68282Ibarra, Oscar H. 6 2016 The complexity of the equivalence problem for simple programs. Zbl 0462.68023Gurari, Eitan M.; Ibarra, Oscar H. 6 1981 On the decidability of equivalence for deterministic pushdown transducers. Zbl 0473.68077Ibarra, Oscar H.; Rosier, Louis E. 6 1981 2DST mappings of languages and related problems. Zbl 0485.68072Ibarra, Oscar H. 6 1982 Asynchronous spiking neural P systems: Decidability and undecidability. Zbl 1137.68377Cavaliere, Matteo; Egecioglu, Omer; Ibarra, Oscar H.; Ionescu, Mihai; Păun, Gheorghe; Woodworth, Sara 6 2008 On bounded semilinear languages, counter machines, and finite-index ET0L. Zbl 1475.68156Ibarra, Oscar H.; McQuillan, Ian 6 2016 A characterization of exponential-time languages by alternating context- free grammars. Zbl 0774.68073Ibarra, Oscar H.; Jiang, Tao; Wang, Hui 5 1992 On various notions of parallelism in P systems. Zbl 1161.68470Ibarra, Oscar H.; Yen, Hsu-Chun; Dang, Zhe 5 2005 On membrane hierarchy in P systems. Zbl 1080.68035Ibarra, Oscar H. 5 2005 Deletion operations on deterministic families of automata. Zbl 1376.68089Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 5 2017 Deletion operations on deterministic families of automata. Zbl 1459.68100Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 5 2015 A technique for proving decidability of containment and equivalence of linear constraint queries. Zbl 0939.68028Ibarra, Oscar H.; Su, Jianwen 5 1999 On store languages of language acceptors. Zbl 1400.68107Ibarra, Oscar H.; McQuillan, Ian 5 2018 Characterizations of some classes of spiking neural P systems. Zbl 1187.68395Ibarra, Oscar H.; Woodworth, Sara 5 2008 Insertion operations on deterministic reversal-bounded counter machines. Zbl 1423.68249Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 5 2015 On spiking neural P systems. Zbl 1344.68077Ibarra, Oscar H.; Pérez-Jiménez, Mario J.; Yokomori, Takashi 5 2010 Simulating FAS-induced apoptosis by using P systems. Zbl 1160.68379Cheruku, Smitha; Păun, Andrei; Romero-Campero, Francisco J.; Pérez-Jiménez, Mario J.; Ibarra, Oscar H. 5 2007 Hierarchies and characterizations of stateless multicounter machines. Zbl 1248.68302Ibarra, Oscar H.; Eğecioğlu, Ömer 5 2009 On the decidability of model-checking for P systems. Zbl 1149.68404Dang, Zhe; Li, Cheng; Ibarra, Oscar H.; Xie, Gaoyan 5 2006 On stateless multicounter machines. Zbl 1268.68082Eğecioğlu, Ömer; Ibarra, Oscar H. 5 2009 On stateless multihead finite automata and multihead pushdown automata. Zbl 1247.68138Frisco, Pierluigi; Ibarra, Oscar H. 5 2009 Erratum to: Some observations concerning alternating Turing machines using small space. Zbl 0635.68041Chang, Jik H.; Ibarra, Oscar H.; Ravikumar, Bala; Berman, Leonard 4 1988 Path systems: Constructions, solutions and applications. Zbl 0447.68049Gurari, Eitan M.; Ibarra, Oscar H. 4 1980 Semilinearity of families of languages. Zbl 1458.68102Ibarra, Oscar H.; McQuillan, Ian 1 2020 On counting functions and slenderness of languages. Zbl 1484.68090Ibarra, Oscar H.; McQuillan, Ian; Ravikumar, Bala 2 2019 On families of full trios containing counter machine languages. Zbl 1436.68174Ibarra, Oscar H.; McQuillan, Ian 2 2019 Insertion operations on deterministic reversal-bounded counter machines. Zbl 1423.68250Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 1 2019 On store languages of language acceptors. Zbl 1400.68107Ibarra, Oscar H.; McQuillan, Ian 5 2018 Semilinearity of families of languages. Zbl 1458.68101Ibarra, Oscar H.; McQuillan, Ian 3 2018 On the density of context-free and counter languages. Zbl 1387.68155Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 3 2018 On the complexity and decidability of some problems involving shuffle. Zbl 1390.68392Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 2 2018 Variations of checking stack automata: obtaining unexpected decidability properties. Zbl 1395.68170Ibarra, Oscar H.; McQuillan, Ian 2 2018 On the density of languages accepted by Turing machines and other machine models. Zbl 1397.68116Ibarra, Oscar H.; McQuillan, Ian 2 2018 Generalizations of checking stack automata: characterizations and hierarchies. Zbl 06983396Ibarra, Oscar H.; McQuillan, Ian 1 2018 On counting functions of languages. Zbl 06983397Ibarra, Oscar H.; McQuillan, Ian; Ravikumar, Bala 1 2018 Grammatical characterizations of NPDAs and VPDAs with counters. Zbl 1400.68106Ibarra, Oscar H. 1 2018 Accepting runs in a two-way finite automaton. Zbl 1390.68397Ibarra, Oscar H.; Dang, Zhe; Li, Qin 1 2018 Deletion operations on deterministic families of automata. Zbl 1376.68089Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 5 2017 On the overlap assembly of strings and languages. Zbl 1415.68127Enaganti, Srujan Kumar; Ibarra, Oscar H.; Kari, Lila; Kopecki, Steffen 4 2017 On finite-index indexed grammars and their restrictions. Zbl 1485.68127D’Alessandro, Flavio; Ibarra, Oscar H.; McQuillan, Ian 4 2017 Further remarks on DNA overlap assembly. Zbl 1359.68069Enaganti, Srujan Kumar; Ibarra, Oscar H.; Kari, Lila; Kopecki, Steffen 3 2017 Information rate of some classes of non-regular languages: an automata-theoretic approach. Zbl 1376.68086Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H. 1 2017 The effect of end-markers on counter machines and commutativity. Zbl 1338.68150Ibarra, Oscar H.; McQuillan, Ian 9 2016 Visibly pushdown automata and transducers with counters. Zbl 1373.68282Ibarra, Oscar H. 6 2016 On bounded semilinear languages, counter machines, and finite-index ET0L. Zbl 1475.68156Ibarra, Oscar H.; McQuillan, Ian 6 2016 On families of full trios containing counter machine languages. Zbl 1436.68173Ibarra, Oscar H.; McQuillan, Ian 4 2016 Execution information rate for some classes of automata. Zbl 1333.68161Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H. 2 2016 On bounded languages and reversal-bounded automata. Zbl 1333.68168Ibarra, Oscar H.; Ravikumar, Bala 2 2016 On decidability and closure properties of language classes with respect to bio-operations. Zbl 1415.68131Ibarra, Oscar H. 1 2016 Deletion operations on deterministic families of automata. Zbl 1459.68100Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 5 2015 Insertion operations on deterministic reversal-bounded counter machines. Zbl 1423.68249Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian 5 2015 Semilinear sets and counter machines: a brief survey. Zbl 1335.68124Ibarra, Oscar H.; Seki, Shinnosuke 1 2015 Automata with reversal-bounded counters: a survey. Zbl 1416.68097Ibarra, Oscar H. 10 2014 Automata-based symbolic string analysis for vulnerability detection. Zbl 1291.68272Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H. 7 2014 Information rate of some classes of non-regular languages: an automata-theoretic approach (extended abstract). Zbl 1425.68192Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H. 6 2014 On decidability and closure properties of language classes with respect to bio-operations. Zbl 1423.68254Ibarra, Oscar H. 4 2014 Lossiness of communication channels modeled by transducers. Zbl 1369.94011Ibarra, Oscar H.; Cui, Cewei; Dang, Zhe; Fischer, Thomas R. 1 2014 Some decision questions concerning the time complexity of language acceptors. Zbl 1310.68132Ibarra, Oscar H.; Ravikumar, Bala 1 2014 Weak synchronization and synchronizability of multi-tape pushdown automata and Turing machines. Zbl 1355.68089Ibarra, Oscar H.; Tran, Nicholas Q. 1 2014 Similarity in languages and programs. Zbl 1296.68091Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H. 7 2013 Execution information rate for some classes of automata. Zbl 1333.68160Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H. 4 2013 On the open problem of Ginsburg concerning semilinear sets and related problems. Zbl 1296.68094Ibarra, Oscar H.; Seki, Shinnosuke 1 2013 How to synchronize the heads of a multitape automaton. Zbl 1286.68285Ibarra, Oscar H.; Tran, Nicholas Q. 1 2013 Characterizations of bounded semilinear languages by one-way and two-way deterministic machines. Zbl 1272.68210Ibarra, Oscar H.; Seki, Shinnosuke 16 2012 One-reversal counter machines and multihead automata: revisited. Zbl 1247.68133Chiniforooshan, Ehsan; Daley, Mark; Ibarra, Oscar H.; Kari, Lila; Seki, Shinnosuke 8 2012 On the containment and equivalence problems for two-way transducers. Zbl 1238.68077Ibarra, Oscar H.; Yen, Hsu-Chun 7 2012 Multitape NFA: weak synchronization of the input heads. Zbl 1298.68131Eğecioğlu, Ömer; Ibarra, Oscar H.; Tran, Nicholas Q. 2 2012 On synchronized multi-tape and multi-head automata. Zbl 1253.68204Ibarra, Oscar H.; Tran, Nicholas Q. 1 2012 How to synchronize the heads of a multitape automaton. Zbl 1297.68140Ibarra, Oscar H.; Tran, Nicholas Q. 1 2012 Weak synchronization and synchronizability of multitape pushdown automata and Turing machines. Zbl 1351.68102Ibarra, Oscar H.; Tran, Nicholas Q. 1 2012 On strong reversibility in P systems and related problems. Zbl 1213.68272Ibarra, Oscar H. 8 2011 Relational string verification using multi-track automata. Zbl 1234.68270Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H. 4 2011 Relational string verification using multi-track automata. Zbl 1297.68280Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H. 3 2011 Characterizations of bounded semilinear languages by one-way and two-way deterministic machines. Zbl 1341.68093Ibarra, Oscar H.; Seki, Shinnosuke 3 2011 One-reversal counter machines and multihead automata: revisited. Zbl 1298.68127Chiniforooshan, Ehsan; Daley, Mark; Ibarra, Oscar H.; Kari, Lila; Seki, Shinnosuke 2 2011 On two-way transducers. Zbl 1221.68134Ibarra, Oscar H.; Yen, Hsu-Chun 1 2011 On synchronized multitape and multihead automata. Zbl 1341.68094Ibarra, Oscar H.; Tran, Nicholas Q. 1 2011 On stateless multihead automata: hierarchies and the emptiness problem. Zbl 1184.68316Ibarra, Oscar H.; Karhumäki, Juhani; Okhotin, Alexander 7 2010 On spiking neural P systems. Zbl 1344.68077Ibarra, Oscar H.; Pérez-Jiménez, Mario J.; Yokomori, Takashi 5 2010 On sets of numbers accepted by P/T systems composed by join. Zbl 1234.68297Frisco, Pierluigi; Ibarra, Oscar H. 4 2010 On the universe, disjointness, and containment problems for simple machines. Zbl 1204.68120Ibarra, Oscar H. 1 2010 Asynchronous spiking neural P systems. Zbl 1168.68014Cavaliere, Matteo; Ibarra, Oscar H.; Păun, Gheorghe; Egecioglu, Omer; Ionescu, Mihai; Woodworth, Sara 28 2009 Sequential SNP systems based on min/max spike number. Zbl 1173.68020Ibarra, Oscar H.; Păun, Andrei; Rodríguez-Patón, Alfonso 21 2009 Symbolic string verification: Combining string analysis and size analysis. Zbl 1234.68269Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H. 8 2009 Hierarchies and characterizations of stateless multicounter machines. Zbl 1248.68302Ibarra, Oscar H.; Eğecioğlu, Ömer 5 2009 On stateless multicounter machines. Zbl 1268.68082Eğecioğlu, Ömer; Ibarra, Oscar H. 5 2009 On stateless multihead finite automata and multihead pushdown automata. Zbl 1247.68138Frisco, Pierluigi; Ibarra, Oscar H. 5 2009 Sequentiality induced by spike number in SNP systems. Zbl 1258.68059Ibarra, Oscar H.; Păun, Andrei; Rodríguez-Patón, Alfonso 2 2009 Algorithms and computation. 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16–18, 2009. Proceedings. Zbl 1178.68008 1 2009 On stateless automata and P systems. Zbl 1175.68180Yang, Linmin; Dang, Zhe; Ibarra, Oscar H. 10 2008 On stateless multihead automata: Hierarchies and the emptiness problem. Zbl 1136.68397Ibarra, Oscar H.; Karhumäki, Juhani; Okhotin, Alexander 7 2008 Asynchronous spiking neural P systems: Decidability and undecidability. Zbl 1137.68377Cavaliere, Matteo; Egecioglu, Omer; Ibarra, Oscar H.; Ionescu, Mihai; Păun, Gheorghe; Woodworth, Sara 6 2008 Characterizations of some classes of spiking neural P systems. Zbl 1187.68395Ibarra, Oscar H.; Woodworth, Sara 5 2008 On spiking neural P systems and partially blind counter machines. Zbl 1138.68033Ibarra, Oscar H.; Woodworth, Sara; Yu, Fang; Păun, Andrei 3 2008 Minimum-cost delegation in service composition. Zbl 1171.68002Gerede, Cagdas E.; Ibarra, Oscar H.; Ravikumar, Bala; Su, Jianwen 2 2008 Discrete nondeterministic modeling of the Fas pathway. Zbl 1175.68177Jack, John; Rodríguez-Patón, Alfonso; Ibarra, Oscar H.; Păun, Andrei 1 2008 Normal forms for spiking neural P systems. Zbl 1111.68040Ibarra, Oscar H.; Păun, Andrei; Păun, Gheorghe; Rodríguez-Patón, Alfonso; Sosík, Petr; Woodworth, Sara 23 2007 Simulating FAS-induced apoptosis by using P systems. Zbl 1160.68379Cheruku, Smitha; Păun, Andrei; Romero-Campero, Francisco J.; Pérez-Jiménez, Mario J.; Ibarra, Oscar H. 5 2007 Spiking neural P systems: Some characterizations. Zbl 1135.68413Ibarra, Oscar H.; Woodworth, Sara 2 2007 Characterizing regular languages by spiking neural P systems. Zbl 1183.68341Ibarra, Oscar H.; Woodworth, Sara 2 2007 Bond computing systems: A biologically inspired and high-level dynamics model for pervasive computing. Zbl 1175.68172Yang, Linmin; Dang, Zhe; Ibarra, Oscar H. 1 2007 On spiking neural P systems and partially blind counter machines. Zbl 1126.68428Ibarra, Oscar H.; Woodworth, Sara; Yu, Fang; Păun, Andrei 11 2006 On the computational complexity of P automata. Zbl 1112.68057Csuhaj-Varjú, Erzsébet; Ibarra, Oscar H.; Vaszil, György 8 2006 Characterizations of some restricted spiking neural P systems. Zbl 1187.68238Ibarra, Oscar H.; Woodworth, Sara 7 2006 On partially blind multihead finite automata. Zbl 1160.68414Ibarra, Oscar H.; Ravikumar, Bala 6 2006 On the decidability of model-checking for P systems. Zbl 1149.68404Dang, Zhe; Li, Cheng; Ibarra, Oscar H.; Xie, Gaoyan 5 2006 Deterministic catalytic systems are not universal. Zbl 1153.68019Ibarra, Oscar H.; Yen, Hsu-Chun 3 2006 Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems. Zbl 1097.68060Ibarra, Oscar H.; Păun, Gheorghe 3 2006 On the solvability of a class of Diophantine equations and applications. Zbl 1120.11017Ibarra, Oscar H.; Dang, Zhe 2 2006 On deterministic catalytic systems. Zbl 1172.68473Ibarra, Oscar H.; Yen, Hsu-Chun 1 2006 Some recent results concerning deterministic P systems. Zbl 1135.68412Ibarra, Oscar H. 1 2006 On the computational power of 1-deterministic and sequential \(P\) systems. Zbl 1157.68372Ibarra, Oscar H.; Woodworth, Sara; Yen, Hsu-Chun; Dang, Zhe 1 2006 Counting time in computing with cells. Zbl 1234.68111Ibarra, Oscar H.; Păun, Andrei 1 2006 On bounded symport/antiport P systems. Zbl 1234.68112Ibarra, Oscar H.; Woodworth, Sara 1 2006 On the computational complexity of P automata. Zbl 1116.68449Csuhaj-Varjú, Erzsébet; Ibarra, Oscar H.; Vaszil, György 6 2005 On various notions of parallelism in P systems. Zbl 1161.68470Ibarra, Oscar H.; Yen, Hsu-Chun; Dang, Zhe 5 2005 On membrane hierarchy in P systems. Zbl 1080.68035Ibarra, Oscar H. 5 2005 On model-checking of P systems. Zbl 1161.68454Dang, Zhe; Ibarra, Oscar H.; Li, Cheng; Xie, Gaoyan 3 2005 On composition and lookahead delegation of \(e\)-services modeled by automata. Zbl 1077.68042Dang, Zhe; Ibarra, Oscar H.; Su, Jianwen 2 2005 On one-membrane P systems operating in sequential mode. Zbl 1080.68032Dang, Zhe; Ibarra, Oscar H. 2 2005 On determinism versus nondeterminism in P systems. Zbl 1079.68036Ibarra, Oscar H. 2 2005 On two-way nondeterministic finite automata with one reversal-bounded counter. Zbl 1078.68080Dang, Zhe; Ibarra, Oscar H.; Sun, Zhi-Wei 1 2005 Signaling P systems and verification problems. Zbl 1081.68021Li, Cheng; Dang, Zhe; Ibarra, Oscar H.; Yen, Hsu-Chun 1 2005 ...and 140 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,582 Authors 145 Ibarra, Oscar H. 31 Kutrib, Martin 27 Malcher, Andreas 26 Dang, Zhe 26 Păun, Gheorghe 25 Salomaa, Kai T. 24 McQuillan, Ian 24 Okhotin, Alexander 18 Pan, Linqiang 14 Inoue, Katsushi 13 Hromkovič, Juraj 13 Pérez-Jiménez, Mario J. 12 Epstein, Leah 12 Geffert, Viliam 12 Jiang, Tao 12 Karhumaki, Juhani 11 Holzer, Markus 11 Kari, Lila 11 Ravikumar, Bala 11 Trân, Nicholas Q. 11 Wang, Jun 11 Yu, Sheng 10 D’Alessandro, Flavio 10 Păun, Andrei 10 Peng, Hong 10 Terrier, Véronique 9 Demri, Stéphane P. 9 Mitrana, Victor 9 Palis, Michael A. 9 Rosier, Louis E. 9 Salomaa, Arto Kustaa 9 Vaszil, Gyorgy 9 Wendlandt, Matthias 9 Zeng, Xiangxiang 8 Csuhaj-Varjú, Erzsébet 8 Filiot, Emmanuel 8 Gurari, Eitan M. 8 Han, Yo-Sub 8 Ito, Akira 8 Krithivasan, Kamala 8 Rytter, Wojciech 7 Culik, Karel II 7 Daley, Mark 7 Dassow, Jürgen 7 Greibach, Sheila A. 7 Moran, Shlomo 7 Otto, Friedrich 7 Say, A. C. Cem 7 Sosík, Petr 7 Yen, Hsuchun 6 Bultan, Tevfik 6 Cabarle, Francis George C. 6 Chrobak, Marek 6 Ďuriš, Pavol 6 Egecioglu, Omer 6 Freund, Rudolf 6 Han, Xin 6 Kellerer, Johann 6 Kovalëv, Mikhail Yakovlevich 6 Mateescu, Alexandru 6 Mereghetti, Carlo 6 Palano, Beatrice 6 Rozenberg, Grzegorz 6 Seki, Shinnosuke 6 Song, Tao 6 Su, Jianwen 6 Takanami, Itsuo 6 Woeginger, Gerhard 6 Yang, Qian 6 Yokomori, Takashi 5 Adorna, Henry Natividad 5 Aho, Alfred Vaino 5 Alhazov, Artiom 5 Chang, Jik Hyun 5 Cho, Da-Jung 5 Engelfriet, Joost 5 Fernau, Henning 5 Finkel, Alain 5 Fischer, Thomas Robert 5 Hoogeboom, Hendrik Jan 5 Huynh, Dung T. 5 Jansen, Klaus 5 Kacem, Imed 5 Levin, Asaf 5 Lohrey, Markus 5 Maciejewski, Anthony A. 5 Martín-Vide, Carlos 5 Mauri, Giancarlo 5 Rawitz, Dror 5 Reidenbach, Daniel 5 Rodríguez-Patón, Alfonso 5 Siegel, Howard Jay 5 Tan, Zhiyi 5 Trystram, Denis R. 5 Ullman, Jeffrey David 5 Wang, Hui 5 Wang, Yue 5 Wotschke, Detlef 4 Bao, Tingting 4 Chan, Tat-Hung ...and 1,482 more Authors all top 5 Cited in 155 Serials 300 Theoretical Computer Science 68 International Journal of Foundations of Computer Science 64 Journal of Computer and System Sciences 45 Information Processing Letters 44 Information and Computation 41 Discrete Applied Mathematics 30 European Journal of Operational Research 29 Natural Computing 28 Mathematical Systems Theory 22 International Journal of Computer Mathematics 19 Acta Informatica 18 Operations Research Letters 18 Algorithmica 17 Information Sciences 15 Journal of Scheduling 14 Computers & Operations Research 13 Theory of Computing Systems 13 Journal of Membrane Computing 12 Journal of Combinatorial Optimization 10 Journal of Parallel and Distributed Computing 10 RAIRO. Informatique Théorique et Applications 8 RAIRO, Informatique Théorique 8 Journal of Symbolic Computation 8 Mathematical Programming. Series A. Series B 8 RAIRO. Theoretical Informatics and Applications 8 Discrete Optimization 6 Annals of Operations Research 6 RAIRO. Operations Research 5 Journal of Soviet Mathematics 5 Formal Methods in System Design 5 Logical Methods in Computer Science 5 RAIRO. Theoretical Informatics and Applications 4 Kybernetika 4 Journal of Complexity 4 Mathematical and Computer Modelling 4 Journal of Discrete Algorithms 3 Computers & Mathematics with Applications 3 Journal of Optimization Theory and Applications 3 Mathematics of Operations Research 3 Mathematical Programming 3 Cybernetics 3 International Journal of Parallel Programming 3 Asia-Pacific Journal of Operational Research 3 International Journal of Algebra and Computation 3 Journal of Global Optimization 3 Linear Algebra and its Applications 3 Distributed Computing 3 Computational Complexity 3 Mathematical Methods of Operations Research 3 4OR 3 Computer Science Review 2 Artificial Intelligence 2 Mathematical Notes 2 Problems of Information Transmission 2 Computing 2 Naval Research Logistics 2 Operations Research 2 Advances in Applied Mathematics 2 Optimization 2 Discrete & Computational Geometry 2 SIAM Journal on Discrete Mathematics 2 Formal Aspects of Computing 2 Neural Computation 2 Games and Economic Behavior 2 Automation and Remote Control 2 Cybernetics and Systems Analysis 2 Computational Optimization and Applications 2 Journal of Applied Non-Classical Logics 2 Journal of Inverse and Ill-Posed Problems 2 Annals of Mathematics and Artificial Intelligence 2 Complexity 2 Soft Computing 2 The Journal of Logic and Algebraic Programming 2 ACM Transactions on Computational Logic 2 Arabian Journal for Science and Engineering 2 Journal of the Operations Research Society of China 2 Journal of Logical and Algebraic Methods in Programming 1 Communications in Algebra 1 Computer Methods in Applied Mechanics and Engineering 1 Computer Physics Communications 1 Discrete Mathematics 1 International Journal of General Systems 1 International Journal of Mathematical Education in Science and Technology 1 International Journal of Systems Science 1 Journal of Mathematical Analysis and Applications 1 Mathematics of Computation 1 Chaos, Solitons and Fractals 1 Calcolo 1 International Journal of Computer & Information Sciences 1 Journal of Algebra 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Mathematische Zeitschrift 1 Numerische Mathematik 1 Opsearch 1 Semigroup Forum 1 SIAM Journal on Computing 1 European Journal of Combinatorics 1 OR Spektrum 1 Journal of Information & Optimization Sciences ...and 55 more Serials all top 5 Cited in 34 Fields 1,050 Computer science (68-XX) 284 Operations research, mathematical programming (90-XX) 94 Mathematical logic and foundations (03-XX) 45 Combinatorics (05-XX) 34 Numerical analysis (65-XX) 34 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 Biology and other natural sciences (92-XX) 21 Group theory and generalizations (20-XX) 20 Information and communication theory, circuits (94-XX) 18 Number theory (11-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 5 Field theory and polynomials (12-XX) 5 Convex and discrete geometry (52-XX) 4 Algebraic geometry (14-XX) 4 Associative rings and algebras (16-XX) 4 Quantum theory (81-XX) 3 Commutative algebra (13-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Statistics (62-XX) 2 Integral transforms, operational calculus (44-XX) 2 Algebraic topology (55-XX) 2 Probability theory and stochastic processes (60-XX) 2 Systems theory; control (93-XX) 1 History and biography (01-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.