×

zbMATH — the first resource for mathematics

Ibarra, Oscar H.

Compute Distance To:
Author ID: ibarra.oscar-h Recent zbMATH articles by "Ibarra, Oscar H."
Published as: Ibarra, Oscar H.; Ibarra, Oscar; Ibarra, O. H.; Ibarra, O.
Homepage: http://www.cs.ucsb.edu/~ibarra/
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 323 Publications since 1967, including 12 Books
Biographic References: 1 Publication
all top 5

Co-Authors

40 single-authored
50 Dang, Zhe
29 McQuillan, Ian
23 Ravikumar, Bala
22 Jiang, Tao
20 Trân, Nicholas Q.
15 Su, Jianwen
15 Yen, Hsu-Chun
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 Păun, Andrei
8 Eremondi, Joey
8 Kari, Lila
8 Kim, Chul Eung
8 Leininger, Brian S.
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 Bartzis, Constantinos
1 Book, Ronald Vernon
1 Bordim, Jacir Luiz
1 Carpi, Arturo
1 Cheruku, Smitha
1 Chwa, Kyungyong
1 Culik, Karel II
1 Diniz, Pedro C.
1 Dong, Yingfei
1 Du, Ding-Zhu
1 Gonzalez, Teofilo F.
1 Gray, James Nicholas
1 Greibach, Sheila A.
1 Holey, J. Andrew
1 Hui, Roger
1 Ito, Yasuaki
1 Jack, John
1 Lin, Qin
1 Melson, Richard T.
1 Pong, Ting-Chuen
1 Potapov, Igor
1 Poulakidas, Athanasios S.
1 Rinard, Martin C.
1 Romero-Campero, Francisco José
1 Saxena, Gaurav
1 Sohn, Stephen M.
1 Sosík, Petr
1 Srinivasan, Ashok
1 Wegbreit, Ben
1 Xu, Haiyan
1 Yokomori, Takashi
1 Yu, Sheng
1 Zhang, Louxin
1 Zhu, Hongjun

Publications by Year

Citations contained in zbMATH Open

