Oscar, Ibarra T: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

On the Zero-inequivalence Problem far Loop Programs

Oscar H. Ibarra, Brian S. Leininger

Journal:

Journal of Computer and System Sciences

Year:

1983

Language:

english

File:

PDF, 932 KB

english, 1983

52

On iterative and cellular tree arrays

Oscar H. Ibarra, Tao Jiang, Jik H. Chang

Journal:

Journal of Computer and System Sciences

Year:

1989

Language:

english

File:

PDF, 1.35 MB

english, 1989

53

Iterative algorithms for the planar convex hull problem on mesh-connected arrays

J Andrew Holey, Oscar H Ibarra

Journal:

Parallel Computing

Year:

1992

Language:

english

File:

PDF, 1.32 MB

english, 1992

54

A note on parsing pattern languages

Oscar H. Ibarra, Ting-Chuen Pong, Stephen M. Sohn

Journal:

Pattern Recognition Letters

Year:

1995

Language:

english

File:

PDF, 296 KB

english, 1995

55

A generalization of the fast LUP matrix decomposition algorithm and applications

Oscar H Ibarra, Shlomo Moran, Roger Hui

Journal:

Journal of Algorithms

Year:

1982

Language:

english

File:

PDF, 512 KB

english, 1982

56

2DST mappings on languages and related problems

Oscar H. Ibarra

Journal:

Theoretical Computer Science

Year:

1982

Language:

english

File:

PDF, 999 KB

english, 1982

57

Some simplified undecidable and NP-hard problems for simple programs

Eitan M. Gurari, Oscar H. Ibarra

Journal:

Theoretical Computer Science

Year:

1982

Language:

english

File:

PDF, 1.69 MB

english, 1982

58

On some decision questions concerning pushdown machines

Oscar H. Ibarra

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 1.07 MB

english, 1983

59

Simple programming languages and restricted classes of turing machines

Oscar H. Ibarra, Louis E. Rosier

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 2.36 MB

english, 1983

60

Characterizations and computational complexity of systolic trellis automata

Oscar H. Ibarra, Sam M. Kim

Journal:

Theoretical Computer Science

Year:

1984

Language:

english

File:

PDF, 2.92 MB

english, 1984

61

On efficient recognition of transductions and relations

Oscar H. Ibarra, Michael A. Palis, Jik H. Chang

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 1.03 MB

english, 1985

62

On pebble automata

Jik H. Chang, Oscar H. Ibarra, Michael A. Palis, B. Ravikumar

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 771 KB

english, 1986

63

Relating the power of cellular arrays to their closure properties

Oscar H. Ibarra, Tao Jiang

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 1.62 MB

english, 1988

64

Two-dimensional iterative arrays: Characterizations and applications

Oscar H. Ibarra, Michael A. Palis

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 3.38 MB

english, 1988

65

Efficient simulations of simple models of parallel computation by time-bounded ATMs and space-bounded TMs

Jik H. Chang, Oscar H. Ibarra, Michael A. Palis

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 2.09 MB

english, 1989

66

Parallel parsing on a one-way linear array of finite-state machines

Oscar H. Ibarra, Tao Jiang, Hui Wang

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.42 MB

english, 1991

67

Some results concerning 2-D on-line tessellation acceptors and 2-D alternating finite automata

Tao Jiang, Oscar H. Ibarra, Hui Wang

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 998 KB

english, 1994

68

On space-bounded synchronized alternating Turing machines

Oscar H. Ibarra, Nicholas Q. Trân

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.47 MB

english, 1992

69

A note on simple programs with two variables

Oscar H. Ibarra, Nicholas Q. Trân

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 457 KB

english, 1993

70

Synchronized finite automata and 2DFA reductions

Oscar H. Ibarra, Nicholas Q. Trân

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.02 MB

english, 1993

71

Autosomal microsatellite data from Northwestern Colombia

Oscar Darío Palacio, Omar Triana, Aníbal Gaviria, Adriana Alexandra Ibarra, Luz Mariela Ochoa, Yeny Posada, María Clara Maya, María Victoria Lareu, María Brión, María Amparo Acosta, Angel Carracedo

Journal:

Forensic Science International

Year:

2006

Language:

english

File:

PDF, 72 KB

english, 2006

72

Feasibility of fission chambers as a neutron diagnostic in the IFMIF—Test Cell

David Rapisarda, Angela García, Óscar Cabellos, Fernando Mota, Jose M. Gómez-Ros, Ángel Ibarra, Natalia Casal, Vicente Queral, Javier Sanz

Journal:

Fusion Engineering and Design

Year:

2009

Language:

english

File:

PDF, 966 KB

english, 2009

73

Some results concerning linear iterative (systolic) arrays

Oscar H. Ibarra, Michael A. Palis, Sam M. Kim

Journal:

Journal of Parallel and Distributed Computing

Year:

1985

Language:

english

File:

PDF, 1.83 MB

english, 1985

74

Nineteen autosomal microsatellite data from Antioquia (Colombia)

