 | 2010 |
|---|
| 287 |       | Oscar H. Ibarra,
Juhani Karhumäki,
Alexander Okhotin:
On stateless multihead automata: Hierarchies and the emptiness problem.
Theor. Comput. Sci. 411(3): 581-593 (2010) |
| 2009 |
|---|
| 286 | | Yingfei Dong,
Ding-Zhu Du,
Oscar H. Ibarra:
Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
Springer 2009 |
| 285 | | Oscar H. Ibarra,
Ömer Egecioglu:
Hierarchies and Characterizations of Stateless Multicounter Machines.
COCOON 2009: 408-417 |
| 284 | | Ömer Egecioglu,
Oscar H. Ibarra:
On Stateless Multicounter Machines.
CiE 2009: 178-187 |
| 283 | | Pierluigi Frisco,
Oscar H. Ibarra:
On Stateless Multihead Finite Automata and Multihead Pushdown Automata.
Developments in Language Theory 2009: 240-251 |
| 282 | | Fang Yu,
Tevfik Bultan,
Oscar H. Ibarra:
Symbolic String Verification: Combining String Analysis and Size Analysis.
TACAS 2009: 322-336 |
| 281 | | Oscar H. Ibarra:
A Look Back at Some Early Results in Membrane Computing.
Workshop on Membrane Computing 2009: 66-73 |
| 280 | | Pierluigi Frisco,
Oscar H. Ibarra:
On Languages Accepted by P/T Systems Composed of joins
CoRR abs/0907.5121: (2009) |
| 279 | | Oscar H. Ibarra,
Bala Ravikumar:
Preface.
Int. J. Found. Comput. Sci. 20(4): 559-561 (2009) |
| 278 | | Matteo Cavaliere,
Oscar H. Ibarra,
Gheorghe Paun,
Ömer Egecioglu,
Mihai Ionescu,
Sara Woodworth:
Asynchronous spiking neural P systems.
Theor. Comput. Sci. 410(24-25): 2352-2364 (2009) |
| 277 | | Oscar H. Ibarra,
Andrei Paun,
Alfonso Rodríguez-Patón:
Sequential SNP systems based on min/max spike number.
Theor. Comput. Sci. 410(30-32): 2982-2991 (2009) |
| 2008 |
|---|
| 276 |  | Oscar H. Ibarra,
Bala Ravikumar:
Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
Springer 2008 |
| 275 | | Oscar H. Ibarra,
Andrei Paun,
Alfonso Rodríguez-Patón:
Sequentiality Induced by Spike Number in SNP Systems.
DNA 2008: 179-190 |
| 274 | | Oscar H. Ibarra:
Computing with Cells: Membrane Systems.
ISPAN 2008: 3 |
| 273 | | Oscar H. Ibarra,
Juhani Karhumäki,
Alexander Okhotin:
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem.
LATIN 2008: 94-105 |
| 272 | | Fang Yu,
Tevfik Bultan,
Marco Cova,
Oscar H. Ibarra:
Symbolic String Verification: An Automata-Based Approach.
SPIN 2008: 306-324 |
| 271 | | Oscar H. Ibarra,
Andrei Paun:
Computing with cells: membrane systems - some complexity issues.
IJPEDS 23(5): 347-365 (2008) |
| 270 | | Oscar H. Ibarra,
Zhe Dang,
Linmin Yang:
On Counter Machines, Reachability Problems, and Diophantine Equations.
Int. J. Found. Comput. Sci. 19(4): 919-934 (2008) |
| 269 | | John Jack,
Alfonso Rodríguez-Patón,
Oscar H. Ibarra,
Andrei Paun:
Discrete Nondeterministic Modeling of the Fas Pathway.
Int. J. Found. Comput. Sci. 19(5): 1147-1162 (2008) |
| 268 | | Linmin Yang,
Zhe Dang,
Oscar H. Ibarra:
On Stateless Automata and P Systems.
Int. J. Found. Comput. Sci. 19(5): 1259-1276 (2008) |
| 267 | | Oscar H. Ibarra,
Sara Woodworth,
Fang Yu,
Andrei Paun:
On spiking neural P systems and partially blind counter machines.
Natural Computing 7(1): 3-19 (2008) |
| 266 | | Oscar H. Ibarra,
Sara Woodworth:
Characterizations of some classes of spiking neural P systems.
Natural Computing 7(4): 499-517 (2008) |
| 265 | | Cagdas Evren Gerede,
Oscar H. Ibarra,
Bala Ravikumar,
Jianwen Su:
Minimum-cost delegation in service composition.
Theor. Comput. Sci. 409(3): 417-431 (2008) |
| 2007 |
|---|
| 264 | | Matteo Cavaliere,
Ömer Egecioglu,
Oscar H. Ibarra,
Mihai Ionescu,
Gheorghe Paun,
Sara Woodworth:
Asynchronous Spiking Neural P Systems: Decidability and Undecidability.
DNA 2007: 246-255 |
| 263 | | Oscar H. Ibarra,
Sara Woodworth:
Spiking Neural P Systems: Some Characterizations.
FCT 2007: 23-37 |
| 262 | | Linmin Yang,
Zhe Dang,
Oscar H. Ibarra:
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing.
UC 2007: 226-241 |
| 261 | | Oscar H. Ibarra,
Hsu-Chun Yen:
Preface.
Int. J. Found. Comput. Sci. 18(4): 667-668 (2007) |
| 260 | | Oscar H. Ibarra,
Sara Woodworth:
Characterizing Regular Languages by Spiking Neural P Systems.
Int. J. Found. Comput. Sci. 18(6): 1247-1256 (2007) |
| 259 | | 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. 372(2-3): 196-217 (2007) |
| 258 | | Oscar H. Ibarra:
Developments in language theory.
Theor. Comput. Sci. 376(1-2): 1-2 (2007) |
| 2006 |
|---|
| 257 | | Oscar H. Ibarra,
Zhe Dang:
Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
Springer 2006 |
| 256 | | Oscar H. Ibarra,
Hsu-Chun Yen:
Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
Springer 2006 |
| 255 | | Oscar H. Ibarra,
Sara Woodworth,
Fang Yu,
Andrei Paun:
On Spiking Neural P Systems and Partially Blind Counter Machines.
UC 2006: 113-129 |
| 254 | | Oscar H. Ibarra,
Sara Woodworth:
Characterizations of Some Restricted Spiking Neural P Systems.
Workshop on Membrane Computing 2006: 424-442 |
| 253 | | Oscar H. Ibarra,
Sara Woodworth,
Hsu-Chun Yen,
Zhe Dang:
On the Computational Power of 1-Deterministic and Sequential P Systems.
Fundam. Inform. 73(1-2): 133-152 (2006) |
| 252 | | Oscar H. Ibarra,
Sara Woodworth:
On symport/antiport P systems with a small number of objects.
Int. J. Comput. Math. 83(7): 613-629 (2006) |
| 251 | | 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 11(2): 169-188 (2006) |
| 250 | | Zhe Dang,
Oscar H. Ibarra,
Cheng Li,
Gaoyan Xie:
On the Decidability of Model-Checking for P Systems.
Journal of Automata, Languages and Combinatorics 11(3): 279-298 (2006) |
| 249 | | Erzsébet Csuhaj-Varjú,
Oscar H. Ibarra,
György Vaszil:
On the Computational Complexity of P Automata.
Natural Computing 5(2): 109-126 (2006) |
| 248 | | Oscar H. Ibarra,
Zhe Dang:
On the solvability of a class of diophantine equations and applications.
Theor. Comput. Sci. 352(1-3): 342-346 (2006) |
| 247 | | Oscar H. Ibarra,
Bala Ravikumar:
On partially blind multihead finite automata.
Theor. Comput. Sci. 356(1-2): 190-199 (2006) |
| 246 | | Oscar H. Ibarra,
Gheorghe Paun:
Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems.
Theor. Comput. Sci. 358(1): 88-103 (2006) |
| 245 | | Oscar H. Ibarra,
Hsu-Chun Yen:
Deterministic catalytic systems are not universal.
Theor. Comput. Sci. 363(2): 149-161 (2006) |
| 2005 |
|---|
| 244 | | Oscar H. Ibarra,
Hsu-Chun Yen:
On Deterministic Catalytic Systems.
CIAA 2005: 163-175 |
| 243 | | Oscar H. Ibarra,
Sara Woodworth,
Hsu-Chun Yen,
Zhe Dang:
On Sequential and 1-Deterministic P Systems.
COCOON 2005: 905-914 |
| 242 | | Oscar H. Ibarra,
Andrei Paun:
Counting Time in Computing with Cells.
DNA 2005: 112-128 |
| 241 | | Oscar H. Ibarra,
Sara Woodworth:
On Bounded Symport/Antiport P Systems.
DNA 2005: 129-143 |
| 240 | | Cheng Li,
Zhe Dang,
Oscar H. Ibarra,
Hsu-Chun Yen:
Signaling P Systems and Verification Problems.
ICALP 2005: 1462-1473 |
| 239 | | Ozgur D. Sahin,
Cagdas Evren Gerede,
Divyakant Agrawal,
Amr El Abbadi,
Oscar H. Ibarra,
Jianwen Su:
SPiDeR: P2P-Based Web Service Discovery.
ICSOC 2005: 157-169 |
| 238 | | Cagdas Evren Gerede,
Oscar H. Ibarra,
Bala Ravikumar,
Jianwen Su:
Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition.
IEEE SCC 2005: 103-112 |
| 237 | | Oscar H. Ibarra:
Some Computational Issues in Membrane Computing.
MFCS 2005: 39-51 |
| 236 | | Oscar H. Ibarra,
Sara Woodworth:
On Symport/Antiport P Systems with One or Two Symbols.
SYNASC 2005: 431-439 |
| 235 | | Zhe Dang,
Oscar H. Ibarra,
Cheng Li,
Gaoyan Xie:
On Model-Checking of P Systems.
UC 2005: 82-93 |
| 234 | | Oscar H. Ibarra,
Sara Woodworth,
Hsu-Chun Yen,
Zhe Dang:
On Symport/Antiport P Systems and Semilinear Sets.
Workshop on Membrane Computing 2005: 253-271 |
| 233 | | Oscar H. Ibarra:
Some Recent Results Concerning Deterministic P Systems.
Workshop on Membrane Computing 2005: 49-54 |
| 232 | | Oscar H. Ibarra,
Hsu-Chun Yen,
Zhe Dang:
On various notions of parallelism in P Systems.
Int. J. Found. Comput. Sci. 16(4): 683-705 (2005) |
| 231 | | Zhe Dang,
Oscar H. Ibarra:
On one-membrane P systems operating in sequential mode.
Int. J. Found. Comput. Sci. 16(5): 867-881 (2005) |
| 230 | | Zhe Dang,
Oscar H. Ibarra,
Zhi-Wei Sun:
On two-way nondeterministic finite automata with one reversal-bounded counter.
Theor. Comput. Sci. 330(1): 59-79 (2005) |
| 229 | | Oscar H. Ibarra:
On membrane hierarchy in P systems.
Theor. Comput. Sci. 334(1-3): 115-129 (2005) |
| 228 | | Zhe Dang,
Oscar H. Ibarra,
Jianwen Su:
On composition and lookahead delegation of e-services modeled by automata, .
Theor. Comput. Sci. 341(1-3): 344-363 (2005) |
| 227 | | Oscar H. Ibarra:
On determinism versus nondeterminism in P systems.
Theor. Comput. Sci. 344(2-3): 120-133 (2005) |
| 2004 |
|---|
| 226 | | Oscar H. Ibarra:
Automata-Theoretic Techniques for Analyzing Infinite-State Systems.
CIAA 2004: 1 |
| 225 | | Erzsébet Csuhaj-Varjú,
Oscar H. Ibarra,
György Vaszil:
On the Computational Complexity of P Automata.
DNA 2004: 76-89 |
| 224 | | Oscar H. Ibarra,
Hsu-Chun Yen,
Zhe Dang:
The Power of Maximal Parallelism in P Systems.
Developments in Language Theory 2004: 212-224 |
| 223 | | Zhe Dang,
Oscar H. Ibarra,
Pierluigi San Pietro,
Gaoyan Xie:
Real-Counter Automata and Their Decision Problems.
FSTTCS 2004: 198-210 |
| 222 | | Yasmín Pérez,
Rafael Gamboa,
Oscar H. Ibarra:
Modeling Affective Responses in Intelligent Tutoring Systems.
ICALT 2004 |
| 221 | | Cagdas Evren Gerede,
Richard Hull,
Oscar H. Ibarra,
Jianwen Su:
Automated composition of e-services: lookaheads.
ICSOC 2004: 252-262 |
| 220 | | Ömer Egecioglu,
Oscar H. Ibarra:
A Matrix q-Analogue of the Parikh Map.
IFIP TCS 2004: 125-138 |
| 219 | | Zhe Dang,
Oscar H. Ibarra,
Jianwen Su:
Composability of Infinite-State Activity Automata.
ISAAC 2004: 377-388 |
| 218 | | Oscar H. Ibarra:
P Systems: Some Recent Results and Research Problems.
UPP 2004: 225-237 |
| 217 | | Oscar H. Ibarra,
Louxin Zhang:
Computing And Combinatorics Conference -- Cocoon'02.
Int. J. Found. Comput. Sci. 15(1): 1 (2004) |
| 216 | | 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. 15(2): 403-415 (2004) |
| 215 | | Oscar H. Ibarra,
Zhe Dang:
On two-way FA with monotonic counters and quadratic Diophantine equations.
Theor. Comput. Sci. 312(2-3): 359-378 (2004) |
| 214 | | Oscar H. Ibarra,
Zhe Dang,
Ömer Egecioglu:
Catalytic P systems, semilinear sets, and vector addition systems.
Theor. Comput. Sci. 312(2-3): 379-399 (2004) |
| 213 | | Zhe Dang,
Tevfik Bultan,
Oscar H. Ibarra,
Richard A. Kemmerer:
Past pushdown timed automata and safety verification.
Theor. Comput. Sci. 313(1): 57-71 (2004) |
| 212 | | Oscar H. Ibarra:
On the computational complexity of membrane systems.
Theor. Comput. Sci. 320(1): 89-109 (2004) |
| 211 | | Oscar H. Ibarra:
Editorial.
Theor. Comput. Sci. 328(1-2): 1- (2004) |
| 2003 |
|---|
| 210 | | Oscar H. Ibarra,
Zhe Dang:
Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings
Springer 2003 |
| 209 | | Gaoyan Xie,
Zhe Dang,
Oscar H. Ibarra,
Pierluigi San Pietro:
Dense Counter Machines and Verification Problems.
CAV 2003: 93-105 |
| 208 | | Gaoyan Xie,
Zhe Dang,
Oscar H. Ibarra:
A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems.
ICALP 2003: 668-680 |
| 207 | | Oscar H. Ibarra,
Zhe Dang,
Ömer Egecioglu,
Gaurav Saxena:
Characterizations of Catalytic Membrane Computing Systems.
MFCS 2003: 480-489 |
| 206 | | Oscar H. Ibarra:
The Number of Membranes Matters.
Workshop on Membrane Computing 2003: 218-231 |
| 205 | | Mark Daley,
Oscar H. Ibarra,
Lila Kari,
Ian McQuillan,
Koji Nakano:
The ld and dlad Bio-Operations on Formal Languages.
Journal of Automata, Languages and Combinatorics 8(3): 477-498 (2003) |
| 204 | | Oscar H. Ibarra,
Zhe Dang:
Eliminating the storage tape in reachability constructions.
Theor. Comput. Sci. 1-3(299): 687-706 (2003) |
| 203 | | Oscar H. Ibarra,
Zhe Dang,
Pierluigi San Pietro:
Verification in loosely synchronous queue-connected discrete timed automata.
Theor. Comput. Sci. 290(3): 1713-1735 (2003) |
| 202 | | Zhe Dang,
Oscar H. Ibarra,
Richard A. Kemmerer:
Generalized discrete timed automata: decidable approximations for safety verificatio.
Theor. Comput. Sci. 296(1): 59-74 (2003) |
| 201 | | Mark Daley,
Oscar H. Ibarra,
Lila Kari:
Closure and decidability properties of some language classes with respect to ciliate bio-operations.
Theor. Comput. Sci. 306(1-3): 19-38 (2003) |
| 2002 |
|---|
| 200 | | Oscar H. Ibarra,
Louxin Zhang:
Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings
Springer 2002 |
| 199 | | Hongjun Zhu,
Jianwen Su,
Oscar H. Ibarra:
Trajectory queries and octagons in moving object databases.
CIKM 2002: 413-421 |
| 198 | | Oscar H. Ibarra,
Zhe Dang,
Zhi-Wei Sun:
Safety Verification for Two-Way Finite Automata with Monotonic Counters.
Developments in Language Theory 2002: 326-338 |
| 197 | | Oscar H. Ibarra,
Stephan Olariu,
Koji Nakano,
Jie Wu:
Workshop Introduction.
IPDPS 2002 |
| 196 | | Zhe Dang,
Oscar H. Ibarra,
Zhi-Wei Sun:
On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter.
ISAAC 2002: 103-114 |
| 195 | | Hoda Mokhtar,
Jianwen Su,
Oscar H. Ibarra:
On Moving Object Queries.
PODS 2002: 188-198 |
| 194 | | Oscar H. Ibarra:
Verification in Queue-Connected Multicounter Machines.
Int. J. Found. Comput. Sci. 13(1): 115-127 (2002) |
| 193 | | Zhe Dang,
Oscar H. Ibarra:
The Existence of w-Chains for Transitive Mixed Linear Relations and Its Applications.
Int. J. Found. Comput. Sci. 13(6): 911-936 (2002) |
| 192 | | Tero Harju,
Oscar H. Ibarra,
Juhani Karhumäki,
Arto Salomaa:
Some Decision Problems Concerning Semilinearity and Commutation.
J. Comput. Syst. Sci. 65(2): 278-294 (2002) |
| 191 | | Oscar H. Ibarra,
Jianwen Su,
Zhe Dang,
Tevfik Bultan,
Richard A. Kemmerer:
Counter Machines and Verification Problems.
Theor. Comput. Sci. 289(1): 165-189 (2002) |
| 190 | | Oscar H. Ibarra,
Jianwen Su:
Augmenting the discrete timed automaton with other data structures.
Theor. Comput. Sci. 289(1): 191-204 (2002) |
| 2001 |
|---|
| 189 | | Zhe Dang,
Tevfik Bultan,
Oscar H. Ibarra,
Richard A. Kemmerer:
Past Pushdown Timed Automata.
CIAA 2001: 74-86 |
| 188 | | Zhe Dang,
Oscar H. Ibarra,
Richard A. Kemmerer:
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata.
COCOON 2001: 529-539 |
| 187 | | Zhe Dang,
Oscar H. Ibarra,
Pierluigi San Pietro:
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.
FSTTCS 2001: 132-143 |
| 186 | | Tero Harju,
Oscar H. Ibarra,
Juhani Karhumäki,
Arto Salomaa:
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages.
ICALP 2001: 579-590 |
| 185 | | Oscar H. Ibarra,
Zhe Dang:
On Removing the Pushdown Stack in Reachability Constructions.
ISAAC 2001: 244-256 |
| 184 | | Hongjun Zhu,
Jianwen Su,
Oscar H. Ibarra:
On Multi-way Spatial Joins with Direction Predicates.
SSTD 2001: 217-235 |
| 183 | | Jianwen Su,
Haiyan Xu,
Oscar H. Ibarra:
Moving Objects: Logical Relationships and Queries.
SSTD 2001: 3-19 |
| 182 | | Oscar H. Ibarra,
Tevfik Bultan,
Jianwen Su:
On Reachability and Safety in Infinite-State Systems.
Int. J. Found. Comput. Sci. 12(6): 821-836 (2001) |
| 2000 |
|---|
| 181 | | Zhe Dang,
Oscar H. Ibarra,
Tevfik Bultan,
Richard A. Kemmerer,
Jianwen Su:
Binary Reachability Analysis of Discrete Pushdown Timed Automata.
CAV 2000: 69-84 |
| 180 | | Oscar H. Ibarra:
Reachability and Safety in Queue Systems.
CIAA 2000: 145-156 |
| 179 | | Oscar H. Ibarra,
Jianwen Su:
Generalizing the Discrete Timed Automaton.
CIAA 2000: 157-169 |
| 178 | | Oscar H. Ibarra,
Tevfik Bultan,
Jianwen Su:
Reachability Analysis for Some Models of Infinite-State Transition Systems.
CONCUR 2000: 183-198 |
| 177 | | Oscar H. Ibarra,
Koji Nakano,
Stephan Olariu:
Workshop on Advances in Parallel and Distributed Computational Models.
IPDPS Workshops 2000: 101 |
| 176 | | Oscar H. Ibarra,
Jianwen Su,
Zhe Dang,
Tevfik Bultan,
Richard A. Kemmerer:
Conter Machines: Decidable Properties and Applications to Verification Problems.
MFCS 2000: 426-435 |
| 175 | | Hongjun Zhu,
Jianwen Su,
Oscar H. Ibarra:
Toward Spatial Joins for Polygons.
SSDBM 2000: 231-244 |
| 174 | | Hongjun Zhu,
Jianwen Su,
Oscar H. Ibarra:
Extending Rectangle Join Algorithms for Rectilinear Polygons.
Web-Age Information Management 2000: 247-258 |
| 173 | | Huican Zhu,
Tao Yang,
Qi Zheng,
David Watson,
Oscar H. Ibarra,
Terence R. Smith:
Adaptive Load Sharing for Clustered Digital Library Servers.
Int. J. on Digital Libraries 2(4): 225-235 (2000) |
| 172 | | Athanassios S. Poulakidas,
Ashok Srinivasan,
Ömer Egecioglu,
Oscar H. Ibarra,
Tao Yang:
Image compression for fast wavelet-based subregion retrieval.
Theor. Comput. Sci. 240(2): 447-469 (2000) |
| 1999 |
|---|
| 171 | | Hongjun Zhu,
Jianwen Su,
Oscar H. Ibarra:
An Index Structure for Spatial Joins in Linear Constraint Databases.
ICDE 1999: 636-643 |
| 170 | | Oscar H. Ibarra,
Jianwen Su:
Counter Machines: Decision Problems and Applications.
Jewels are Forever 1999: 84-96 |
| 169 | | Oscar H. Ibarra,
Jianwen Su:
A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries.
J. Comput. Syst. Sci. 59(1): 1-28 (1999) |
| 1998 |
|---|
| 168 | | Kyung-Yong Chwa,
Oscar H. Ibarra:
Algorithms and Computation, 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings
Springer 1998 |
| 167 | | Huican Zhu,
Tao Yang,
Qi Zheng,
David Watson,
Oscar H. Ibarra,
Terence R. Smith:
Adaptive Load Sharing for Clustered Digital Library Servers.
HPDC 1998: 235-242 |
| 166 | | Daniel Andresen,
Tao Yang,
Oscar H. Ibarra,
Ömer Egecioglu:
Adaptive Partitioning and Scheduling for Enhancing WWW Application Performance.
J. Parallel Distrib. Comput. 49(1): 57-85 (1998) |
| 1997 |
|---|
| 165 | | Athanassios S. Poulakidas,
Ashok Srinivasan,
Ömer Egecioglu,
Oscar H. Ibarra,
Tao Yang:
A Compact Storage Scheme for Fast Wavelet-Based Subregion Retrieval.
COCOON 1997: 353-362 |
| 164 | | Oscar H. Ibarra,
Jianwen Su:
On the Containment and Equivalence of Database Queries with Linear Constraints.
PODS 1997: 32-43 |
| 163 | | Oscar H. Ibarra,
Pedro C. Diniz,
Martin C. Rinard:
On the Complexity of Commutativity Analysis.
Int. J. Found. Comput. Sci. 8(1): 81- (1997) |
| 162 | | Yizhou Yu,
Oscar H. Ibarra,
Tao Yang:
Parallel Progressive Radiosity with Adaptive Meshing.
J. Parallel Distrib. Comput. 42(1): 30-41 (1997) |
| 161 | | Daniel Andresen,
Tao Yang,
Oscar H. Ibarra:
Toward a Scalable Distributed {WWW} Server on Workstation Clusters.
J. Parallel Distrib. Comput. 42(1): 91-100 (1997) |
| 160 | | Oscar H. Ibarra,
Nicholas Q. Trân,
Tao Yang:
On the Parallel Complexity of Loops.
Theor. Comput. Sci. 179(1-2): 381-395 (1997) |
| 1996 |
|---|
| 159 | | Daniel Andresen,
Tao Yang,
Ömer Egecioglu,
Oscar H. Ibarra,
Terence R. Smith:
Scalability Issues for High Performance Digital Libraries on the World Wide Web.
ADL 1996: 139-148 |
| 158 | | Oscar H. Ibarra,
Pedro C. Diniz,
Martin C. Rinard:
On the Complexity of Commutativity Analysis.
COCOON 1996: 323-332 |
| 157 | | Athanassios S. Poulakidas,
Ashok Srinivasan,
Ömer Egecioglu,
Oscar H. Ibarra,
Tao Yang:
Experimental Studies on a Compact Storage Scheme for Wavelet-Based Multiresolution Subregion Retrieval.
Data Compression Conference 1996: 465 |
| 156 | | Daniel Andresen,
Tao Yang,
Vegard Holmedahl,
Oscar H. Ibarra:
SWEB: Towards a Scalable World Wide Web Server on Multicomputers.
IPPS 1996: 850-856 |
| 155 | | Yizhou Yu,
Oscar H. Ibarra,
Tao Yang:
Parallel Progressive Radiosity with Adaptive Meshing.
IRREGULAR 1996: 159-170 |
| 154 | | Tao Yang,
Oscar H. Ibarra:
Performance Prediction in Symbolic Scheduling of Partitioned Programs with Weight Variation.
J. Parallel Distrib. Comput. 34(2): 171-182 (1996) |
| 1995 |
|---|
| 153 | | Oscar H. Ibarra,
Qi Zheng:
An Optimal Shortest Path Parallel Algorithm for Permutation Graphs.
J. Parallel Distrib. Comput. 24(1): 94-99 (1995) |
| 152 | | Oscar H. Ibarra,
Ting-Chuen Pong,
Stephen M. Sohn:
A note on parsing pattern languages.
Pattern Recognition Letters 16(2): 179-182 (1995) |
| 151 | | Oscar H. Ibarra,
Tao Jiang,
Nicholas Q. Trân,
Hui Wang:
New Decidability Results Concerning Two-Way Counter Machines.
SIAM J. Comput. 24(1): 123-137 (1995) |
| 1994 |
|---|
| 150 | | Myung Hee Kim,
Oscar H. Ibarra:
Transformations Between Boundary Codes, Run Length Codes, and Linear Quadtrees.
IPPS 1994: 120-125 |
| 149 | |