235 Publications have been cited 1,910 times in 1,165 Documents Cited by Year
Fast approximation algorithms for the knapsack and sum of subset problems. Zbl 0345.90049
Ibarra, Oscar H.; Kim, Chul E.
216
1975
Reversal-bounded multicounter machines and their decision problems. Zbl 0365.68059
Ibarra, Oscar H.
158
1978
Heuristic algorithms for scheduling independent tasks on nonidentical processors. Zbl 0382.90048
Ibarra, Oscar H.; Kim, Chul E.
59
1977
The complexity of decision problems for finite-turn multicounter machines. Zbl 0458.68011
Gurari, Eitan M.; Ibarra, Oscar H.
48
1981
Simple matrix languages. Zbl 0221.68041
Ibarra, Oscar H.
48
1970
On two-way multihead automata. Zbl 0256.68028
Ibarra, Oscar H.
43
1973
Bounds for LPT schedules on uniform processors. Zbl 0347.68043
Gonzalez, Teofilo; Ibarra, Oscar H.; Sahni, Sartaj
38
1977
Multi-tape and multi-head pushdown automata. Zbl 0174.02701
Harrison, M. A.; Ibarra, O. H.
36
1968
Some decision problems concerning semilinearity and commutation. Zbl 1059.68061
Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto
31
2002
The unsolvability of the equivalence problem for \(\varepsilon\)-free NGSM’s with unary input (output) alphabet and applications. Zbl 0386.68054
Ibarra, Oscar H.
29
1978
Characterizations and computational complexity of systolic trellis automata. Zbl 0536.68048
Ibarra, Oscar H.; Kim, Sam M.
28
1984
A note on semilinear sets and bounded-reversal multihead pushdown automata. Zbl 0294.68019
Ibarra, Oscar H.
28
1974
Asynchronous spiking neural P systems. Zbl 1168.68014
Cavaliere, Matteo; Ibarra, Oscar H.; Păun, Gheorghe; Egecioglu, Omer; Ionescu, Mihai; Woodworth, Sara
27
2009
A note on finite-valued and finitely ambiguous transducers. Zbl 0502.68022
Gurari, Eitan M.; Ibarra, Oscar H.
26
1983
Relating the type of ambiguity of finite automata to the succinctness of their representation. Zbl 0692.68049
Ravikumar, Bala; Ibarra, Oscar H.
25
1989
New decidability results concerning two-way counter machines. Zbl 0828.68075
Ibarra, Oscar H.; Jiang, Tao; Tran, Nicholas; Wang, Hui
24
1995
Normal forms for spiking neural P systems. Zbl 1111.68040
Ibarra, Oscar H.; Păun, Andrei; Păun, Gheorghe; Rodríguez-Patón, Alfonso; Sosík, Petr; Woodworth, Sara
23
2007
Two-way pushdown automata. Zbl 0166.26601
Gray, J. N.; Harrison, Michael A.; Ibarra, O. H.
22
1967
Probabilistic algorithms for deciding equivalence of straight-line programs. Zbl 0497.68013
Ibarra, Oscar H.; Moran, Shlomo
22
1983
Binary reachability analysis of discrete pushdown timed automata. Zbl 0974.68085
Dang, Zhe; Ibarra, Oscar H.; Bultan, Tevfik; Kemmerer, Richard A.; Su, Jianwen
21
2000
A generalization of the fast LUP matrix decomposition algorithm and applications. Zbl 0492.65024
Ibarra, Oscar H.; Moran, Shlomo; Hui, Roger
21
1982
Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata. Zbl 0255.68012
Ibarra, Oscar H.
21
1971
Sequential machine characterizations of trellis and cellular automata and applications. Zbl 0574.68044
Ibarra, Oscar H.; Kim, Sam M.; Moran, Shlomo
20
1985
Sequential SNP systems based on min/max spike number. Zbl 1173.68020
Ibarra, Oscar H.; Păun, Andrei; Rodríguez-Patón, Alfonso
20
2009
On sparseness, ambiguity and other decision problems for acceptors and transducers. Zbl 0605.68080
Ibarra, Oscar H.; Ravikumar, B.
17
1986
On one-way cellular arrays. Zbl 0646.68070
Ibarra, Oscar H.; Jiang, Tao
17
1987
Relating the power of cellular arrays to their closure properties. Zbl 0646.68071
Ibarra, Oscar H.; Jiang, Tao
16
1988
Characterizations of bounded semilinear languages by one-way and two-way deterministic machines. Zbl 1272.68210
Ibarra, Oscar H.; Seki, Shinnosuke
16
2012
Catalytic P systems, semilinear sets, and vector addition systems. Zbl 1070.68043
Ibarra, Oscar H.; Dang, Zhe; Egecioglu, Omer
16
2004
Finite automata with multiplication. Zbl 0345.68029
Ibarra, Oscar H.; Sahni, Sartaj K.; Kim, Chul E.
16
1976
Closure and decidability properties of some language classes with respect to ciliate bio-operations. Zbl 1060.68060
Daley, Mark; Ibarra, Oscar H.; Kari, Lila
15
2003
A note concerning nondeterministic tape complexities. Zbl 0245.94044
Ibarra, Oscar H.
15
1972
Two-way counter machines and diophantine equations. Zbl 0496.03020
Gurari, Eitan M.; Ibarra, Oscar H.
13
1982
Approximation algorithms for certain scheduling problems. Zbl 0404.90040
Ibarra, Oscar H.; Kim, Chul E.
13
1978
A solvable class of quadratic Diophantine equations with applications to verification of infinite-state systems. Zbl 1039.68077
Xie, Gaoyan; Dang, Zhe; Ibarra, Oscar H.
12
2003
Some observations concerning alternating Turing machines using small space. Zbl 0635.68040
Chang, Jik H.; Ibarra, Oscar H.; Ravikumar, Bala; Berman, Leonard
12
1987
Parallel parsing on a one-way array of finite-state machines. Zbl 0634.68084
Chang, Jik H.; Ibarra, Oscar H.; Palis, Michael A.
11
1987
On the finite-valuedness problem for sequential machines. Zbl 0503.68037
Chan, Tat-hung; Ibarra, Oscar H.
11
1983
Polynomially complete fault detection problems. Zbl 0302.68063
Ibarra, Oscar H.; Sahni, Sartaj K.
11
1975
On 3-head versus 2-head finite automata. Zbl 0291.94029
Ibarra, Oscar H.; Kim, Chul E.
10
1975
On stateless automata and P systems. Zbl 1175.68180
Yang, Linmin; Dang, Zhe; Ibarra, Oscar H.
10
2008
On spiking neural P systems and partially blind counter machines. Zbl 1126.68428
Ibarra, Oscar H.; Woodworth, Sara; Yu, Fang; Păun, Andrei
10
2006
Counter machines and verification problems. Zbl 1061.68095
Ibarra, 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.68150
Ibarra, Oscar H.; McQuillan, Ian
9
2016
Characterizations of catalytic membrane computing systems. Zbl 1124.68364
Ibarra, Oscar H.; Dang, Zhe; Egecioglu, Omer; Saxena, Gaurav
9
2003
A useful device for showing the solvability of some decision problems. Zbl 0338.68046
Ibarra, Oscar H.; Kim, Chul E.
9
1976
Simple counter machines and number-theoretic problems. Zbl 0426.68036
Gurari, Eitan M.; Ibarra, Oscar H.
9
1979
Restricted one-counter machines with undecidable universe problems. Zbl 0428.03038
Ibarra, Oscar H.
9
1979
Reachability analysis for some models of infinite-state transition systems. Zbl 0999.68139
Ibarra, Oscar H.; Bultan, Tevfik; Su, Jianwen
8
2000
On pebble automata. Zbl 0612.68045
Chang, Jik H.; Ibarra, Oscar H.; Palis, Michael A.; Ravikumar, B.
8
1986
Some subclasses of context-free languages in \(NC^ 1\). Zbl 0659.68073
Ibarra, Oscar H.; Jiang, Tao; Ravikumar, Bala
8
1988
Tape-bounded Turing acceptors and principal AFLs. Zbl 0206.28703
Book, R. V.; Greibach, S. A.; Ibarra, O. H.; Wegbreit, B.
8
1970
Controlled pushdown automata. Zbl 0278.68047
Ibarra, Oscar H.
8
1973
On the computational complexity of P automata. Zbl 1112.68057
Csuhaj-Varjú, Erzsébet; Ibarra, Oscar H.; Vaszil, György
8
2006
Symbolic string verification: Combining string analysis and size analysis. Zbl 1234.68269
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
8
2009
On strong reversibility in P systems and related problems. Zbl 1213.68272
Ibarra, Oscar H.
8
2011
One-reversal counter machines and multihead automata: revisited. Zbl 1247.68133
Chiniforooshan, Ehsan; Daley, Mark; Ibarra, Oscar H.; Kari, Lila; Seki, Shinnosuke
8
2012
An NP-complete number-theoretic problem. Zbl 0407.68053
Gurari, Eitan M.; Ibarra, Oscar H.
8
1979
Counter machines: Decidable properties and applications to verification problems. Zbl 0996.68091
Ibarra, Oscar H.; Su, Jianwen; Dang, Zhe; Bultan, Tevfik; Kemmerer, Richard
7
2000
Learning regular languages from counterexamples. Zbl 0769.68108
Ibarra, Oscar H.; Jiang, Tao
7
1991
Fast parallel language recognition by cellular automata. Zbl 0591.68054
Ibarra, Oscar H.; Palis, Michael A.; Kim, Sam M.
7
1985
A characterization of systolic binary tree automata and applications. Zbl 0521.68048
Ibarra, Oscar H.; Kim, Sam M.
7
1984
On stateless multihead automata: Hierarchies and the emptiness problem. Zbl 1136.68397
Ibarra, Oscar H.; Karhumäki, Juhani; Okhotin, Alexander
7
2008
A hierarchy theorem for polynomial-space recognition. Zbl 0294.02013
Ibarra, Oscar H.
7
1974
Hierarchies of Turing machines with restricted tape alphabet size. Zbl 0307.68037
Ibarra, Oscar H.; Sahni, Sartaj K.
7
1975
On stateless multihead automata: hierarchies and the emptiness problem. Zbl 1184.68316
Ibarra, Oscar H.; Karhumäki, Juhani; Okhotin, Alexander
7
2010
On the computational complexity of membrane systems. Zbl 1068.68060
Ibarra, Oscar H.
6
2004
Information rate of some classes of non-regular languages: an automata-theoretic approach (extended abstract). Zbl 1425.68192
Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H.
6
2014
Similarity in languages and programs. Zbl 1296.68091
Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H.
6
2013
Sublogarithmic-space Turing machines, nonuniform space complexity, and closure properties. Zbl 0661.68048
Ibarra, Oscar H.; Ravikumar, Bala
6
1988
The complexity of the equivalence problem for simple programs. Zbl 0462.68023
Gurari, Eitan M.; Ibarra, Oscar H.
6
1981
On the decidability of equivalence for deterministic pushdown transducers. Zbl 0473.68077
Ibarra, Oscar H.; Rosier, Louis E.
6
1981
2DST mappings of languages and related problems. Zbl 0485.68072
Ibarra, Oscar H.
6
1982
Automata with reversal-bounded counters: a survey. Zbl 1416.68097
Ibarra, Oscar H.
6
2014
On the containment and equivalence problems for two-way transducers. Zbl 1238.68077
Ibarra, Oscar H.; Yen, Hsu-Chun
6
2012
Asynchronous spiking neural P systems: Decidability and undecidability. Zbl 1137.68377
Cavaliere, Matteo; Egecioglu, Omer; Ibarra, Oscar H.; Ionescu, Mihai; Păun, Gheorghe; Woodworth, Sara
6
2008
On the computational complexity of P automata. Zbl 1116.68449
Csuhaj-Varjú, Erzsébet; Ibarra, Oscar H.; Vaszil, György
6
2005
Characterizations of some restricted spiking neural P systems. Zbl 1187.68238
Ibarra, Oscar H.; Woodworth, Sara
6
2006
On partially blind multihead finite automata. Zbl 1160.68414
Ibarra, Oscar H.; Ravikumar, Bala
6
2006
On bounded semilinear languages, counter machines, and finite-index ET0L. Zbl 06650029
Ibarra, Oscar H.; McQuillan, Ian
6
2016
Visibly pushdown automata and transducers with counters. Zbl 1373.68282
Ibarra, Oscar H.
6
2016
A characterization of exponential-time languages by alternating context- free grammars. Zbl 0774.68073
Ibarra, Oscar H.; Jiang, Tao; Wang, Hui
5
1992
Deletion operations on deterministic families of automata. Zbl 1459.68100
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
5
2015
Two-dimensional iterative arrays: Characterizations and applications. Zbl 0644.68080
Ibarra, Oscar H.; Palis, Michael A.
5
1988
A technique for proving decidability of containment and equivalence of linear constraint queries. Zbl 0939.68028
Ibarra, Oscar H.; Su, Jianwen
5
1999
Simulating FAS-induced apoptosis by using P systems. Zbl 1160.68379
Cheruku, Smitha; Păun, Andrei; Romero-Campero, Francisco J.; Pérez-Jiménez, Mario J.; Ibarra, Oscar H.
5
2007
Automata-based symbolic string analysis for vulnerability detection. Zbl 1291.68272
Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H.
5
2014
Characterizations of some classes of spiking neural P systems. Zbl 1187.68395
Ibarra, Oscar H.; Woodworth, Sara
5
2008
On stateless multihead finite automata and multihead pushdown automata. Zbl 1247.68138
Frisco, Pierluigi; Ibarra, Oscar H.
5
2009
Hierarchies and characterizations of stateless multicounter machines. Zbl 1248.68302
Ibarra, Oscar H.; Eğecioğlu, Ömer
5
2009
On stateless multicounter machines. Zbl 1268.68082
Eğecioğlu, Ömer; Ibarra, Oscar H.
5
2009
On spiking neural P systems. Zbl 1344.68077
Ibarra, Oscar H.; Pérez-Jiménez, Mario J.; Yokomori, Takashi
5
2010
On membrane hierarchy in P systems. Zbl 1080.68035
Ibarra, Oscar H.
5
2005
On various notions of parallelism in P systems. Zbl 1161.68470
Ibarra, Oscar H.; Yen, Hsu-Chun; Dang, Zhe
5
2005
Parallel parsing on a one-way linear array of finite-state machines. Zbl 0756.68072
Ibarra, Oscar H.; Jiang, Tao; Wang, Hui
4
1991
On space-bounded synchronized alternating Turing machines. Zbl 0925.03183
Ibarra, Oscar H.; Tran, Nicholas Q.
4
1991
Liveness verification of reversal-bounded multicounter machines with a free counter. Zbl 1053.03021
Dang, Zhe; Ibarra, Oscar H.; San Pietro, Pierluigi
4
2001
On finite-index indexed grammars and their restrictions. Zbl 06725144
D’Alessandro, Flavio; Ibarra, Oscar H.; McQuillan, Ian
4
2017
On decidability and closure properties of language classes with respect to bio-operations. Zbl 1423.68254
Ibarra, Oscar H.
4
2014
Insertion operations on deterministic reversal-bounded counter machines. Zbl 1423.68249
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
4
2015
On families of full trios containing counter machine languages. Zbl 1436.68174
Ibarra, Oscar H.; McQuillan, Ian
1
2019
On counting functions and slenderness of languages. Zbl 07067598
Ibarra, Oscar H.; McQuillan, Ian; Ravikumar, Bala
1
2019
Insertion operations on deterministic reversal-bounded counter machines. Zbl 1423.68250
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
1
2019
On store languages of language acceptors. Zbl 1400.68107
Ibarra, Oscar H.; McQuillan, Ian
4
2018
Semilinearity of families of languages. Zbl 1458.68101
Ibarra, Oscar H.; McQuillan, Ian
3
2018
On the density of languages accepted by Turing machines and other machine models. Zbl 1397.68116
Ibarra, Oscar H.; McQuillan, Ian
2
2018
On the complexity and decidability of some problems involving shuffle. Zbl 1390.68392
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
2
2018
On the density of context-free and counter languages. Zbl 1387.68155
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
2
2018
Variations of checking stack automata: obtaining unexpected decidability properties. Zbl 1395.68170
Ibarra, Oscar H.; McQuillan, Ian
2
2018
Accepting runs in a two-way finite automaton. Zbl 1390.68397
Ibarra, Oscar H.; Dang, Zhe; Li, Qin
1
2018
Grammatical characterizations of NPDAs and VPDAs with counters. Zbl 1400.68106
Ibarra, Oscar H.
1
2018
On counting functions of languages. Zbl 06983397
Ibarra, Oscar H.; McQuillan, Ian; Ravikumar, Bala
1
2018
On finite-index indexed grammars and their restrictions. Zbl 06725144
D’Alessandro, Flavio; Ibarra, Oscar H.; McQuillan, Ian
4
2017
Deletion operations on deterministic families of automata. Zbl 1376.68089
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
4
2017
Further remarks on DNA overlap assembly. Zbl 1359.68069
Enaganti, Srujan Kumar; Ibarra, Oscar H.; Kari, Lila; Kopecki, Steffen
3
2017
On the overlap assembly of strings and languages. Zbl 1415.68127
Enaganti, 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.68086
Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H.
1
2017
The effect of end-markers on counter machines and commutativity. Zbl 1338.68150
Ibarra, Oscar H.; McQuillan, Ian
9
2016
On bounded semilinear languages, counter machines, and finite-index ET0L. Zbl 06650029
Ibarra, Oscar H.; McQuillan, Ian
6
2016
Visibly pushdown automata and transducers with counters. Zbl 1373.68282
Ibarra, Oscar H.
6
2016
On families of full trios containing counter machine languages. Zbl 1436.68173
Ibarra, Oscar H.; McQuillan, Ian
4
2016
Execution information rate for some classes of automata. Zbl 1333.68161
Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H.
2
2016
On bounded languages and reversal-bounded automata. Zbl 1333.68168
Ibarra, Oscar H.; Ravikumar, Bala
2
2016
On decidability and closure properties of language classes with respect to bio-operations. Zbl 1415.68131
Ibarra, Oscar H.
1
2016
Deletion operations on deterministic families of automata. Zbl 1459.68100
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
5
2015
Insertion operations on deterministic reversal-bounded counter machines. Zbl 1423.68249
Eremondi, Joey; Ibarra, Oscar H.; McQuillan, Ian
4
2015
Information rate of some classes of non-regular languages: an automata-theoretic approach (extended abstract). Zbl 1425.68192
Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H.
6
2014
Automata with reversal-bounded counters: a survey. Zbl 1416.68097
Ibarra, Oscar H.
6
2014
Automata-based symbolic string analysis for vulnerability detection. Zbl 1291.68272
Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H.
5
2014
On decidability and closure properties of language classes with respect to bio-operations. Zbl 1423.68254
Ibarra, Oscar H.
4
2014
Lossiness of communication channels modeled by transducers. Zbl 1369.94011
Ibarra, Oscar H.; Cui, Cewei; Dang, Zhe; Fischer, Thomas R.
1
2014
Some decision questions concerning the time complexity of language acceptors. Zbl 1310.68132
Ibarra, Oscar H.; Ravikumar, Bala
1
2014
Weak synchronization and synchronizability of multi-tape pushdown automata and Turing machines. Zbl 1355.68089
Ibarra, Oscar H.; Tran, Nicholas Q.
1
2014
Similarity in languages and programs. Zbl 1296.68091
Cui, Cewei; Dang, Zhe; Fischer, Thomas R.; Ibarra, Oscar H.
6
2013
Execution information rate for some classes of automata. Zbl 1333.68160
Cui, 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.68094
Ibarra, Oscar H.; Seki, Shinnosuke
1
2013
How to synchronize the heads of a multitape automaton. Zbl 1286.68285
Ibarra, Oscar H.; Tran, Nicholas Q.
1
2013
Characterizations of bounded semilinear languages by one-way and two-way deterministic machines. Zbl 1272.68210
Ibarra, Oscar H.; Seki, Shinnosuke
16
2012
One-reversal counter machines and multihead automata: revisited. Zbl 1247.68133
Chiniforooshan, Ehsan; Daley, Mark; Ibarra, Oscar H.; Kari, Lila; Seki, Shinnosuke
8
2012
On the containment and equivalence problems for two-way transducers. Zbl 1238.68077
Ibarra, Oscar H.; Yen, Hsu-Chun
6
2012
Multitape NFA: weak synchronization of the input heads. Zbl 1298.68131
Eğecioğlu, Ömer; Ibarra, Oscar H.; Tran, Nicholas Q.
2
2012
Weak synchronization and synchronizability of multitape pushdown automata and Turing machines. Zbl 1351.68102
Ibarra, Oscar H.; Tran, Nicholas Q.
1
2012
On synchronized multi-tape and multi-head automata. Zbl 1253.68204
Ibarra, Oscar H.; Tran, Nicholas Q.
1
2012
How to synchronize the heads of a multitape automaton. Zbl 1297.68140
Ibarra, Oscar H.; Tran, Nicholas Q.
1
2012
On strong reversibility in P systems and related problems. Zbl 1213.68272
Ibarra, Oscar H.
8
2011
Relational string verification using multi-track automata. Zbl 1234.68270
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
4
2011
Characterizations of bounded semilinear languages by one-way and two-way deterministic machines. Zbl 1341.68093
Ibarra, Oscar H.; Seki, Shinnosuke
3
2011
Relational string verification using multi-track automata. Zbl 1297.68280
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
3
2011
One-reversal counter machines and multihead automata: revisited. Zbl 1298.68127
Chiniforooshan, Ehsan; Daley, Mark; Ibarra, Oscar H.; Kari, Lila; Seki, Shinnosuke
2
2011
On two-way transducers. Zbl 1221.68134
Ibarra, Oscar H.; Yen, Hsu-Chun
1
2011
On synchronized multitape and multihead automata. Zbl 1341.68094
Ibarra, Oscar H.; Tran, Nicholas Q.
1
2011
On stateless multihead automata: hierarchies and the emptiness problem. Zbl 1184.68316
Ibarra, Oscar H.; Karhumäki, Juhani; Okhotin, Alexander
7
2010
On spiking neural P systems. Zbl 1344.68077
Ibarra, 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.68297
Frisco, Pierluigi; Ibarra, Oscar H.
4
2010
On the universe, disjointness, and containment problems for simple machines. Zbl 1204.68120
Ibarra, Oscar H.
1
2010
Asynchronous spiking neural P systems. Zbl 1168.68014
Cavaliere, Matteo; Ibarra, Oscar H.; Păun, Gheorghe; Egecioglu, Omer; Ionescu, Mihai; Woodworth, Sara
27
2009
Sequential SNP systems based on min/max spike number. Zbl 1173.68020
Ibarra, Oscar H.; Păun, Andrei; Rodríguez-Patón, Alfonso
20
2009
Symbolic string verification: Combining string analysis and size analysis. Zbl 1234.68269
Yu, Fang; Bultan, Tevfik; Ibarra, Oscar H.
8
2009
On stateless multihead finite automata and multihead pushdown automata. Zbl 1247.68138
Frisco, Pierluigi; Ibarra, Oscar H.
5
2009
Hierarchies and characterizations of stateless multicounter machines. Zbl 1248.68302
Ibarra, Oscar H.; Eğecioğlu, Ömer
5
2009
On stateless multicounter machines. Zbl 1268.68082
Eğecioğlu, Ömer; Ibarra, Oscar H.
5
2009
Sequentiality induced by spike number in SNP systems. Zbl 1258.68059
Ibarra, 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
Dong, Yingfei; Du, Ding-Zhu; Ibarra, Oscar
1
2009
On stateless automata and P systems. Zbl 1175.68180
Yang, Linmin; Dang, Zhe; Ibarra, Oscar H.
10
2008
On stateless multihead automata: Hierarchies and the emptiness problem. Zbl 1136.68397
Ibarra, Oscar H.; Karhumäki, Juhani; Okhotin, Alexander
7
2008
Asynchronous spiking neural P systems: Decidability and undecidability. Zbl 1137.68377
Cavaliere, 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.68395
Ibarra, Oscar H.; Woodworth, Sara
5
2008
On spiking neural P systems and partially blind counter machines. Zbl 1138.68033
Ibarra, Oscar H.; Woodworth, Sara; Yu, Fang; Păun, Andrei
3
2008
Minimum-cost delegation in service composition. Zbl 1171.68002
Gerede, Cagdas E.; Ibarra, Oscar H.; Ravikumar, Bala; Su, Jianwen
2
2008
Discrete nondeterministic modeling of the Fas pathway. Zbl 1175.68177
Jack, John; Rodríguez-Patón, Alfonso; Ibarra, Oscar H.; Păun, Andrei
1
2008
Normal forms for spiking neural P systems. Zbl 1111.68040
Ibarra, 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.68379
Cheruku, 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.68413
Ibarra, Oscar H.; Woodworth, Sara
2
2007
Characterizing regular languages by spiking neural P systems. Zbl 1183.68341
Ibarra, Oscar H.; Woodworth, Sara
2
2007
Bond computing systems: A biologically inspired and high-level dynamics model for pervasive computing. Zbl 1175.68172
Yang, Linmin; Dang, Zhe; Ibarra, Oscar H.
1
2007
On spiking neural P systems and partially blind counter machines. Zbl 1126.68428
Ibarra, Oscar H.; Woodworth, Sara; Yu, Fang; Păun, Andrei
10
2006
On the computational complexity of P automata. Zbl 1112.68057
Csuhaj-Varjú, Erzsébet; Ibarra, Oscar H.; Vaszil, György
8
2006
Characterizations of some restricted spiking neural P systems. Zbl 1187.68238
Ibarra, Oscar H.; Woodworth, Sara
6
2006
On partially blind multihead finite automata. Zbl 1160.68414
Ibarra, Oscar H.; Ravikumar, Bala
6
2006
On the decidability of model-checking for P systems. Zbl 1149.68404
Dang, Zhe; Li, Cheng; Ibarra, Oscar H.; Xie, Gaoyan
4
2006
Deterministic catalytic systems are not universal. Zbl 1153.68019
Ibarra, 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.68060
Ibarra, Oscar H.; Păun, Gheorghe
3
2006
On the solvability of a class of Diophantine equations and applications. Zbl 1120.11017
Ibarra, Oscar H.; Dang, Zhe
2
2006
On deterministic catalytic systems. Zbl 1172.68473
Ibarra, Oscar H.; Yen, Hsu-Chun
1
2006
Some recent results concerning deterministic P systems. Zbl 1135.68412
Ibarra, Oscar H.
1
2006
On the computational power of 1-deterministic and sequential \(P\) systems. Zbl 1157.68372
Ibarra, Oscar H.; Woodworth, Sara; Yen, Hsu-Chun; Dang, Zhe
1
2006
Counting time in computing with cells. Zbl 1234.68111
Ibarra, Oscar H.; Păun, Andrei
1
2006
On bounded symport/antiport P systems. Zbl 1234.68112
Ibarra, Oscar H.; Woodworth, Sara
1
2006
On the computational complexity of P automata. Zbl 1116.68449
Csuhaj-Varjú, Erzsébet; Ibarra, Oscar H.; Vaszil, György
6
2005
On membrane hierarchy in P systems. Zbl 1080.68035
Ibarra, Oscar H.
5
2005
On various notions of parallelism in P systems. Zbl 1161.68470
Ibarra, Oscar H.; Yen, Hsu-Chun; Dang, Zhe
5
2005
On model-checking of P systems. Zbl 1161.68454
Dang, Zhe; Ibarra, Oscar H.; Li, Cheng; Xie, Gaoyan
3
2005
On one-membrane P systems operating in sequential mode. Zbl 1080.68032
Dang, Zhe; Ibarra, Oscar H.
2
2005
On determinism versus nondeterminism in P systems. Zbl 1079.68036
Ibarra, Oscar H.
2
2005
On composition and lookahead delegation of \(e\)-services modeled by automata. Zbl 1077.68042
Dang, Zhe; Ibarra, Oscar H.; Su, Jianwen
2
2005
Signaling P systems and verification problems. Zbl 1081.68021
Li, Cheng; Dang, Zhe; Ibarra, Oscar H.; Yen, Hsu-Chun
1
2005
On sequential and 1-deterministic P systems. Zbl 1128.68357
Ibarra, Oscar H.; Woodworth, Sara; Yen, Hsu-Chun; Dang, Zhe
1
2005
On two-way nondeterministic finite automata with one reversal-bounded counter. Zbl 1078.68080
Dang, Zhe; Ibarra, Oscar H.; Sun, Zhi-Wei
1
2005
Catalytic P systems, semilinear sets, and vector addition systems. Zbl 1070.68043
Ibarra, Oscar H.; Dang, Zhe; Egecioglu, Omer
16
2004
On the computational complexity of membrane systems. Zbl 1068.68060
Ibarra, Oscar H.
6
2004
...and 135 more Documents
all top 5