Anı́bal Gaviria, Adriana Alexandra Ibarra, Nicolás Jaramillo, Oscar Dario Palacio, Marı́a Amparo Acosta, Marı́a Brion, Ángel Carracedo

Journal:

Forensic Science International

Year:

2004

Language:

english

File:

PDF, 64 KB

english, 2004

75

Past pushdown timed automata and safety verification

Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 267 KB

english, 2004

76

Catalytic P systems, semilinear sets, and vector addition systems

Oscar H. Ibarra, Zhe Dang, Omer Egecioglu

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 289 KB

english, 2004

77

On two-way FA with monotonic counters and quadratic Diophantine equations

Oscar H. Ibarra, Zhe Dang

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 295 KB

english, 2004

78

On the computational complexity of membrane systems

Oscar H. Ibarra

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 298 KB

english, 2004

79

On two-way nondeterministic finite automata with one reversal-bounded counter

Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 303 KB

english, 2005

80

On determinism versus nondeterminism in P systems

Oscar H. Ibarra

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 135 KB

english, 2005

81

On composition and lookahead delegation of -services modeled by automata

Zhe Dang, Oscar H. Ibarra, Jianwen Su

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 296 KB

english, 2005

82

Deterministic catalytic systems are not universal

Oscar H. Ibarra, Hsu-Chun Yen

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 251 KB

english, 2006

83

Normal forms for spiking neural P systems

Oscar H. Ibarra, Andrei Păun, Gheorghe Păun, Alfonso Rodríguez-Patón, Petr Sosík, Sara Woodworth

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 437 KB

english, 2007

84

Minimum-cost delegation in service composition

Cagdas E. Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.18 MB

english, 2008

85

Asynchronous spiking neural P systems

Matteo Cavaliere, Oscar H. Ibarra, Gheorghe Păun, Omer Egecioglu, Mihai Ionescu, Sara Woodworth

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 883 KB

english, 2009

86

Sequential SNP systems based on min/max spike number

Oscar H. Ibarra, Andrei Păun, Alfonso Rodríguez-Patón

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.14 MB

english, 2009

87

On stateless multihead automata: Hierarchies and the emptiness problem

Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.52 MB

english, 2010

88

Conformational studies of N-carbomethoxy-2-alkoxyindolenines by dynamic NMR, crystallography, and molecular mechanics

Oscar R. Suárez-Castillo, Yaneth M.A. Contreras-Martínez, Lidia Beiza-Granados, Myriam Meléndez-Rodríguez, J. Roberto Villagómez-Ibarra, J. Martín Torres-Valencia, Martha S. Morales-Ríos, Pedro Joseph

Journal:

Year:

2005

Language:

english

File:

PDF, 998 KB

english, 2005

89

Tape-bounded turing acceptors and principal AFLs

Ronald V. Book, Sheila A. Greibach, Oscar H. Ibarra, Ben Wegbreit

Journal:

Journal of Computer and System Sciences

Year:

1970

Language:

english

File:

PDF, 187 KB

english, 1970

90

Characterizations of some tape and time complexity classes of turing machines in terms of multihead and auxiliary stack automata

Oscar H. Ibarra

Journal:

Journal of Computer and System Sciences

Year:

1971

Language:

english

File:

PDF, 1.56 MB

english, 1971

91

On two-way multihead automata

Oscar H. Ibarra

Journal:

Journal of Computer and System Sciences

Year:

1973

Language:

english

File:

PDF, 479 KB

english, 1973

92

Hierarchies of turing machines with restricted tape alphabet size

Oscar H. Ibarra, Sartaj K. Sahni

Journal:

Journal of Computer and System Sciences

Year:

1975

Language:

english

File:

PDF, 480 KB

english, 1975

93

A useful device for showing the solvability of some decision problems

Oscar H. Ibarra, Chul E. Kim

Journal:

Journal of Computer and System Sciences

Year:

1976

Language:

english

File:

PDF, 408 KB

english, 1976

94

Augmenting the discrete timed automaton with other data structures

Oscar H. Ibarra, Jianwen Su

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 129 KB

english, 2002

95

Counter Machines and Verification Problems

Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 183 KB

english, 2002

96

Verification in loosely synchronous queue-connected discrete timed automata

Oscar H. Ibarra, Zhe Dang, Pierluigi San Pietro

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 223 KB

english, 2003

97

Generalized discrete timed automata: decidable approximations for safety verification

Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 175 KB

english, 2003

98

Eliminating the storage tape in reachability constructions

Oscar H. Ibarra, Zhe Dang

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 291 KB

english, 2003

99

Closure and decidability properties of some language classes with respect to ciliate bio-operations

Mark Daley, Oscar H. Ibarra, Lila Kari

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 285 KB

english, 2003

100

The complexity of the equivalence problem for two characterizations of presburger sets

Eitan M. Gurari, Oscar H. Ibarra

Journal:

Theoretical Computer Science

Year:

1981

Language:

english

File:

PDF, 1.06 MB

english, 1981