Cited by 1,460 Authors

143 Ibarra, Oscar H.
29 Kutrib, Martin
26 Dang, Zhe
26 Păun, Gheorghe
25 Malcher, Andreas
23 Okhotin, Alexander
21 McQuillan, Ian
20 Salomaa, Kai T.
18 Pan, Linqiang
14 Inoue, Katsushi
13 Pérez-Jiménez, Mario J.
12 Geffert, Viliam
12 Hromkovič, Juraj
12 Jiang, Tao
11 Karhumaki, Juhani
11 Kari, Lila
11 Ravikumar, Bala
11 Trân, Nicholas Q.
10 Epstein, Leah
10 Păun, Andrei
10 Terrier, Véronique
10 Yu, Sheng
9 D’Alessandro, Flavio
9 Demri, Stéphane P.
9 Holzer, Markus
9 Mitrana, Victor
9 Palis, Michael A.
9 Peng, Hong
9 Rosier, Louis E.
9 Salomaa, Arto Kustaa
9 Zeng, Xiangxiang
8 Gurari, Eitan M.
8 Ito, Akira
8 Rytter, Wojciech
8 Vaszil, Gyorgy
8 Wang, Jun
8 Wendlandt, Matthias
7 Culik, Karel II
7 Daley, Mark
7 Dassow, Jürgen
7 Greibach, Sheila A.
7 Krithivasan, Kamala
7 Moran, Shlomo
7 Otto, Friedrich
7 Sosík, Petr
6 Bultan, Tevfik
6 Cabarle, Francis George C.
6 Chrobak, Marek
6 Csuhaj-Varjú, Erzsébet
6 Egecioglu, Omer
6 Freund, Rudolf
6 Han, Xin
6 Han, Yo-Sub
6 Kellerer, Johann
6 Mateescu, Alexandru
6 Mereghetti, Carlo
6 Palano, Beatrice
6 Rozenberg, Grzegorz
6 Seki, Shinnosuke
6 Su, Jianwen
6 Takanami, Itsuo
6 Woeginger, Gerhard Johannes
6 Yen, Hsu-Chun
6 Yokomori, Takashi
5 Adorna, Henry Natividad
5 Aho, Alfred Vaino
5 Chang, Jik Hyun
5 Cho, Da-Jung
5 Ďuriš, Pavol
5 Engelfriet, Joost
5 Filiot, Emmanuel
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 Maciejewski, Anthony A.
5 Martín-Vide, Carlos
5 Rawitz, Dror
5 Rodríguez-Patón, Alfonso
5 Say, A. C. Cem
5 Siegel, Howard Jay
5 Song, Tao
5 Tan, Zhiyi
5 Trystram, Denis R.
5 Ullman, Jeffrey David
5 Wang, Hui
5 Wang, Yue
5 Wotschke, Detlef
5 Yang, Qian
4 Alhazov, Artiom
4 Bao, Tingting
4 Chan, Tat-Hung
4 Chen, Jian-er
4 Cheng, Tai-Chiu Edwin
4 Choffrut, Christian
4 Cui, Cewei
4 Eremondi, Joey
...and 1,360 more Authors
all top 5

Cited in 148 Serials

296 Theoretical Computer Science
68 International Journal of Foundations of Computer Science
62 Journal of Computer and System Sciences
44 Information Processing Letters
41 Information and Computation
40 Discrete Applied Mathematics
29 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
17 Information Sciences
17 Algorithmica
14 Computers & Operations Research
13 Theory of Computing Systems
12 Journal of Scheduling
11 Journal of Membrane Computing
10 Journal of Parallel and Distributed Computing
10 RAIRO. Informatique Théorique et Applications
10 Journal of Combinatorial Optimization
8 RAIRO, Informatique Théorique
8 Journal of Symbolic Computation
8 RAIRO. Theoretical Informatics and Applications
7 Discrete Optimization
6 Annals of Operations Research
6 Mathematical Programming. Series A. Series B
6 RAIRO. Operations Research
5 Journal of Soviet Mathematics
5 Formal Methods in System Design
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 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 Logical Methods in Computer Science
3 Computer Science Review
2 Artificial Intelligence
2 Mathematical Notes
2 Problems of Information Transmission
2 Computing
2 Journal of Optimization Theory and Applications
2 Mathematics of Operations Research
2 Naval Research Logistics
2 Operations Research
2 Advances in Applied Mathematics
2 Optimization
2 Discrete & Computational Geometry
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 Complexity
2 Soft Computing
2 The Journal of Logic and Algebraic Programming
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 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 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
1 Science of Computer Programming
1 Combinatorica
1 Acta Applicandae Mathematicae
1 International Journal of Production Research
1 Physica D
...and 48 more Serials

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.