Data bases, expert systems, and Prolog, Adrian Walker
@TechReport{ibm-rj-3870,
  author = 	 "Adrian Walker",
  title = 	 "Data bases, expert systems, and Prolog",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3870",
  note =	 "No. 44067"
}

A hardware semantics based on temporal intervals, Joseph Halpern, Zohar Manna, Ben Moszkowski
@TechReport{ibm-rj-3877,
  author = 	 "Joseph Halpern, Zohar Manna, Ben Moszkowski",
  title = 	 "A hardware semantics based on temporal intervals",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3877",
  note =	 "No. 44074"
}

Efficient commit protocols for the tree of processes model of distributed transacitons, C. Mohan, B. Lindsay
@TechReport{ibm-rj-3881,
  author = 	 "C. Mohan, B. Lindsay",
  title = 	 "Efficient commit protocols for the tree of processes
		  model of distributed transacitons",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3881",
  note =	 "No. 44078"
}

Method for distributed transaction commit and recovery using byzantine agreement within clusters of processors, C. Mohan, H.R. Strong, S. Finkelstein
@TechReport{ibm-rj-3882,
  author = 	 "C. Mohan, H.R. Strong, S. Finkelstein",
  title = 	 "Method for distributed transaction commit and
		  recovery using byzantine agreement within clusters
		  of processors",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3882",
  note =	 "No. 44079"
}

Office workstation use by administrative managers and professionals, Christine V. Bullen, John L. Bennett
@TechReport{ibm-rj-3890,
  author = 	 "Christine V. Bullen, John L. Bennett",
  title = 	 "Office workstation use by administrative managers
		  and professionals",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3890",
  note =	 "No. 44178"
}

I wish I were over ther : Distributed execution protocols for data definition in $R^*, Pul F. Wilms, Bruce G. Lindsay, Patricia G. Selinger
@TechReport{ibm-rj-3892,
  author = 	 "Pul F. Wilms, Bruce G. Lindsay, Patricia G. Selinger",
  title = 	 "I wish I were over ther : Distributed execution
		  protocols for data definition in {$R^{*}}",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3892",
  note =	 "No. 44180"
}

An experience of building an expert system with PROLOG, C.L. Chang
@TechReport{ibm-rj-3895,
  author = 	 "C.L. Chang",
  title = 	 "An experience of building an expert system with
		  PROLOG",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3925",
  note =	 "No. 44525"
}

An experience of building an expert system with PROLOG, C.L. Chang
@TechReport{ibm-rj-3925,
  author = 	 "C.L. Chang",
  title = 	 "An experience of building an expert system with
		  PROLOG",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3925",
  note =	 "No. 44525"
}

KBO1, A knowledge based garden store assistant, Adrian Walker, Antonio Porto
@TechReport{ibm-rj-3928,
  author = 	 "Adrian Walker, Antonio Porto",
  title = 	 "KBO1, A knowledge based garden store assistant",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3928",
  note =	 "No. 44528"
}

Provign fairness of concurrent programs, Carl Hauser, Richard Reitman
@TechReport{ibm-rj-3931,
  author = 	 "Carl Hauser, Richard Reitman",
  title = 	 "Provign fairness of concurrent programs",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3931",
  note =	 "No. 44531"
}

A universal data compression system, J. Rissanen
@TechReport{ibm-rj-3936,
  author = 	 "J. Rissanen",
  title = 	 "A universal data compression system",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3936",
  note =	 "No. 44536"
}

Lock conversion in non-two-phase locking protocols, C. Mohan, D. Fussell, Z. Kedem, A. Silberschatz
@TechReport{ibm-rj-3947,
  author = 	 "C. Mohan, D. Fussell, Z. Kedem, A. Silberschatz",
  title = 	 "Lock conversion in non-two-phase locking protocols",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3947",
  note =	 "No. 44625"
}

Compatibility and commutativity of lock modes, C. Mohan, D. Fussel, A. Silberschatz
@TechReport{ibm-rj-3948,
  author = 	 "C. Mohan, D. Fussel, A. Silberschatz",
  title = 	 "Compatibility and commutativity of lock modes",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3948",
  note =	 "No. 44626"
}

Syllog: An approach to prolog for non-programmers, Adrian Walker
@TechReport{ibm-rj-3950,
  author = 	 "Adrian Walker",
  title = 	 "Syllog: An approach to prolog for non-programmers",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3950",
  note =	 "No. 44628"
}

Deterministic process logic elementary, Joseph Y. Halpern
@TechReport{ibm-rj-3968,
  author = 	 "Joseph Y. Halpern",
  title = 	 "Deterministic process logic elementary",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3968",
  note =	 "No. 44726"
}

A parallel algorithm for the knapsack problem, Ehud D. Karnin
@TechReport{ibm-rj-3980,
  author = 	 "Ehud D. Karnin",
  title = 	 "A parallel algorithm for the knapsack problem",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3980",
  note =	 "No. 44738"
}

Coding strigns by pairs of strings, F.R.K. Chung, R.E. Tarjan
@TechReport{ibm-rj-3989,
  author = 	 "F.R.K. Chung, R.E. Tarjan",
  title = 	 "Coding strigns by pairs of strings",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3989",
  note =	 "No. 44847"
}

The coming revolution in computing, John Backus
@TechReport{ibm-rj-3994,
  author = 	 "John Backus",
  title = 	 "The coming revolution in computing",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3994",
  note =	 "No. 44852"
}

A type system database interface, D.L. Weller
@TechReport{ibm-rj-3997,
  author = 	 "D.L. Weller",
  title = 	 "A type system database interface",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 3997",
  note =	 "No. 44855"
}

The COSIE communication subsystem: Support for distributed office applications, Douglas B. Terry, Sten Andler
@TechReport{ibm-rj-4006,
  author = 	 "Douglas B. Terry, Sten Andler",
  title = 	 "The COSIE communication subsystem: Support for
		  distributed office applications",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4006",
  note =	 "No. 45054"
}

A rigorous approach to fault-tolerant system development, Flaviu Cristian
@TechReport{ibm-rj-4008,
  author = 	 "Flaviu Cristian",
  title = 	 "A rigorous approach to fault-tolerant system
		  development",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4008",
  note =	 "No. 45056"
}

Simulation output analysis , Donald L. Iglehart, Gerald S. Shedler
@TechReport{ibm-rj-4020,
  author = 	 "Donald L. Iglehart, Gerald S. Shedler",
  title = 	 "Simulation output analysis ",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4020",
  note =	 "No. 45068"
}

Simulation for passage times in non-Markovian networks of queues, Donald L. Iglehart, Gerald S. Shedler
@TechReport{ibm-rj-4021,
  author = 	 "Donald L. Iglehart, Gerald S. Shedler",
  title = 	 "Simulation for passage times in non-Markovian
		  networks of queues",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4021",
  note =	 "No. 45069"
}

A knowledge-based approach to supporting office work, F.H. Lochovsky
@TechReport{ibm-rj-4037,
  author = 	 "F.H. Lochovsky",
  title = 	 "A knowledge-based approach to supporting office work",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4037",
  note =	 "No. 45195"
}

Bounded depth, polynomial-size circuits for symmetric functions, Ronald Fagin, Maria M. Klawe, Nicholas J. Pippenger, Larry Stockmeyer
@TechReport{ibm-rj-4040,
  author = 	 "Ronald Fagin, Maria M. Klawe, Nicholas J. Pippenger,
		  Larry Stockmeyer",
  title = 	 "Bounded depth, polynomial-size circuits for
		  symmetric functions",
  institution =  "IBM Research Division",
  year = 	 1983"",
  number =	 "IBM Research Report: RJ 4040",
  note =	 "No. 45198"
}

Imaging system response linearization and shading correction, Its'hak Dinstein, Fritz Merkle, Tinwai D. Lam, Kwan Y. Wong
@TechReport{ibm-rj-4044,
  author = 	 "Its'hak Dinstein, Fritz Merkle, Tinwai D. Lam, Kwan
		  Y. Wong",
  title = 	 "Imaging system response linearization and shading
		  correction",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4044",
  note =	 "No. 45302"
}

Resource management in the VM environment - A short discussion, Karl D. Schubert
@TechReport{ibm-rj-4049,
  author = 	 "Karl D. Schubert",
  title = 	 "Resource management in the VM environment - A short
		  discussion",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4049",
  note =	 "No. 45307"
}

AN application of statistical databases in manufactureing testing, Sakti P. Ghosh
@TechReport{ibm-rj-4055,
  author = 	 "Sakti P. Ghosh",
  title = 	 "AN application of statistical databases in
		  manufactureing testing",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4055",
  note =	 "No. 45313"
}

Undecidability of PDL with L = $a^2$|iíŠ0, D. Harel, M.S. Paterson
@TechReport{ibm-rj-4066,
  author = 	 "D. Harel, M.S. Paterson",
  title = 	 "Undecidability of PDL with L = {{$a^{2}$}|iíŠ0}",
  institution =  "IBM Research Division",
  year = 	 1983,
  key =          "Undecidability of PDL with L = {a2|iíŠ0}",
  number =	 "IBM Research Report: RJ 4066",
  note =	 "No. 45444"
}

On approximation algorithms for #P, Larry Stockmeyer
@TechReport{ibm-rj-4071,
  author = 	 "Larry Stockmeyer",
  title = 	 "On approximation algorithms for #P",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4071",
  note =	 "No. 45449"
}

A tight bound for black and white pebbles on the pyramid, Maria M. Klawe
@TechReport{ibm-rj-4072,
  author = 	 "Maria M. Klawe",
  title = 	 "A tight bound for black and white pebbles on the
		  pyramid",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4072",
  note =	 "No. 45450"
}

Concise Lnaguage refrence manual Version @, H.M. Gladney
@TechReport{ibm-rj-4074,
  author = 	 "H.M. Gladney",
  title = 	 "Concise Lnaguage refrence manual Version @",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4074",
  note =	 "No. 45452"
}

Database partitioning in a cluster of processors, Domenico Sacca, Gio Wiederhold
@TechReport{ibm-rj-4076,
  author = 	 "Domenico Sacca, Gio Wiederhold",
  title = 	 "Database partitioning in a cluster of processors",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4076",
  note =	 "No. 45454"
}

Improved lower bounds for the cycle detection problem, Eric Allender, Maria Klawe
@TechReport{ibm-rj-4078,
  author = 	 "Eric Allender, Maria Klawe",
  title = 	 "Improved lower bounds for the cycle detection
		  problem",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4078",
  note =	 "No. 45456"
}

On the power of the hypothesis of expressiveness, Steven M. German, Joseph Y. Halpern
@TechReport{ibm-rj-4079,
  author = 	 "Steven M. German, Joseph Y. Halpern",
  title = 	 "On the power of the hypothesis of expressiveness",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4079",
  note =	 "No. 45457"
}

A parallel pipelined relational query processor: An architectural overview, Daniel Gajski, Won Kim, Shinya Fushimi
@TechReport{ibm-rj-4087,
  author = 	 "Daniel Gajski, Won Kim, Shinya Fushimi",
  title = 	 "A parallel pipelined relational query processor: An
		  architectural overview",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4087",
  note =	 "No. 45485"
}

Databases for office workstations, Robert W. Taylor
@TechReport{ibm-rj-4091,
  author = 	 "Robert W. Taylor",
  title = 	 "Databases for office workstations",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4091",
  note =	 "No. 45489"
}

Fiting piecewise linear boundaries to polygonal objects in visual inspection applications, Jorge L.C. Sanz, Its'hak Dinstein, Les L. Berger, Kwan Y. Wong
@TechReport{ibm-rj-4093,
  author = 	 "Jorge L.C. Sanz, Its'hak Dinstein, Les L. Berger,
		  Kwan Y. Wong",
  title = 	 "Fiting piecewise linear boundaries to polygonal
		  objects in visual inspection applications",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4093",
  note =	 "No. 45491"
}

An efficient fault-tolerant algorithm for clock synchronization, Joe Halpern, Barbara Simons, Ray Strong
@TechReport{ibm-rj-4094,
  author = 	 "Joe Halpern, Barbara Simons, Ray Strong",
  title = 	 "An efficient fault-tolerant algorithm for clock
		  synchronization",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4094",
  note =	 "No. 45492"
}

From denotational to operational and axiomatic semantics for algol-like languages: An overview, B.A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer
@TechReport{ibm-rj-4105,
  author = 	 "B.A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer",
  title = 	 "From denotational to operational and axiomatic
		  semantics for algol-like languages: An overview",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4105",
  note =	 "No. 45623"
}

Pseudorandom number generation and space complesity, Merrick Furst, Richard Lipton, Larry Stockmeyer
@TechReport{ibm-rj-4116,
  author = 	 "Merrick Furst, Richard Lipton, Larry Stockmeyer",
  title = 	 "Pseudorandom number generation and space complesity",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4116",
  note =	 "No. 45634"
}

A logic to reason about likelihood, Joseph Y. Halpern, Michael O. Rabin
@TechReport{ibm-rj-4130,
  author = 	 "Joseph Y. Halpern, Michael O. Rabin",
  title = 	 "A logic to reason about likelihood",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4130",
  note =	 "No. 45768"
}

A logic to reason about likelihood, Joseph Y. Halpern, Michael O. Rabin
@TechReport{ibm-rj-4136,
  author = 	 "Joseph Y. Halpern, Michael O. Rabin",
  title = 	 "A logic to reason about likelihood",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4136",
  note =	 "No. 45774"
}

Alternation bounded auxiliary pushdown automata, Richard E. Ladner, Larry J. Stockmeyer, Richard J. Lipton
@TechReport{ibm-rj-4144,
  author = 	 "Richard E. Ladner, Larry J. Stockmeyer, Richard J.
		  Lipton",
  title = 	 "Alternation bounded auxiliary pushdown automata",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4144",
  note =	 "No. 45932"
}

A note on lossless database decompositions, Moshe Y. Vardi
@TechReport{ibm-rj-4145,
  author = 	 "Moshe Y. Vardi",
  title = 	 "A note on lossless database decompositions",
  institution =  "IBM Research Division",
  year = 	 1983,
  number =	 "IBM Research Report: RJ 4145",
  note =	 "No. 45933"
}

COmpression of multispectral image data based on a new model, Thomas M. Chen
@TechReport{ibm-rj-4151,
  author = 	 "Thomas M. Chen",
  title = 	 "COmpression of multispectral image data based on a
		  new model",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4151",
  note =	 "No. 45939"
}

User interface and access techniques for engineering databases, R. Lorie, W. Kim, D. McNabb, W. Plouffe
@TechReport{ibm-rj-4155,
  author = 	 "R. Lorie, W. Kim, D. McNabb, W. Plouffe",
  title = 	 "User interface and access techniques for engineering
		  databases",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4155",
  note =	 "No. 45943"
}

The COSIE name server, Douglas B. Terry
@TechReport{ibm-rj-4161,
  author = 	 "Douglas B. Terry",
  title = 	 "The COSIE name server",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4161",
  note =	 "No. 45949"
}

On parsing versus mixed-order model structures for data compression, Glen G. Langdon, Jr.
@TechReport{ibm-rj-4163,
  author = 	 "Glen G. Langdon, Jr.",
  title = 	 "On parsing versus mixed-order model structures for
		  data compression",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4163",
  note =	 "No. 46091"
}

Single database image in a cluster of processors, Wolfgang Effelsberg, Sheldon Finkelstein, Mario Schkolnick
@TechReport{ibm-rj-4175,
  author = 	 "Wolfgang Effelsberg, Sheldon Finkelstein, Mario
		  Schkolnick",
  title = 	 "Single database image in a cluster of processors",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4175",
  note =	 "No. 46103"
}

'Sometimes' and 'Not never' revisited: On branching versus linear time, E. Allen Emerson, Joseph Y. Halpern
@TechReport{ibm-rj-4197,
  author = 	 "E. Allen Emerson, Joseph Y. Halpern",
  title = 	 "'Sometimes' and 'Not never' revisited: On branching
		  versus linear time",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4197",
  note =	 "No. 46215"
}

AN optimal component labelling algorithm with label merging, Amelia C. Fong
@TechReport{ibm-rj-4201,
  author = 	 "Amelia C. Fong",
  title = 	 "AN optimal component labelling algorithm with label
		  merging",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4201",
  note =	 "No. 46219"
}

A new approach to database logic, Gabriel M. Kuper, Moshe Y. Vardi
@TechReport{ibm-rj-4202,
  author = 	 "Gabriel M. Kuper, Moshe Y. Vardi",
  title = 	 "A new approach to database logic",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4202",
  note =	 "No. 46280"
}

On the equivalence of logical databases, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi
@TechReport{ibm-rj-4203,
  author = 	 "Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi",
  title = 	 "On the equivalence of logical databases",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4203",
  note =	 "No. 46281"
}

On the complexity and axiomatizability of consistent database states, Marc H. Graham, Moshe Y. Vardi
@TechReport{ibm-rj-4207,
  author = 	 "Marc H. Graham, Moshe Y. Vardi",
  title = 	 "On the complexity and axiomatizability of consistent
		  database states",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4207",
  note =	 "No. 46285"
}

On the possibility and impossibility of achieving clock synchoronization, Danny Dolev, Joe Halpern, H. Raymond Strong
@TechReport{ibm-rj-4218,
  author = 	 "Danny Dolev, Joe Halpern, H. Raymond Strong",
  title = 	 "On the possibility and impossibility of achieving
		  clock synchoronization",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4218",
  note =	 "No. 46296"
}

An evaluation of tagging, J.C. van Vliet, H.M. Gladney
@TechReport{ibm-rj-4220,
  author = 	 "J.C. van Vliet, H.M. Gladney",
  title = 	 "An evaluation of tagging",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4220",
  note =	 "No. 46298"
}

Automata theoretic techniques for modal logics of programs, Moshe Y. Vardi, Pierre Wolper
@TechReport{ibm-rj-4232,
  author = 	 "Moshe Y. Vardi, Pierre Wolper",
  title = 	 "Automata theoretic techniques for modal logics of
		  programs",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4232",
  note =	 "No. 46480"
}

A new look at fault tolerant network routing, Danny Dolev, Joe Halpern, Barbara Simons, Ray Strong
@TechReport{ibm-rj-4238,
  author = 	 "Danny Dolev, Joe Halpern, Barbara Simons, Ray Strong",
  title = 	 "A new look at fault tolerant network routing",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4238",
  note =	 "No. 46486"
}

On the minimal synchronism needed for distributed consensus, Danny Dolev, Cynthia Dwork, Larry Stockmeyer
@TechReport{ibm-rj-4292,
  author = 	 "Danny Dolev, Cynthia Dwork, Larry Stockmeyer",
  title = 	 "On the minimal synchronism needed for distributed
		  consensus",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4292",
  note =	 "No. 46990"
}

The concept of architecture applied to user interfaces in interactive computer systems, John L. Bennett
@TechReport{ibm-rj-4295,
  author = 	 "John L. Bennett",
  title = 	 "The concept of architecture applied to user
		  interfaces in interactive computer systems",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4295",
  note =	 "No. 46993"
}

Likelihood, probability, and knowledge, JOseph Y. Halpern, David A. McAllester
@TechReport{ibm-rj-4313,
  author = 	 "JOseph Y. Halpern, David A. McAllester",
  title = 	 "Likelihood, probability, and knowledge",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4313",
  note =	 "No. 47141"
}

The semantics of local storage, or what makes the free list free, Joseph Y. Halpern, Albert R. Meyer, Boris Trakhtenbrot
@TechReport{ibm-rj-4320,
  author = 	 "Joseph Y. Halpern, Albert R. Meyer, Boris
		  Trakhtenbrot",
  title = 	 "The semantics of local storage, or what makes the
		  free list free",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4321",
  note =	 "No. 47149"
}

The complexity of pebbling for two classes of graphs , Maria M. Klawe
@TechReport{ibm-rj-4359,
  author = 	 "Maria M. Klawe",
  title = 	 "The complexity of pebbling for two classes of graphs ",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4359",
  note =	 "No. 47437"
}

Human factors redesign and test of a graphics system, Phyllis Reisner, Glen G. Langdon, Jr.
@TechReport{ibm-rj-4361,
  author = 	 "Phyllis Reisner, Glen G. Langdon, Jr.",
  title = 	 "Human factors redesign and test of a graphics system",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4361",
  note =	 "No. 47439"
}

A model-theoretic analysis of knowledge: Orekunubart report, Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
@TechReport{ibm-rj-4373,
  author = 	 "Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi",
  title = 	 "A model-theoretic analysis of knowledge: Orekunubart
		  report",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4373",
  note =	 "No. 47631"
}

A new image processing algorithm for finding the convex hull diameter and other features of a digital planar object, Jorge L.C. Sanz
@TechReport{ibm-rj-4379,
  author = 	 "Jorge L.C. Sanz",
  title = 	 "A new image processing algorithm for finding the
		  convex hull diameter and other features of a digital
		  planar object",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4379",
  note =	 "No. 47638"
}

Regenerative stochastic Petri nets, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-4383,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Regenerative stochastic Petri nets",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4383",
  note =	 "No. 47771"
}

Updatinb logical databases, Ronald Fain, Gabrriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi
@TechReport{ibm-rj-4400,
  author = 	 "Ronald Fain, Gabrriel M. Kuper, Jeffrey D. Ullman,
		  Moshe Y. Vardi",
  title = 	 "Updatinb logical databases",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4400",
  note =	 "No. 47788"
}

Decreasing the nesting depth of expressions involving square roots, Allan Borodin, Ronald Fagin, John E, Hopcroft, Martin Tompa
@TechReport{ibm-rj-4401,
  author = 	 "Allan Borodin, Ronald Fagin, John E, Hopcroft,
		  Martin Tompa",
  title = 	 "Decreasing the nesting depth of expressions
		  involving square roots",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4401",
  note =	 "No. 47789"
}

Flipping coins in many pockets (Byzantine agreement on uniuniformly random values) Preliminary version, Andri Z. Broder, Danny Dolev
@TechReport{ibm-rj-4412,
  author = 	 "Andri Z. Broder, Danny Dolev",
  title = 	 "Flipping coins in many pockets (Byzantine agreement
		  on uniuniformly random values) Preliminary version",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4412",
  note =	 "No. 47900"
}

Regenerative simulation of non-Markovian stochastic systems, Donald L. Iglehart, Gerald S. Shedler
@TechReport{ibm-rj-4415,
  author = 	 "Donald L. Iglehart, Gerald S. Shedler",
  title = 	 "Regenerative simulation of non-Markovian stochastic
		  systems",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4415",
  note =	 "No. 47903"
}

Knowledge and common knowledge in a distributed environment, Joseph Y. Halpern, Yoram Moses
@TechReport{ibm-rj-4421,
  author = 	 "Joseph Y. Halpern, Yoram Moses",
  title = 	 "Knowledge and common knowledge in a distributed
		  environment",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4421",
  note =	 "No. 47909"
}

A five year history of VM service at San Jose Research, Tom Heald
@TechReport{ibm-rj-4422,
  author = 	 "Tom Heald",
  title = 	 "A five year history of VM service at San Jose
		  Research",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4422",
  note =	 "No. 48010"
}

Fast computation of geometrical features in general purpose image processing architectures, I. Dinstein, J.L.C. Sanz, and K.Y. Wong
@TechReport{ibm-rj-4443,
  author = 	 "I. Dinstein, J.L.C. Sanz, and K.Y. Wong",
  title = 	 "Fast computation of geometrical features in general
		  purpose image processing architectures",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4443",
  note =	 "No. 48131"
}

Statistics metadata: Linear regression analysis, Sakti P. Ghosh
@TechReport{ibm-rj-4444,
  author = 	 "Sakti P. Ghosh",
  title = 	 "Statistics metadata: Linear regression analysis",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4444",
  note =	 "No. 48132"
}

Towards a theory of knowledge and ignorance: Preliminary Report, Joseph Y. Halpern, Yoram Moses
@TechReport{ibm-rj-4448,
  author = 	 "Joseph Y. Halpern, Yoram Moses",
  title = 	 "Towards a theory of knowledge and ignorance:
		  Preliminary Report",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4448",
  note =	 "No. 48136"
}

Automata-theoretic techniques for modal logics of programs, Moshe Y. Vardi, Pierre Wolper
@TechReport{ibm-rj-4450,
  author = 	 "Moshe Y. Vardi, Pierre Wolper",
  title = 	 "Automata-theoretic techniques for modal logics of
		  programs",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4450",
  note =	 "No. 48138"
}

Parameter reductionand context selection for compression of gray-scale images, Glen G. Langdon, Jr., Jorma Rissanen, Stephen Todd
@TechReport{igm-rj-4462,
  author = 	 "Glen G. Langdon, Jr., Jorma Rissanen, Stephen Todd",
  title = 	 "Parameter reductionand context selection for
		  compression of gray-scale images",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4462",
  note =	 "No. 48250"
}

Automated digital visual inspection with darkfield microscopy, Jorge Sanz, Fritz Merkle, Kwan Wong
@TechReport{ibm-rj-4463,
  author = 	 "Jorge Sanz, Fritz Merkle, Kwan Wong",
  title = 	 "Automated digital visual inspection with darkfield
		  microscopy",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4463",
  note =	 "No. 48251"
}

On exceptions, failures, and errors, Flaviu Cristian
@TechReport{ibm-rj-4486,
  author = 	 "Flaviu Cristian",
  title = 	 "On exceptions, failures, and errors",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4486",
  note =	 "No. 48344"
}

On monotone formulae with restricted depth (Preliminary Version), Maria Klawe, Mihalis Yannakakis
@TechReport{ibm-rj-4490,
  author = 	 "Maria Klawe, Mihalis Yannakakis",
  title = 	 "On monotone formulae with restricted depth
		  (Preliminary Version)",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4490",
  note =	 "No. 48348"
}

A new procedure for computing binary and multi-colored polygonal masks in general purpose image processing pipeline architectures, Jorge L.C. Sanz, Its'hak Dinstein, Dragutin Petkovic
@TechReport{ibm-rj-4491,
  author = 	 "Jorge L.C. Sanz, Its'hak Dinstein, Dragutin Petkovic",
  title = 	 "A new procedure for computing binary and
		  multi-colored polygonal masks in general purpose
		  image processing pipeline architectures",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4491",
  note =	 "No. 48349"
}

Fast algorithms for n-dimensional restrictions of hard problems, Friedhelm Meyer auf der Heide
@TechReport{ibm-rj-4493,
  author = 	 "Friedhelm Meyer auf der Heide",
  title = 	 "Fast algorithms for n-dimensional restrictions of
		  hard problems",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4493",
  note =	 "No. 48351"
}

Classification of 2-generator finite metabelian p-groups having a proper Hp-subgroup, William F. Cody
@TechReport{ibm-rj-4504,
  author = 	 "William F. Cody",
  title = 	 "Classification of 2-generator finite metabelian
		  p-groups having a proper Hp-subgroup",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4504",
  note =	 "No. 48512"
}

Measurement of SQL: Problems and progress, Phyllis Reisner
@TechReport{ibm-rj-4510,
  author = 	 "Phyllis Reisner",
  title = 	 "Measurement of SQL: Problems and progress",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4510",
  note =	 "No. 48518"
}

Problems in fault tolerant distriburted systems, Ray Strong
@TechReport{ibm-rj-4519,
  author = 	 "Ray Strong",
  title = 	 "Problems in fault tolerant distriburted systems",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4519",
  note =	 "No. 48527"
}

Denotational semantics and rewrite rules for FP: Preliminary Report, Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler
@TechReport{ibm-rj-4525,
  author = 	 "Joseph Y. Halpern, John H. Williams, Edward L.
		  Wimmers, Timothy C. Winkler",
  title = 	 "Denotational semantics and rewrite rules for FP:
		  Preliminary Report",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4525",
  note =	 "No. 48653"
}

A nonlinear lower bound for random access machines under logarithmic cost, Arnold Schonhage
@TechReport{ibm-rj-4527,
  author = 	 "Arnold Schonhage",
  title = 	 "A nonlinear lower bound for random access machines
		  under logarithmic cost",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4527",
  note =	 "No. 48655"
}

Regenerative simulation of stochastic Petri nets, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-4530,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Regenerative simulation of stochastic Petri nets",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4530",
  note =	 "No. 48658"
}

Integrated manufactureing testing, Sakti P. Ghosh
@TechReport{ibm-rj-4552,
  author = 	 "Sakti P. Ghosh",
  title = 	 "Integrated manufactureing testing",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4552",
  note =	 "No. 48880"
}

Symmetric stochastic Petri net, Lindsay A. Prisgrove
@TechReport{ibm-rj-4553,
  author = 	 "Lindsay A. Prisgrove",
  title = 	 "Symmetric stochastic Petri net",
  institution =  "IBM Research Division",
  year = 	 1984,
  number =	 "IBM Research Report: RJ 4401",
  note =	 "No. 48880"
}

CONTAM: An edge-based approach to segmenting images with irregular objects, Glenn Healy, Jorge L.C. Sanz
@TechReport{ibm-rj-4560,
  author = 	 "Glenn Healy, Jorge L.C. Sanz",
  title = 	 "CONTAM: An edge-based approach to segmenting images
		  with irregular objects",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4560",
  note =	 "No. 48888"
}

A new approach to computing geometrical features of digital objects for machine vision, image analysis and image processing: Algorithms in pipeline architectures, Jorge L.C. Sanz
@TechReport{ibm-rj-4561,
  author = 	 "Jorge L.C. Sanz",
  title = 	 "A new approach to computing geometrical features of
		  digital objects for machine vision, image analysis
		  and image processing: Algorithms in pipeline
		  architectures",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4561",
  note =	 "No. 48889"
}

From function level semantics to program transformation and optimization, John Backus
@TechReport{ibm-rj-4567,
  author = 	 "John Backus",
  title = 	 "From function level semantics to program
		  transformation and optimization",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4567",
  note =	 "No. 49035"
}

On the versatility of knowledge representations, Peter Lucas
@TechReport{ibm-rj-4573,
  author = 	 "Peter Lucas",
  title = 	 "On the versatility of knowledge representations",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4573",
  note =	 "No. 49041"
}

Object models for office systems --- An exposition of architectural concepts, H.M. Gladney, J.L. Bennett
@TechReport{ibm-rj-4584,
  author = 	 "H.M. Gladney, J.L. Bennett",
  title = 	 "Object models for office systems --- An exposition
		  of architectural concepts",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4584",
  note =	 "No. 49122"
}

On the data manipulation paradigm in interactive display management, James R. Rhyne
@TechReport{ibm-rj-4585,
  author = 	 "James R. Rhyne",
  title = 	 "On the data manipulation paradigm in interactive
		  display management",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4585",
  note =	 "No. 49123"
}

PROBOT - A tool for automated software assembly, James R. Rhyne
@TechReport{ibm-rj-4586,
  author = 	 "James R. Rhyne",
  title = 	 "PROBOT - A tool for automated software assembly",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4586",
  note =	 "No. 49124"
}

Placing tiles in the plane, Andrei Broder, Barbara Simons
@TechReport{ibm-rj-4602,
  author = 	 "Andrei Broder, Barbara Simons",
  title = 	 "Placing tiles in the plane",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4602",
  note =	 "No. 49300"
}

Computing projections of digital images in general purpose image processing pipeline architectures, Jorge Sanz, Eric Hinkle
@TechReport{ibm-rj-4617,
  author = 	 "Jorge Sanz, Eric Hinkle",
  title = 	 "Computing projections of digital images in general
		  purpose image processing pipeline architectures",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4617",
  note =	 "No. 49315"
}

An internal semantics for modal logic : Preliminary report, Ronald Fagin, Moshe Y. Vardi
@TechReport{ibm-rj-4656,
  author = 	 "Ronald Fagin, Moshe Y. Vardi",
  title = 	 "An internal semantics for modal logic : Preliminary
		  report",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4656",
  note =	 "No. 48664"
}

Belief, a wareness, and limited reasoning : Preliminary report, Ronald Fagin, JOseph Y. Halpern
@TechReport{ibm-rj-4657,
  author = 	 "Ronald Fagin, JOseph Y. Halpern",
  title = 	 "Belief, a wareness, and limited reasoning :
		  Preliminary report",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4657",
  note =	 "No. 49665"
}

Recurrence and regeneration in non-Markovian networks of queues, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-4671,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Recurrence and regeneration in non-Markovian
		  networks of queues",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4671",
  note =	 "No. 49839"
}

A review of digital image processing techniques for document handling and other applications, Kwan Y. Wong, Jorge L.C. Sanz
@TechReport{ibm-rj-4681,
  author = 	 "Kwan Y. Wong, Jorge L.C. Sanz",
  title = 	 "A review of digital image processing techniques for
		  document handling and other applications",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4681",
  note =	 "No. 49849"
}

Object-oriented database concepts for engineering applications, Klaus R. Dittrich, Raymond A. Lorie
@TechReport{ibm-rj-4691,
  author = 	 "Klaus R. Dittrich, Raymond A. Lorie",
  title = 	 "Object-oriented database concepts for engineering
		  applications",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4691",
  note =	 "No. 50029"
}

Simulating probabilistic by deterministic algebraic computation trees, Friedhelm Meyer auf der Heide
@TechReport{ibm-rj-4694,
  author = 	 "Friedhelm Meyer auf der Heide",
  title = 	 "Simulating probabilistic by deterministic algebraic
		  computation trees",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4694",
  note =	 "No. 50032"
}

Nondeterministic versus probabilistic linear search algorithms, Friedhelm Meyer auf der Heide
@TechReport{ibm-rj-4695,
  author = 	 "Friedhelm Meyer auf der Heide",
  title = 	 "Nondeterministic versus probabilistic linear search
		  algorithms",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4695",
  note =	 "No. 50033"
}

Monotone versus positive, Miklos Ajtai, Yuri Gurevich
@TechReport{ibm-rj-4697,
  author = 	 "Miklos Ajtai, Yuri Gurevich",
  title = 	 "Monotone versus positive",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4697",
  note =	 "No. 50035"
}

Concurrency and recovery in data base systems, C. Mohan
@TechReport{ibm-rj-4700,
  author = 	 "C. Mohan",
  title = 	 "Concurrency and recovery in data base systems",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4700",
  note =	 "No. 50038"
}

First-order definability on finite structures, M. Ajtai
@TechReport{ibm-rj-4705,
  author = 	 "M. Ajtai",
  title = 	 "First-order definability on finite structures",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4705",
  note =	 "No. 50173"
}

The complexity of parallel sorting, Friedhelm Meyer auf der Heide, Avi Wigderson
@TechReport{ibm-rj-4706,
  author = 	 "Friedhelm Meyer auf der Heide, Avi Wigderson",
  title = 	 "The complexity of parallel sorting",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4706",
  note =	 "No. 50174"
}

The power of your editor, Robert A. Stegwee, Leen Torenvliet, Peter van Emde Boas
@TechReport{ibm-rj-4711,
  author = 	 "Robert A. Stegwee, Leen Torenvliet, Peter van Emde
		  Boas",
  title = 	 "The power of your editor",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4711",
  note =	 "No. 50179"
}

Recurrence and regeneration in generalized semi-Markov processes, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-4713,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Recurrence and regeneration in generalized
		  semi-Markov processes",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4713",
  note =	 "No. 50191"
}

A constraint language and its interpreter, Hans P. Zima
@TechReport{ibm-rj-4714,
  author = 	 "Hans P. Zima",
  title = 	 "A constraint language and its interpreter",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4714",
  note =	 "No. 50192"
}

Statistical data reduction for manufacturing testing, Sakti P. Ghosh
@TechReport{ibm-rj-4715,
  author = 	 "Sakti P. Ghosh",
  title = 	 "Statistical data reduction for manufacturing testing",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4715",
  note =	 "No. 50193"
}

A numerical study of unstable flow between rotating disks, Jacob E. Fromm
@TechReport{ibm-rj-4734,
  author = 	 "Jacob E. Fromm",
  title = 	 "A numerical study of unstable flow between rotating
		  disks",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4734",
  note =         "No. 50332"
}

Reliability of duplex systems, Spencer W. Ng
@TechReport{ibm-rj-4737,
  author = 	 "Spencer W. Ng",
  title = 	 "Reliability of duplex systems",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4737",
  note =	 "No. 50335"
}

Regeneration and networks of queues, Gerald S. Shedler
@TechReport{ibm-rj-4742,
  author = 	 "Gerald S. Shedler",
  title = 	 "Regeneration and networks of queues",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4742",
  note =	 "No. 50510"
}

A knowledge-based production system for verifying engineering specifications in industrial inspection applications, E. Petkovic, E. Hinkle
@TechReport{ibm-rj-4743,
  author = 	 "E. Petkovic, E. Hinkle",
  title = 	 "A knowledge-based production system for verifying
		  engineering specifications in industrial inspection
		  applications",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4743",
  note =	 "No. 50511"
}

A guide to the modal logics of knowledge and belief: Preliminary draft, Joseph Y. Halpern, Yoram Moses
@TechReport{ibm-rj-4753,
  author = 	 "Joseph Y. Halpern, Yoram Moses",
  title = 	 "A guide to the modal logics of knowledge and belief:
		  Preliminary draft",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4753",
  note =	 "No. 50521"
}

Simple symbolic and numeric computations based on equations and inequalities, Bo S. Hansen, Michael R. Hansen
@TechReport{ibm-rj-4754,
  author = 	 "Bo S. Hansen, Michael R. Hansen",
  title = 	 "Simple symbolic and numeric computations based on
		  equations and inequalities",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4754",
  note =	 "No. 50522"
}

Cheating husbands and other stories: A case study of knowledge, action, and communication, Yoram Moses, Danny Dolev, Joseph Y. Halpern
@TechReport{ibm-rj-4756,
  author = 	 "Yoram Moses, Danny Dolev, Joseph Y. Halpern",
  title = 	 "Cheating husbands and other stories: A case study of
		  knowledge, action, and communication",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4756",
  note =	 "No. 50524"
}

Lower bounds for parallel random access machines with unbounded shared memory, Faith E. Fich, Friedhelm Meyer auf der Heide, Avi Wigderson
@TechReport{ibm-rj-4757,
  author = 	 "Faith E. Fich, Friedhelm Meyer auf der Heide, Avi
		  Wigderson",
  title = 	 "Lower bounds for parallel random access machines
		  with unbounded shared memory",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4757",
  note =	 "No. 50525"
}

Optimal precision in the presence of uncertainty, Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi
@TechReport{ibm-rj-4768,
  author = 	 "Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi",
  title = 	 "Optimal precision in the presence of uncertainty",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4768",
  note =	 "No. 50627"
}

Version support for engineering database sytems, Klaus R. Dittrich, Raymond A. Lorie
@TechReport{ibm-rj-4769,
  author = 	 "Klaus R. Dittrich, Raymond A. Lorie",
  title = 	 "Version support for engineering database sytems",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4769",
  note =	 "No. 50628"
}

Storing and evaluating Horn-clause rules in a relational database, Ghica van Emde Boas, Peter van Emde Boas
@TechReport{ibm-rj-4776,
  author = 	 "Ghica van Emde Boas, Peter van Emde Boas",
  title = 	 "Storing and evaluating Horn-clause rules in a
		  relational database",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4776",
  note =	 "No. 50635"
}

A simple characterization of database dependency implication, Yoshito Hanatani, Ronald Fagin
@TechReport{ibm-rj-4777,
  author = 	 "Yoshito Hanatani, Ronald Fagin",
  title = 	 "A simple characterization of database dependency
		  implication",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4777",
  note =	 "No. 50636"
}

Key-sequence data sets on indelible storage, Malcolm C. Easton
@TechReport{ibm-rj-4778,
  author = 	 "Malcolm C. Easton",
  title = 	 "Key-sequence data sets on indelible storage",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4778",
  note =	 "No. 50637"
}

Achieving high availability in partitioned database system, Dale Skeen
@TechReport{ibm-rj-4783,
  author = 	 "Dale Skeen",
  title = 	 "Achieving high availability in partitioned database
		  system",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4783",
  note =	 "No. 50792"
}

Voice and telephony applications for the office workstation, Antonio Ruiz
@TechReport{ibm-rj-4784,
  author = 	 "Antonio Ruiz",
  title = 	 "Voice and telephony applications for the office
		  workstation",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4784",
  note =	 "No. 50793"
}

Combining component features , D. Petkovic, K. Mohiuddin
@TechReport{ibm-rj-4810,
  author = 	 "D. Petkovic, K. Mohiuddin",
  title = 	 "Combining component features ",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4810",
  note =	 "No. 50961"
}

On networks of noisy gates (Preliminary version), Nicholas Pippernger
@TechReport{ibm-rj-4814,
  author = 	 "Nicholas Pippernger",
  title = 	 "On networks of noisy gates (Preliminary version)",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4814",
  note =	 "No. 50965"
}

On applications of multi-colored polygonal masks and their computation in image processing pipeline architectures, D. Petkovic, J. Sanz, I. Dinstein
@TechReport{ibm-rj-4815,
  author = 	 "D. Petkovic, J. Sanz, I. Dinstein",
  title = 	 "On applications of multi-colored polygonal masks and
		  their computation in image processing pipeline
		  architectures",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4815",
  note =	 "No. 50966"
}

Speeding up random access machines by few processors, Friendhelm Meyer auf der Heide
@TechReport{ibm-rj-4816,
  author = 	 "Friendhelm Meyer auf der Heide",
  title = 	 "Speeding up random access machines by few processors",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4816",
  note =	 "No. 50967"
}

Text recognition using adaptive software, R.G. Casey, K.Y. Wong
@TechReport{ibm-rj-4830,
  author = 	 "R.G. Casey, K.Y. Wong",
  title = 	 "Text recognition using adaptive software",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4830",
  note =	 "No. 51091"
}

Index scans using a finite lru buffer : A validated I/O model, Lothar F. Mackert, Guy M. Lohman
@TechReport{ibm-rj-4836,
  author = 	 "Lothar F. Mackert, Guy M. Lohman",
  title = 	 "Index scans using a finite lru buffer : A validated
		  I/O model",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4836",
  note =	 "No. 51097"
}

An efficient, fault-tolerant protocol for replicated data management, Amr El Abbadi, Dale Skeen, Flaviu Cristian
@TechReport{ibm-rj-4851,
  author = 	 "Amr El Abbadi, Dale Skeen, Flaviu Cristian",
  title = 	 "An efficient, fault-tolerant protocol for replicated
		  data management",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 4851",
  note =	 "No. 51200"
}

Increasing availability in partitioned database systems, Dale Skeen, David D. Wright
@TechReport{ibm-rj-4857,
  author = 	 "Dale Skeen, David D. Wright",
  title = 	 "Increasing availability in partitioned database
		  systems",
  institution =  "IBM Research Divisio",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4857",
  note =	 "No. 51206"
}

Fundamentals of dependency theory, Moshe Y. Vardi
@TechReport{ibm-rj-4858,
  author = 	 "Moshe Y. Vardi",
  title = 	 "Fundamentals of dependency theory",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4858",
  note =	 "No. 51207"
}

A retrospective of $R^*$ : A Distributed Database Management System, Bruce Lindsay
@TechReport{ibm-rj-4859,
  author = 	 "Bruce Lindsay",
  title = 	 "A retrospective of {$R^{*}$} : A Distributed
		  Database Management System",
  institution =  "IBM Research Division",
  year = 	 1985,
  key =		 "A retrospective of R* : A Distributed Database
		  Management System",
  number =	 "IBM Research Report: RJ 4859",
  note =	 "No. 51208"
}

Deterministic simulation of probabilistic constant depth circuits (Preliminary version), Miklos Ajtai, Avi Wigderson
@TechReport{ibm-rj-4866,
  author = 	 "Miklos Ajtai, Avi Wigderson",
  title = 	 "Deterministic simulation of probabilistic constant
		  depth circuits (Preliminary version)",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4866",
  note =	 "No. 51296"
}

RL, a language for enhanced rule based database processing, working document, Peter van Emde Boas
@TechReport{ibm-rj-4869,
  author = 	 "Peter van Emde Boas",
  title = 	 "RL, a language for enhanced rule based database
		  processing, working document",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4869",
  note =	 "No. 51299"
}

Phase-only image reconstruction from offset fourier data, D.C. Munson, Jr., J.L.C. Sanz
@TechReport{ibm-rj-4871,
  author = 	 "D.C. Munson, Jr., J.L.C. Sanz",
  title = 	 "Phase-only image reconstruction from offset fourier
		  data",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4871",
  note =	 "No. 51301"
}

Integrating constraint languages and relational databases, Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas
@TechReport{ibm-rj-4873,
  author = 	 "Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter
		  van Emde Boas",
  title = 	 "Integrating constraint languages and relational
		  databases",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4873",
  note =	 "No. 51303"
}

Querying logical databases, Moshe Y. Vardi
@TechReport{ibm-rj-4874,
  author = 	 "Moshe Y. Vardi",
  title = 	 "Querying logical databases",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4874",
  note =	 "No. 51304"
}

Using the Microsoft mouse with turbo Pscal / an application of in-line assembly, Thomas K. Truong
@TechReport{ibm-rj-4880,
  author = 	 "Thomas K. Truong",
  title = 	 "Using the Microsoft mouse with turbo Pscal / an
		  application of in-line assembly",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4880",
  note =	 "No. 51420"
}

Chemical amplification in the design of radiation-sensitive polymers, J.M.J. Fr\'echet, F.M. Houlihan, F. Bouchard, E. Eichler, et. al.
@TechReport{ibm-rj-4882,
  author = 	 "J.M.J. Fr{\'{e}}chet, F.M. Houlihan, F. Bouchard, 
                  E. Eichler, et. al.",
  title = 	 "Chemical amplification in the design of
		  radiation-sensitive polymers",
  institution =  "IBM Research Division",
  key =          "J.M.J. Frechet",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4882",
  note =	 "No. 51422"
}

Problems in maintaining agreement, Ray Strong
@TechReport{ibm-rj-4936,
  author = 	 "Ray Strong",
  title = 	 "Problems in maintaining agreement",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4936",
  note =	 "No. 51686"
}

An experimental system for disk head inspection, D. Petkovic, et. al.
@TechReport{ibm-rj-4942,
  author = 	 "D. Petkovic, et. al.",
  title = 	 "An experimental system for disk head inspection",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4942",
  note =	 "No. 51752"
}

A note on sensitivity analysis in algebraic algorithms, Nimrod Megiddo
@TechReport{ibm-rj-4958,
  author = 	 "Nimrod Megiddo",
  title = 	 "A note on sensitivity analysis in algebraic
		  algorithms",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4958",
  note =	 "No. 51768"
}

Counting unique values of an attribute without sorting, Morton M. Astrahan, Mario Schkolnick, Kyu-Young Whang
@TechReport{ibm-rj-4960,
  author = 	 "Morton M. Astrahan, Mario Schkolnick, Kyu-Young
		  Whang",
  title = 	 "Counting unique values of an attribute without
		  sorting",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4960",
  note =	 "No. 51972"
}

Improved asymptotic analysis of the average number of steps of the self-dual simplex algorithm, Nimrod Megiddo
@TechReport{ibm-rj-4962,
  author = 	 "Nimrod Megiddo",
  title = 	 "Improved asymptotic analysis of the average number
		  of steps of the self-dual simplex algorithm",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4962",
  note =	 "No. 51974"
}

On extending the realm of application of relational system, Raymond A. Lorie, Jean-Jacques Daudenarde
@TechReport{ibm-rj-4973,
  author = 	 "Raymond A. Lorie, Jean-Jacques Daudenarde",
  title = 	 "On extending the realm of application of relational
		  system",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4973",
  note =	 "No. 51985"
}

Rule-based translation of relational queries into iterative programs, Johann Christoph Freytag, Nathan Goodman
@TechReport{ibm-rj-4974,
  author = 	 "Johann Christoph Freytag, Nathan Goodman",
  title = 	 "Rule-based translation of relational queries into
		  iterative programs",
  institution =  "IBM Research Division",
  year = 	 1985,
  number =	 "IBM Research Report: RJ 4974",
  note =	 "No. 51986"
}

A tradeoff between search and update time for the implicit dictionary problem, Allan Borodin, Faith E. Fich, Friedhelm Meyer auf der Heide, Eli Upfal, Avi Wigderson
@TechReport{ibm-rj-4980,
  author = 	 "Allan Borodin, Faith E. Fich, Friedhelm Meyer auf
		  der Heide, Eli Upfal, Avi Wigderson",
  title = 	 "A tradeoff between search and update time for the
		  implicit dictionary problem",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 4980",
  note =	 "No. 52157"
}

On play by means of computing machines, Nimrod Megiddo, Avi Wigderson
@TechReport{ibm-rj-4984,
  author = 	 "Nimrod Megiddo, Avi Wigderson",
  title = 	 "On play by means of computing machines",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 4984",
  note =	 "No. 52161"
}

On the complexity of linear programming, Nimrod Megiddo
@TechReport{ibm-rj-4985,
  author = 	 "Nimrod Megiddo",
  title = 	 "On the complexity of linear programming",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 4985",
  note =	 "No. 52162"
}

Computing circular separability, Joseph O'Rourke, S. Rao Kosaraju, Nimrod Megiddo
@TechReport{ibm-rj-4986,
  author = 	 "Joseph O'Rourke, S. Rao Kosaraju, Nimrod Megiddo",
  title = 	 "Computing circular separability",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 4986",
  note =	 "No. 52163"
}

On the complesity of searching a graph, Nimrod Megiddo, S.L. Hakimi, Michael R. Garey, David S. Johnson, Christos H. Papadimitriou
@TechReport{ibm-rj-4987,
  author = 	 "Nimrod Megiddo, S.L. Hakimi, Michael R. Garey, David
		  S. Johnson, Christos H. Papadimitriou",
  title = 	 "On the complesity of searching a graph",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 4987",
  note =	 "No. 52164"
}

$R^*$ Optimizer validation and performance evaluation for local queries, Lothar F. Mackert, Guy M. Lohman
@TechReport{ibm-rj-4989,
  author = 	 "Lothar F. Mackert, Guy M. Lohman",
  title = 	 "{$R^{*}$} Optimizer validation and performance
		  evaluation for local queries",
  institution =  "IBM Research Division",
  year = 	 1986,
  key =		 "R* Optimizer validation and performance evaluation
		  for local queries",
  number =	 "IBM Research Report: RJ 4989",
  note =	 "No. 52166"
}

Knowledge and implicit knowledge in a distributed environment : Preliminary report, Ronald Fagin, Moshe Y. Vardi
@TechReport{ibm-rj-4990,
  author = 	 "Ronald Fagin, Moshe Y. Vardi",
  title = 	 "Knowledge and implicit knowledge in a distributed
		  environment : Preliminary report",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 4990",
  note =	 "No. 52167"
}

A snapshot differential refresh algorithm, Bruce Lindsay, Laura Haas, C. Mohan, Hamid Pirahesh, Paul Wilms
@TechReport{ibm-rj-4992,
  author = 	 "Bruce Lindsay, Laura Haas, C. Mohan, Hamid Pirahesh,
		  Paul Wilms",
  title = 	 "A snapshot differential refresh algorithm",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 4992",
  note =	 "No. 52169"
}

reasoning about knowledge: An overview, Joseph Y. Halpern
@TechReport{ibm-rj-5001,
  author = 	 "Joseph Y. Halpern",
  title = 	 "reasoning about knowledge: An overview",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5001",
  note =	 "No. 52251"
}

Controlled cooperation in engineering database systems, Klaus R. Cittrich
@TechReport{ibm-rj-5003,
  author = 	 "Klaus R. Cittrich",
  title = 	 "Controlled cooperation in engineering database
		  systems",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5003",
  note =	 "No. 52253"
}

An O(n log n) randomizing algorithm for the weighted Euclidean 1-center problem, Nimrod Megiddo, Eitan Zemel
@TechReport{ibm-rj-5005,
  author = 	 "Nimrod Megiddo, Eitan Zemel",
  title = 	 "An O(n log n) randomizing algorithm for the weighted
		  Euclidean 1-center problem",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5005",
  note =	 "No. 52255"
}

A software engineering database using XSQL., Jean-Jacques Daudenarde
@TechReport{ibm-rj-5010,
  author = 	 "Jean-Jacques Daudenarde",
  title = 	 "A software engineering database using XSQL.",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5010",
  note =	 "No. 52260"
}

Dynamical hole-burning requirements for frequency domain optical sotrage, W.E. Moerner
@TechReport{ibm-rj-5019,
  author = 	 "W.E. Moerner",
  title = 	 "Dynamical hole-burning requirements for frequency
		  domain optical sotrage",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5019",
  note =	 "No. 52269"
}

On epistemic logic and logical omniscience, Moshe Y. Vardi
@TechReport{ibm-rj-5022,
  author = 	 "Moshe Y. Vardi",
  title = 	 "On epistemic logic and logical omniscience",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5022",
  note =	 "No. 52382"
}

Physical database design for relational databases, S. Finkelstein, M. Schkoinick, P. Tiberio
@TechReport{ibm-rj-5034,
  author = 	 "S. Finkelstein, M. Schkoinick, P. Tiberio",
  title = 	 "Physical database design for relational databases",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5034",
  note =	 "No. 52394"
}

Transaction management in the $R^*$ distributed data base management system, C. Mohan, B. Lindsay, R. Obermarck
@TechReport{ibm-rj-5037,
  author = 	 "C. Mohan, B. Lindsay, R. Obermarck",
  title = 	 "Transaction management in the {$R^{*}$} distributed
		  data base management system",
  institution =  "IBM Research Division",
  year = 	 1986,
  key =		 "Transaction management in the R* distributed data
		  base management system",
  number =	 "IBM Research Report: RJ 5037",
  note =	 "No. 52937"
}

Sorting and selecting in rounds, Nicholas Pippenger
@TechReport{ibm-rj-5044,
  author = 	 "Nicholas Pippenger",
  title = 	 "Sorting and selecting in rounds",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5044",
  note =	 "No. 52554"
}

On the integrity of databases with incomplete information, Moshe Y. Vardi
@TechReport{ibm-rj-5046,
  author = 	 "Moshe Y. Vardi",
  title = 	 "On the integrity of databases with incomplete
		  information",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5046",
  note =	 "No. 52556"
}

A study of sort algorithms for multiprocessor database machines, Jai Menon
@TechReport{ibm-rj-5047,
  author = 	 "Jai Menon",
  title = 	 "A study of sort algorithms for multiprocessor
		  database machines",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5047",
  note =	 "No. 52557"
}

Sorting and join algorithms for multiprocessor database machines, Jai Menon
@TechReport{ibm-rj-5049,
  author = 	 "Jai Menon",
  title = 	 "Sorting and join algorithms for multiprocessor
		  database machines",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5049",
  note =	 "No. 52559"
}

$R^*$ optimizer validation and performance evaluation for distributed queries, Lothar F. Mackert, Guy M. Lohman
@TechReport{ibm-rj-5050,
  author = 	 "Lothar F. Mackert, Guy M. Lohman",
  title = 	 "{$R^{*}$} optimizer validation and performance
		  evaluation for distributed queries",
  institution =  "IBM Research Division",
  year = 	 1986,
  key =		 "R* optimizer validation and performance evaluation
		  for distributed queries",
  number =	 "IBM Research Report: RJ 5050",
  note =	 "No. 52560"
}

Taken by surprise : The paradox of the surprise test revisited, Joseph Y. Halpern, Yoram Moses
@TechReport{ibm-rj-5051,
  author = 	 "Joseph Y. Halpern, Yoram Moses",
  title = 	 "Taken by surprise : The paradox of the surprise test
		  revisited",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5051",
  note =	 "No. 52561"
}

Performance analysis of locking based database concurrency control in centralized and distributed systems, Mir Hamid Pirahesh, Alfonso Cardenas
@TechReport{ibm-rj-5052,
  author = 	 "Mir Hamid Pirahesh, Alfonso Cardenas",
  title = 	 "Performance analysis of locking based database
		  concurrency control in centralized and distributed
		  systems",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5052",
  note =	 "No. 52562"
}

Highly available communicatoin, Houtan Aghili, Allan Griefer, Ruth Kistler, Ray Strong
@TechReport{ibm-rj-5068,
  author = 	 "Houtan Aghili, Allan Griefer, Ruth Kistler, Ray
		  Strong",
  title = 	 "Highly available communicatoin",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5068",
  note =	 "No. 52788"
}

, A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
@TechReport{ibm-rj-5084,
  author = 	 "A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper",
  title = 	 "The complementation problem ro B{\"{u}}chi automata
		  with applications to temporal logic",
  institution =  "IBM Research Division",
  year = 	 1986,
  key =		 "The complementation problem for Buchi automata with
		  applications to temporal logic",
  number =	 "IBM Research Report: RJ 5084",
  note =	 "No. 52984"
}

A multiplication-free arithmetic code, J. Rissanen, K. Mohiuddin
@TechReport{ibm-rj-5086,
  author = 	 "J. Rissanen, K. Mohiuddin",
  title = 	 "A multiplication-free arithmetic code",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5086",
  note =	 "No. 52986"
}

Statistical databases for manufacturing, Sakti P. Ghosh
@TechReport{ibm-rj-5088,
  author = 	 "Sakti P. Ghosh",
  title = 	 "Statistical databases for manufacturing",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5088",
  note =	 "No. 52988"
}

Translating database queries into iterative programs using a program transformation approach, Johann Christoph Freytag, Nathan Goodman
@TechReport{ibm-rj-5092,
  author = 	 "Johann Christoph Freytag, Nathan Goodman",
  title = 	 "Translating database queries into iterative programs
		  using a program transformation approach",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5092",
  note =	 "No. 52992"
}

Completeness of rewrite rules and rewrite strategies for FP, Joseph Y. Halpern, John H. Williams, Edward L. Wimmers
@TechReport{ibm-rj-5099,
  author = 	 "Joseph Y. Halpern, John H. Williams, Edward L.
		  Wimmers",
  title = 	 "Completeness of rewrite rules and rewrite strategies
		  for FP",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5099",
  note =	 "No. 52999"
}

Observations on meeting usability goals for software products, John L. Bennett
@TechReport{ibm-rj-5103,
  author = 	 "John L. Bennett",
  title = 	 "Observations on meeting usability goals for software
		  products",
  institution =  "IBM Research Division",
  year = 	 1986,
  number =	 "IBM Research Report: RJ 5103",
  note =	 "No. 53147"
}

$P^3$E : New life for projection-based image processing, Eric B. Hinkle, Jorge L.C. Sanz, Anil K. Jain, Dragutin Petkovic
@TechReport{ibm-rj-5115,
  author = 	 "Eric B. Hinkle, Jorge L.C. Sanz, Anil K. Jain,
		  Dragutin Petkovic",
  title = 	 "{$P^{3}$}E : New life for projection-based image
		  processing",
  institution =  "IBM Research Division",
  year = 	 1986,
  key =		 "P3E : New life for projection-based image processing",
  number =	 "IBM Research Report: RJ 5115",
  note =	 "No. 53159"
}

Non-blocking networks (Preliminary version), Paul Feldman, Joei Fridman, Nicholas Pippenger
@TechReport{ibm-rj-5117,
  author = 	 "Paul Feldman, Joei Fridman, Nicholas Pippenger",
  title = 	 "Non-blocking networks (Preliminary version)",
  institution =  "",
  year = 	 "",
  OPTcrossref =  "",
  OPTkey = 	 "",
  OPTtype = 	 "",
  OPTnumber = 	 "",
  OPTaddress = 	 "",
  OPTmonth = 	 "",
  OPTnote = 	 "",
  OPTannote = 	 ""
}

An algorithm for computing connected edges in image data and its aimplementation in raster and parallel architectures, Wayne Niblack
@TechReport{ibm-rj-5667,
  author = 	 "Wayne Niblack",
  title = 	 "An algorithm for computing connected edges in image
		  data and its aimplementation in raster and parallel
		  architectures",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5667",
  note =	 "No. 57166"
}

Generalized transition management, Gregory Chan
@TechReport{ibm-rj-5700,
  author = 	 "Gregory Chan",
  title = 	 "Generalized transition management",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5700",
  note =	 "No. 57679"
}

Chicken and eggs: The interrelationship of systems and theory (Extended abstract), Patricia G. Selinger
@TechReport{ibm-rj-5701,
  author = 	 "Patricia G. Selinger",
  title = 	 "Chicken and eggs: The interrelationship of systems
		  and theory (Extended abstract)",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5701",
  note =	 "No. 57680"
}

A recovery algorithm for a high-performance memory-resident database system, Tobin J. Lehman, Michael J. Carey
@TechReport{ibm-rj-5707,
  author = 	 "Tobin J. Lehman, Michael J. Carey",
  title = 	 "A recovery algorithm for a high-performance
		  memory-resident database system",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5707",
  note =	 "No. 57686"
}

Concurrendy control in memory-resident database systems, Tobin J. Lehman, Michael J. Carey
@TechReport{ibm-rj-5708,
  author = 	 "Tobin J. Lehman, Michael J. Carey",
  title = 	 "Concurrendy control in memory-resident database
		  systems",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5708",
  note =	 "No. 57687"
}

The hough transform has O(N) complexity on SIMD MxN mesh array architectures, R.E. Cypher, J.L.C. Sanz, L. Snyder
@TechReport{ibm-rj-5709,
  author = 	 "R.E. Cypher, J.L.C. Sanz, L. Snyder",
  title = 	 "The hough transform has O(N) complexity on SIMD MxN
		  mesh array architectures",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5709",
  note =	 "No. 57688"
}

Computing image texture features in parallel computers, Jorge L.C. Sanz
@TechReport{ibm-rj-5710,
  author = 	 "Jorge L.C. Sanz",
  title = 	 "Computing image texture features in parallel
		  computers",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5710",
  note =	 "No. 57689"
}

Mechanisms for failure handling in distributed programming language, R. Schlichting, F. Cristian, Titus D.M. Purdin
@TechReport{ibm-rj-5713,
  author = 	 "R. Schlichting, F. Cristian, Titus D.M. Purdin",
  title = 	 "Mechanisms for failure handling in distributed
		  programming language",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5713",
  note =	 "No. 57692"
}

Exception handling, Flaviu Cristian
@TechReport{ibm-rj-5724,
  author = 	 "Flaviu Cristian",
  title = 	 "Exception handling",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5724",
  note =	 "No. 57703"
}

Pipeline scheduling: A survey, Eugene Lawler, Jan Karel Lenstra, Charles Martel, Barbara Simos
@TechReport{ibm-rj-5738,
  author = 	 "Eugene Lawler, Jan Karel Lenstra, Charles Martel,
		  Barbara Simos",
  title = 	 "Pipeline scheduling: A survey",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5738",
  note =	 "No. 57717"
}

On the complexity of some geometric problems in unbounded dimension, Nimrod Megiddo
@TechReport{ibm-rj-5744,
  author = 	 "Nimrod Megiddo",
  title = 	 "On the complexity of some geometric problems in
		  unbounded dimension",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5744",
  note =	 "No. '58083"
}

On finding a minimum dominating set in a tournament, Nimrod Megiddo, Uzi Vishikin
@TechReport{ibm-rj-5745,
  author = 	 "Nimrod Megiddo, Uzi Vishikin",
  title = 	 "On finding a minimum dominating set in a tournament",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5745",
  note =	 "No. 58084"
}

Office systems research at IBM, ARC, Robin Williams
@TechReport{ibm-rj-5746,
  author = 	 "Robin Williams",
  title = 	 "Office systems research at IBM, ARC",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5746",
  note =	 "No. 58085"
}

Multidimensional signal representation by zero crossings: An algebraic study, Jorge L.C. Sanz
@TechReport{ibm0-rj-5747,
  author = 	 "Jorge L.C. Sanz",
  title = 	 "Multidimensional signal representation by zero
		  crossings: An algebraic study",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5747",
  note =	 "No. 58086"
}

Parallel selection, Nicholas Pippenger
@TechReport{ibm-rj-5762,
  author = 	 "Nicholas Pippenger",
  title = 	 "Parallel selection",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report; RJ 5762",
  note =	 "No. 58101"
}

The complesity of reasoning about knowledge and time, I: Lower bounds, Joseph Y. Halpern, Moshe Y. Vardi
@TechReport{imb-rj-5764,
  author = 	 "Joseph Y. Halpern, Moshe Y. Vardi",
  title = 	 "The complesity of reasoning about knowledge and
		  time, I: Lower bounds",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5764",
  note =	 "No. 58103"
}

Efficient message passing using succinct routing tables, David Peleg, Eli Upfal
@TechReport{ibm-rj-5768,
  author = 	 "David Peleg, Eli Upfal",
  title = 	 "Efficient message passing using succinct routing
		  tables",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5768",
  note =	 "No. 58107"
}

Category numerical relational operations for statistical datbase management, Sakti P. Ghosh
@TechReport{ibm-rj-5780,
  author = 	 "Sakti P. Ghosh",
  title = 	 "Category numerical relational operations for
		  statistical datbase management",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5780",
  note =	 "No. 58119"
}

Are the vertex cover and the dominating set problems equally hard?, Nimrod Megiddo,
@TechReport{ibm-rj-5783,
  author = 	 "Nimrod Megiddo,",
  title = 	 "Are the vertex cover and the dominating set problems
		  equally hard?",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5783",
  note =	 "No. 58122"
}

Recursive construction fro 3-regular expanders, Miklos Ajtai
@TechReport{ibm-rj-5794,
  author = 	 "Miklos Ajtai",
  title = 	 "Recursive construction fro 3-regular expanders",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5794",
  note =	 "No. 58524"
}

Concurrency control issues in nested transaction, Theo Haerder, Kurt Rothermel
@TechReport{ibm-rj-5803,
  author = 	 "Theo Haerder, Kurt Rothermel",
  title = 	 "Concurrency control issues in nested transaction",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5803",
  note =	 "No. 58533"
}

Hypercube and shuffle-exchange algorithms for image component labeling, R. Cypher, J.L.C. Sanz, L. Snyder
@TechReport{ibm-rj-5809,
  author = 	 "R. Cypher, J.L.C. Sanz, L. Snyder",
  title = 	 "Hypercube and shuffle-exchange algorithms for image
		  component labeling",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5809",
  note =	 "No. 58539"
}

An erew pram algorithm for image component labeling, R. Cypher, J.L.C. Sanz
@TechReport{ibm-rj-5810,
  author = 	 "R. Cypher, J.L.C. Sanz",
  title = 	 "An erew pram algorithm for image component labeling",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5810",
  note =	 "No. 58540"
}

Intent-based page modeling using blocks in the Quill document editor, Allen W. Luniewski
@TechReport{ibm-rj-5811,
  author = 	 "Allen W. Luniewski",
  title = 	 "Intent-based page modeling using blocks in the Quill
		  document editor",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5811",
  note =	 "No. 58541"
}

Defining document styles for WYSIWYG processing, Donald D. Chamberlin, Helmut F. Hasselmeier, Dieter P. Paris
@TechReport{ibm-rj-5812,
  author = 	 "Donald D. Chamberlin, Helmut F. Hasselmeier, Dieter
		  P. Paris",
  title = 	 "Defining document styles for WYSIWYG processing",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5812",
  note =	 "No. 58542"
}

Reversal and activation of physical aging by applied deformations in simple compression and extension, T.L. Smith, G. Levita, W.K. Moonan
@TechReport{ibm-rj-5816,
  author = 	 "T.L. Smith, G. Levita, W.K. Moonan",
  title = 	 "Reversal and activation of physical aging by applied
		  deformations in simple compression and extension",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5816",
  note =	 "No. 58546"
}

Stochastic Petri nets with timed and immediate transitions, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-5842,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Stochastic Petri nets with timed and immediate
		  transitions",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5842",
  note =	 "No. 58893"
}

The universal relation data model, Moshe Y. Vardi
@TechReport{ibm-rj-5849,
  author = 	 "Moshe Y. Vardi",
  title = 	 "The universal relation data model",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5849",
  note =	 "No. 58900"
}

Issues in the design of highly available computing system, Flaviu Cristian
@TechReport{ibm-rj-5856,
  author = 	 "Flaviu Cristian",
  title = 	 "Issues in the design of highly available computing
		  system",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5856",
  note =	 "No. 58907"
}

A little knowledge goes a long way: Simple knowledge-based derivations and correctness proofs for a family of protocols, Joseph Y. Halpern
@TechReport{ibm-rj-5857,
  author = 	 "Joseph Y. Halpern",
  title = 	 "A little knowledge goes a long way: Simple
		  knowledge-based derivations and correctness proofs
		  for a family of protocols",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5857",
  note =	 "No. 53908"
}

A temporal fixpoint calculus, Moshe Y. Vardi
@TechReport{ibm-rj-5867,
  author = 	 "Moshe Y. Vardi",
  title = 	 "A temporal fixpoint calculus",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5867",
  note =	 "No. 58918"
}

Approximate counting with uniform constant depth circuits, M. Ajtai
@TechReport{ibm-rj-5896,
  author = 	 "M. Ajtai",
  title = 	 "Approximate counting with uniform constant depth
		  circuits",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5896",
  note =	 "No. 59201"
}

On the complexity of solving the generalized set packing problem approximately, nimrod Megiddo
@TechReport{ibm-rj-5898,
  author = 	 "nimrod Megiddo",
  title = 	 "On the complexity of solving the generalized set
		  packing problem approximately",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5898",
  note =	 "No. 59203"
}

Fast parallel computational perfect and strongly perfect elimination schemes, Elias Dahlhaus, Marek Karpinski
@TechReport{ibm-rj-5901,
  author = 	 "Elias Dahlhaus, Marek Karpinski",
  title = 	 "Fast parallel computational perfect and strongly
		  perfect elimination schemes",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5901",
  note =	 "No. 59206"
}

Perfect matching for regular graphs is AC$^.$-HARD for the general matching problem, Elias Dahlhaus, Marek Karpinski
@TechReport{ibm-rj-5902,
  author = 	 "Elias Dahlhaus, Marek Karpinski",
  title = 	 "Perfect matching for regular graphs is
		  AC{$^{.}$}-HARD for the general matching problem",
  institution =  "IBM Research Division",
  year = 	 1987,
  key =		 "Perfect matching for regular graphs is AC-HARD for
		  the general matching problem",
  number =	 "IBM Research Report: RJ 5902",
  note =	 "No. 59207"
}

Report on the conference : Progress in mathematical programming, Asilomar Conference center, Pacific Grove, California
@TechReport{ibm-rj-5923,
  author = 	 "Asilomar Conference center, Pacific Grove,
		  California",
  title = 	 "Report on the conference : Progress in mathematical
		  programming",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5923",
  note =	 "No. 59228"
}

Optimal sorting on feasible parallel computers, Robert Cyherm, J.L.C. Sanz
@TechReport{ibm-rj-5934,
  author = 	 "Robert Cyherm, J.L.C. Sanz",
  title = 	 "Optimal sorting on feasible parallel computers",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5934",
  note =	 "No. 59239"
}

Grammar-like functional rules for representing query optimization alternatives, Guy M. Lohman
@TechReport{ibm-rj-5992,
  author = 	 "Guy M. Lohman",
  title = 	 "Grammar-like functional rules for representing query
		  optimization alternatives",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 5992",
  note =	 "No. 59591"
}

Neural networks, error-correcting codes and polynomials over the binary n-cube, Jehoshua Bruck, Mario Blaum
@TechReport{ibm-rj-6003,
  author = 	 "Jehoshua Bruck, Mario Blaum",
  title = 	 "Neural networks, error-correcting codes and
		  polynomials over the binary n-cube",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 6003",
  note =	 "No. 59602"
}

The complexity of the pigeonhole principle, Mikios Ajtai
@TechReport{ibm-rj-6006,
  author = 	 "Mikios Ajtai",
  title = 	 "The complexity of the pigeonhole principle",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 6006",
  note =	 "No. 59605"
}

Decidability and undecidability results for boundedness of linear recursive queries, Moshe Y. Vardi
@TechReport{ibm-rj-6009,
  author = 	 "Moshe Y. Vardi",
  title = 	 "Decidability and undecidability results for
		  boundedness of linear recursive queries",
  institution =  "IBM Research Division",
  year = 	 1987,
  number =	 "IBM Research Report: RJ 6009",
  note =	 "No. 59608"
}

Reasoning about knowledge and probability: Preliminary Report, Ronald Ragin, Joseph Y. Halpern
@TechReport{ibm-rj-6020,
  author = 	 "Ronald Ragin, Joseph Y. Halpern",
  title = 	 "Reasoning about knowledge and probability:
		  Preliminary Report",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6020",
  note =	 "No. 59619"
}

The complexity of ordering subgoals, Jeffrey D. Ullman, Moshe Y. Vardi
@TechReport{ibm-rj-6049,
  author = 	 "Jeffrey D. Ullman, Moshe Y. Vardi",
  title = 	 "The complexity of ordering subgoals",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6049",
  note =	 "No. 60182"
}

Projection-based high accuracy measurement of straight line edges, Dragutin Petkovic, Wayne Niblack, Myron Flickner
@TechReport{ibm-rj-6088,
  author = 	 "Dragutin Petkovic, Wayne Niblack, Myron Flickner",
  title = 	 "Projection-based high accuracy measurement of
		  straight line edges",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6088",
  note =	 "No. 60221"
}

Chinese character recognition: A twenty-five-year retrospective, R.G. Casey, George Nagy
@TechReport{ibm-rj-6095,
  author = 	 "R.G. Casey, George Nagy",
  title = 	 "Chinese character recognition: A twenty-five-year
		  retrospective",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6095"
}

Modelling power of stochastic Petri nets for simulation, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-6100,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Modelling power of stochastic Petri nets for
		  simulation",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6100",
  note =	 "No. 60594"
}

Human factors studies of database query languages, updated, Phyllis Reisner
@TechReport{ibm-rj-6160,
  author = 	 "Phyllis Reisner",
  title = 	 "Human factors studies of database query languages,
		  updated",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6160",
  note =	 "No. 60870"
}

The prospects for building and programming massively parallel image processing architectures, J.L.C. Sanz, Robert E. Cypher
@TechReport{ibm-rj-6231,
  author = 	 "J.L.C. Sanz, Robert E. Cypher",
  title = 	 "The prospects for building and programming massively
		  parallel image processing architectures",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6231",
  note =	 "No. 61221"
}

Supporting multi-media object mangement in a relational database management system, L.M. Haas
@TechReport{ibm-rj-6232,
  author = 	 "L.M. Haas",
  title = 	 "Supporting multi-media object mangement in a
		  relational database management system",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6232",
  note =	 "No. 61222"
}

Federal funding in computer science: A preliminary report, Joel S. Yudken, Barbara, B. Simons
@TechReport{ibm-rj-6235,
  author = 	 "Joel S. Yudken, Barbara, B. Simons",
  title = 	 "Federal funding in computer science: A preliminary
		  report",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6235",
  note =	 "No. 61225"
}

Reachability is harder for directed than for undirected finite graphs, Miklos Ajtai, Ronald Fagin
@TechReport{ibm-rj-6240,
  author = 	 "Miklos Ajtai, Ronald Fagin",
  title = 	 "Reachability is harder for directed than for
		  undirected finite graphs",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6240",
  note =	 "No. 61230"
}

What can machines know? On the properties of knowledge in distributed systems, Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
@TechReport{ibm-rj-6250,
  author = 	 "Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi",
  title = 	 "What can machines know? On the properties of
		  knowledge in distributed systems",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6250",
  note =	 "No. 61647"
}

Interactive proof systems with finite state verifiers (Preliminary report), Cynthia Dwork, Larry Stockmeyer
@TechReport{ibm-rj-6262,
  author = 	 "Cynthia Dwork, Larry Stockmeyer",
  title = 	 "Interactive proof systems with finite state
		  verifiers (Preliminary report)",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6262",
  note =	 "No. 61659"
}

An almost linear time algorithm for generalized matrix searching, Maria M. Klawe, Daniel J. Kleitman
@TechReport{ibm-rj-6275,
  author = 	 "Maria M. Klawe, Daniel J. Kleitman",
  title = 	 "An almost linear time algorithm for generalized
		  matrix searching",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6275",
  note =	 "No. 61672"
}

Heuristics for scheduling work in a WYSIWYG editor/formatter, Bradford W. Wade
@TechReport{ibm-6277,
  author = 	 "Bradford W. Wade",
  title = 	 "Heuristics for scheduling work in a WYSIWYG
		  editor/formatter",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6277",
  note =	 "No. 61674"
}

An interactive workbench for document designers, Dieter P. Paris and Helmut F. Hasselmeier
@TechReport{ibm-rj-6278,
  author = 	 "Dieter P. Paris and Helmut F. Hasselmeier",
  title = 	 "An interactive workbench for document designers",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6278",
  note =	 "No. 61675"
}

Converting IBM advanced function printer data stream (AFPDS) into adobe PostScript, Katherine A. Hitchicock
@TechReport{ibm-rj-6282,
  author = 	 "Katherine A. Hitchicock",
  title = 	 "Converting IBM advanced function printer data stream
		  (AFPDS) into adobe PostScript",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6282",
  note =	 "No. 61679"
}

An adaptation of dataflow methods for WYSIWYG document processing, Donald D. Chamberlin
@TechReport{ibm-rj-6286,
  author = 	 "Donald D. Chamberlin",
  title = 	 "An adaptation of dataflow methods for WYSIWYG
		  document processing",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6286",
  note =	 "No. 61683"
}

On the complexity of queries in the logical data model, Gabriel M. Kuper, Moshe Y. Vardi
@TechReport{ibm-rj-6302,
  author = 	 "Gabriel M. Kuper, Moshe Y. Vardi",
  title = 	 "On the complexity of queries in the logical data
		  model",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6302",
  note =	 "No. 61971"
}

Modelling knowledge and action in distributed systems, Joseph Y. Halpern
@TechReport{ibm-rj-6303,
  author = 	 "Joseph Y. Halpern",
  title = 	 "Modelling knowledge and action in distributed
		  systems",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6303",
  note =	 "No. 61972"
}

Reliable computation by networks in the presence of noise, Tom\'as Feder
@TechReport{ibm-rj-6310,
  author = 	 "Tom{\'{a}}s Feder",
  title = 	 "Reliable computation by networks in the presence of
		  noise",
  institution =  "IBM Research Division",
  year = 	 1988,
  key =          "Tomas Feder",
  number =	 "IBM Research Report: RJ 6310",
  note =	 "No. 61979"
}

Constrained codes for partial response channels, Brian Marcus, Paul Seigel
@TechReport{ibm-rj-6315,
  author = 	 "Brian Marcus, Paul Seigel",
  title = 	 "Constrained codes for partial response channels",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6315",
  note =	 "No. 61984"
}

Verification of concurrent programs: The automata-theoretic framework, Moshe Y. Vardi
@TechReport{ibm-rj-6321,
  author = 	 "Moshe Y. Vardi",
  title = 	 "Verification of concurrent programs: The
		  automata-theoretic framework",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6321",
  note =	 "No. 61990"
}

Coding and complexity, J. Rissanen
@TechReport{ibm-rj-6360,
  author = 	 "J. Rissanen",
  title = 	 "Coding and complexity",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6360",
  note =	 "No. 62342"
}

An implicit data structure for searching a multikey table in logarithmic time,
@TechReport{ibm-rj-6362,
  author = 	 "Amos Fiat, J. Ian Munro, Moni Naor, Alejandro A.
		  Sch{\"{a}}ffer, Jeanette P. Schmidt",
  title = 	 "An implicit data structure for searching a multikey
		  table in logarithmic time",
  institution =  "IBM Research Division",
  year = 	 1988,
  key =		 "Alejandro A. Schaffer",
  number =	 "IBM Research Report: RJ 6362",
  note =	 "No. 62344"
}

Query rewrite optimization in starburst, Waqar Hasan, Hamid Pirahesh
@TechReport{ibm-rj-6367,
  author = 	 "Waqar Hasan, Hamid Pirahesh",
  title = 	 "Query rewrite optimization in starburst",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6367",
  note =	 "No. 62349"
}

Feature selection with stochastic complexity, Byron Dorm, Wayne Niblack, Jorma Rissanen
@TechReport{ibm-rj-6376,
  author = 	 "Byron Dorm, Wayne Niblack, Jorma Rissanen",
  title = 	 "Feature selection with stochastic complexity",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6376",
  note =	 "No. 62358"
}

On combinatorial decoding of error-correcting codes, Mario Blaum, Jehoshua Bruck
@TechReport{ibm-rj-6385,
  author = 	 "Mario Blaum, Jehoshua Bruck",
  title = 	 "On combinatorial decoding of error-correcting codes",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6385",
  note =	 "No. 62367"
}

On eroor-correcting balanced codes, Henk van Tilborg, Mario Blaum
@TechReport{ibm-rj-6386,
  author = 	 "Henk van Tilborg, Mario Blaum",
  title = 	 "On eroor-correcting balanced codes",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6386",
  note =	 "No. 62368"
}

Vector processing in simplex and interior methods for linear programing, J.J.H. Forrest, J.A. Tomlin
@TechReport{ibm-rj-6390,
  author = 	 "J.J.H. Forrest, J.A. Tomlin",
  title = 	 "Vector processing in simplex and interior methods
		  for linear programing",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6390",
  note =         "62372"
}

Combined decision theoretic and syntactic approach to image segmentation, B.J. Straub, W.E. Blanz
@TechReport{ibm-rj-6403,
  author = 	 "B.J. Straub, W.E. Blanz",
  title = 	 "Combined decision theoretic and syntactic approach
		  to image segmentation",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6403",
  note =         "62521"
}

Incorporating data types in a extensible database architecture, P.F. Wilms, P.M. Schwarz, H.J. Schek, L.M. Haas
@TechReport{ibm-rj-6405,
  author = 	 "P.F. Wilms, P.M. Schwarz, H.J. Schek, L.M. Haas",
  title = 	 "Incorporating data types in a extensible database
		  architecture",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6405",
  note =         "62523"
}

Dynamic statistics collection for compression coding with randomizing feature, Stephen Todd
@TechReport{ibm-rj-6414,
  author = 	 "Stephen Todd",
  title = 	 "Dynamic statistics collection for compression coding
		  with randomizing feature",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6414",
  note =         "62532"
}

Further developments in lossless gray-scale image compression, G.G. Langdon, Jr.
@TechReport{ibm-rj-6426,
  author = 	 "G.G. Langdon, Jr.",
  title = 	 "Further developments in lossless gray-scale image
		  compression",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6426",
  note =         "62544"
}

Learning in recursive neural networks, A. Onton
@TechReport{ibm-rj-6429,
  author = 	 "A. Onton",
  title = 	 "Learning in recursive neural networks",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6429",
  note =         "62547"     
}

Cryptographic key distribution and computation in class groups, Kevin S. McCurley
@TechReport{ibm-rj-6433,
  author = 	 "Kevin S. McCurley",
  title = 	 "Cryptographic key distribution and computation in
		  class groups",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6433",
  note =         "62551"
}

A note on the complexity of P-Matrix LCP and computing an equilibrium, Nimrod Megiddo
@TechReport{ibm-rj-6439,
  author = 	 "Nimrod Megiddo",
  title = 	 "A note on the complexity of P-Matrix LCP and
		  computing an equilibrium",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6439",
  note =         "62557"
}

Polymorphic-torus architecture for computer vision, Massimo Maresca
@TechReport{ibm-rj-6452,
  author = 	 "Massimo Maresca",
  title = 	 "Polymorphic-torus architecture for computer vision",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6452",
  note =	 "62925"
}

The influences of algorithmic and hardware developments on computational mathematical programming, J.A. Tomolin
@TechReport{ibm-rj-6459,
  author = 	 "J.A. Tomolin",
  title = 	 "The influences of algorithmic and hardware
		  developments on computational mathematical
		  programming",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6459",
  note =	 62932
}

A model-theoretic analysis of knowledge, Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
@TechReport{ibm-rj-6461,
  author = 	 "Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi",
  title = 	 "A model-theoretic analysis of knowledge",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6461",
  note =	 62934
}

On solving the linear programming problem approximately, Nimrod Megiddo
@TechReport{ibm-rj-6485,
  author = 	 "Nimrod Megiddo",
  title = 	 "On solving the linear programming problem
		  approximately",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6485",
  note =	 62958
}

An overview of clock synchronization, Barbara Simons, Jennifer Lundelius Welch, Nancy Lnch
@TechReport{ibm-rj-6505,
  author = 	 "Barbara Simons, Jennifer Lundelius Welch, Nancy Lnch",
  title = 	 "An overview of clock synchronization",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6505",
  note =	 63306
}

Real-time decision analysis - Algorithms, architectures and implementation, C.B. Shung, W.E. Blanz, D. Petkovic
@TechReport{ibm-rj-6526,
  author = 	 "C.B. Shung, W.E. Blanz, D. Petkovic",
  title = 	 "Real-time decision analysis - Algorithms,
		  architectures and implementation",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6526",
  note =	 63327
}

Low-power fiber optic digital communication link by pulsed unipolar marking code, A. Peled
@TechReport{ibm-rj-6531,
  author = 	 "A. Peled",
  title = 	 "Low-power fiber optic digital communication link by
		  pulsed unipolar marking code",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6531",
  note =	 63332
}

Channel capacity enhancement in segmented Fiber Optic data communication links, A. Peled, S. Argoetti, J. Gavan
@TechReport{ibm-rj-6532,
  author = 	 "A. Peled, S. Argoetti, J. Gavan",
  title = 	 "Channel capacity enhancement in segmented Fiber
		  Optic data communication links",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6532",
  note =	 63333
}

Statistical relational databases: Normal forms, Sakti P. Ghosh
@TechReport{ibm-rj-6555,
  author = 	 "Sakti P. Ghosh",
  title = 	 "Statistical relational databases: Normal forms",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6555",
  note =	 63515
}

Function request shipping in a database machine environment, Gary Hallmark
@TechReport{ibm-rj-6571,
  author = 	 "Gary Hallmark",
  title = 	 "Function request shipping in a database machine
		  environment",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6571",
  note =	 63531
}

System issues in parallel sorting for database systems, Balakrishna R. Iyer
@TechReport{ibm-rj-6585,
  author = 	 "Balakrishna R. Iyer",
  title = 	 "System issues in parallel sorting for database
		  systems",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6585",
  note =	 63545
}

Some design issues of disk arrays, Spencer Ng
@TechReport{ibm-rj-6590,
  author = 	 "Spencer Ng",
  title = 	 "Some design issues of disk arrays",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6590",
  note =	 63550
}

Extensible query processing in starburst, L.M. Haas, J.C. Freytag, G.M. Lohman, H. Pirahesh
@TechReport{ibm-rj-6610,
  author = 	 "L.M. Haas, J.C. Freytag, G.M. Lohman, H. Pirahesh",
  title = 	 "Extensible query processing in starburst",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6610",
  note =	 63921
}

Extensible enumeration of feasible joins for relational query optimization, Kiyoshi Ono, Guy M. Lohman
@TechReport{ibm-rj-6625,
  author = 	 "Kiyoshi Ono, Guy M. Lohman",
  title = 	 "Extensible enumeration of feasible joins for
		  relational query optimization",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6625",
  note =	 63936
}

Proof-tree transformation theorems and their applications, Raghu Ramakrishnan
@TechReport{ibm-rj-6645,
  author = 	 "Raghu Ramakrishnan",
  title = 	 "Proof-tree transformation theorems and their
		  applications",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6645",
  note =	 63956
}

Safety of datalog queries over infinite databases, Yehoshua Sagiv, Moshe Y. Vardi
@TechReport{ibm-rj-6655,
  author = 	 "Yehoshua Sagiv, Moshe Y. Vardi",
  title = 	 "Safety of datalog queries over infinite databases",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6655",
  note =	 64230
}

A low communication sort algorithm for a parallel database machine, Raymond A. Lorie, Honestry C. Young
@TechReport{ibm-rj-6669,
  author = 	 "Raymond A. Lorie, Honestry C. Young",
  title = 	 "A low communication sort algorithm for a parallel
		  database machine",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6669",
  note =	 64244
}

Automata theory for database theoreticians, Moshe Y. Vardi
@TechReport{ibm-rj-6677,
  author = 	 "Moshe Y. Vardi",
  title = 	 "Automata theory for database theoreticians",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6677",
  note =	 64252
}

Experiments on learning in recursive neural networks, A. Onton
@TechReport{ibm-rj-6678,
  author = 	 "A. Onton",
  title = 	 "Experiments on learning in recursive neural networks",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6678",
  note =	 64253
}

Endmarkers can make a difference, Moshe Vardi
@TechReport{ibm-rj-6694,
  author = 	 "Moshe Vardi",
  title = 	 "Endmarkers can make a difference",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6694",
  note =	 64269
}

Compact distributed data structures for adaptive routing, Baruch Awerbuch, Amotz Bar-Noy, Nathan Linial, David Peleg
@TechReport{ibm-rj-6701,
  author = 	 "Baruch Awerbuch, Amotz Bar-Noy, Nathan Linial, David
		  Peleg",
  title = 	 "Compact distributed data structures for adaptive
		  routing",
  institution =  "IBM Research Division",
  year = 	 1988,
  number =	 "IBM Research Report: RJ 6701",
  note =	 64276
}

A divide-and-conquer algorithm for the automatic layout of large directed graphs, Eli B. Messinger, Lawrence A. Rowe, Robert H. Henry
@TechReport{ibm-rj-6709,
  author = 	 "Eli B. Messinger, Lawrence A. Rowe, Robert H. Henry",
  title = 	 "A divide-and-conquer algorithm for the automatic
		  layout of large directed graphs",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6709",
  note =	 64556
}

On the complexity of epistemic reasoning, Moshe Y. Vardi
@TechReport{ibm-rj-6717,
  author = 	 "Moshe Y. Vardi",
  title = 	 "On the complexity of epistemic reasoning",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6717",
  note =	 64564
}

The influence of variables on boolean functions, Jeff Khan, Gil Kalai, Nathan Linial
@TechReport{ibm-rj-6721,
  author = 	 "Jeff Khan, Gil Kalai, Nathan Linial",
  title = 	 "The influence of variables on boolean functions",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6721",
  note =	 64568
}

Dynamic fault-tolerant clock synchronization, Danny Dolev, Joseph Y. Halpern, Barbara Simons, Ray Strong
@TechReport{ibm-rj-6722,
  author = 	 "Danny Dolev, Joseph Y. Halpern, Barbara Simons, Ray
		  Strong",
  title = 	 "Dynamic fault-tolerant clock synchronization",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6722",
  note =	 64569
}

Databases on databases: Instrumenting the R* distributed relational DBMS for performance evaluation and tuning, G.M. Lohman, L.F. Mackert, T.J. Lehman
@TechReport{ibm-rj-6731,
  author = 	 "G.M. Lohman, L.F. Mackert, T.J. Lehman",
  title = 	 "Databases on databases: Instrumenting the R*
		  distributed relational DBMS for performance
		  evaluation and tuning",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6731",
  note =	 64578
}

0-1 laws and decision problems for fragments of second-order logic, Phokion G. Kolaitis, Moshe Y. Vardi
@TechReport{ibm-rj-6736,
  author = 	 "Phokion G. Kolaitis, Moshe Y. Vardi",
  title = 	 "0-1 laws and decision problems for fragments of
		  second-order logic",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6736",
  note =	 64583
}

Improvements to the PCS algorithm for binary images, Ronald B. Arps, Richard C. Pasco
@TechReport{ibm-rj-6762,
  author = 	 "Ronald B. Arps, Richard C. Pasco",
  title = 	 "Improvements to the PCS algorithm for binary images",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6762",
  note =	 64830
}

QuickSilver support for access to data in large, geographically dispersed sytems, Marvin Theimer, Luis-Felipe Cabrera, Jim Wyllie
@TechReport{ibm-rj-6763,
  author = 	 "Marvin Theimer, Luis-Felipe Cabrera, Jim Wyllie",
  title = 	 "QuickSilver support for access to data in large,
		  geographically dispersed sytems",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6763",
  note =	 64831
}

Markovian stochastic Petri nets, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-6764,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Markovian stochastic Petri nets",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6764",
  note =	 64832
}

The relationship between knowledge, belief, and certainty, Josephe Y. Halpern
@TechReport{ibm-rj-6765,
  author = 	 "Josephe Y. Halpern",
  title = 	 "The relationship between knowledge, belief, and
		  certainty",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6765",
  note =	 64833
}

Hypercube algorithms on the polymorphic Torus, Anne C. Elster, Hungwen Li
@TechReport{ibm-rj-6775,
  author = 	 "Anne C. Elster, Hungwen Li",
  title = 	 "Hypercube algorithms on the polymorphic Torus",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6775",
  note =	 64843
}

Machine vision techniques for integrated circuit inspection, Byron Dom
@TechReport{ibm-rj-6776,
  author = 	 "Byron Dom",
  title = 	 "Machine vision techniques for integrated circuit
		  inspection",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6776",
  note =	 64844
}

A theory of compaction-based parallelization, Alexander Aiken
@TechReport{ibm-rj-6778,
  author = 	 "Alexander Aiken",
  title = 	 "A theory of compaction-based parallelization",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6778",
  note =	 64846
}

Fault-tolerant critical section management in asynchronous environments, Amotz Bar-Noy, Danny Dolev, Daphne Koller, David Peleg
@TechReport{ibm-rj-6784,
  author = 	 "Amotz Bar-Noy, Danny Dolev, Daphne Koller, David
		  Peleg",
  title = 	 "Fault-tolerant critical section management in
		  asynchronous environments",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6784",
  note =	 64852
}

Bounded concurrent time-stamp systems are constructible, Danny Dolev, Mir Shavit
@TechReport{ibm-rj-6785,
  author = 	 "Danny Dolev, Mir Shavit",
  title = 	 "Bounded concurrent time-stamp systems are
		  constructible",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6785",
  note =	 64853
}

Modelling and simulation of stochastic systems with SPSIM, Henrik W. Jochens, Gerald S. Shedler
@TechReport{ibm-rj-6825,
  author = 	 "Henrik W. Jochens, Gerald S. Shedler",
  title = 	 "Modelling and simulation of stochastic systems with
		  SPSIM",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6825",
  note =	 65359
}

A flexible and efficient database authorization facility, Roberto Gagliardi, George Lapis, Bruce Lindsay
@TechReport{ibm-rj-6826,
  author = 	 "Roberto Gagliardi, George Lapis, Bruce Lindsay",
  title = 	 "A flexible and efficient database authorization
		  facility",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6826",
  note =	 65360
}

Environment models and information assimilation, Ramesh Jain
@TechReport{ibm-rj-6866,
  author = 	 "Ramesh Jain",
  title = 	 "Environment models and information assimilation",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6866",
  note =	 65692
}

A syntax and semantics for set-oriented production rules in relational database systems, J. Widom, S. J. Finkelstein
@TechReport{ibm-rj-6880,
  author = 	 "J. Widom, S. J. Finkelstein",
  title = 	 "A syntax and semantics for set-oriented production
		  rules in relational database systems",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6880",
  note =	 65706
}

An analysis of first-order logics of probability, Joseph Y. Halpern
@TechReport{ibm-rj-6882,
  author = 	 "Joseph Y. Halpern",
  title = 	 "An analysis of first-order logics of probability",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6882",
  note =	 65708
}

Interaction between the query processor and buffer manager of a relational database system, Mavis Kwok Lee
@TechReport{ibm-rj-6884,
  author = 	 "Mavis Kwok Lee",
  title = 	 "Interaction between the query processor and buffer
		  manager of a relational database system",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6884",
  note =	 65710
}

Color reproduction basics, A.G. Arellano
@TechReport{ibm-rj-6890,
  author = 	 "A.G. Arellano",
  title = 	 "Color reproduction basics",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6890",
  note =	 65716
}

Bounded polynomial randomized consensus, Hagit Attiya, Danny Dolev, Nir Shavit
@TechReport{ibm-rj-6934,
  author = 	 "Hagit Attiya, Danny Dolev, Nir Shavit",
  title = 	 "Bounded polynomial randomized consensus",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6934",
  note =	 66040
}

Shared-memory vs. message-passing in an synchronous distributed environment, Amotz Bar-Noy, Danny Dolev
@TechReport{ibm-rj-6935,
  author = 	 "Amotz Bar-Noy, Danny Dolev",
  title = 	 "Shared-memory vs. message-passing in an synchronous
		  distributed environment",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6935",
  note =	 66041
}

Workload imbalance and parallel processing efficiency, Peter J. Haas
@TechReport{ibm-rj-6936,
  author = 	 "Peter J. Haas",
  title = 	 "Workload imbalance and parallel processing
		  efficiency",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6936",
  note =	 66042
}

Renaming in an asynchronous environment, Hagit Attiya, et. al.
@TechReport{ibm-rj-6989,
  author = 	 "Hagit Attiya, et. al.",
  title = 	 "Renaming in an asynchronous environment",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 6989",
  note =	 66526
}

Logical query optimization by proof-tree transformation, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Jllman, Moshe Y. Vardi
@TechReport{ibm-rj-7028,
  author = 	 "Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D.
		  Jllman, Moshe Y. Vardi",
  title = 	 "Logical query optimization by proof-tree
		  transformation",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7028",
  note =	 66955
}

Dilation d embedding of a hyper-pyramid into a hypercube, Ching-Tien Ho, S. Lennart Johnsson
@TechReport{ibm-rj-7033,
  author = 	 "Ching-Tien Ho, S. Lennart Johnsson",
  title = 	 "Dilation d embedding of a hyper-pyramid into a
		  hypercube",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7033",
  note =	 66960
}

On probabilistic machines, bounded rationality and average-case complexity, Nimrod Megiddo
@TechReport{ibm-rj-7039,
  author = 	 "Nimrod Megiddo",
  title = 	 "On probabilistic machines, bounded rationality and
		  average-case complexity",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7039",
  note =	 66966
}

Embedding meshes in Boolean cubes by graph decomposition, Ching-Tien Ho, S. Lennart Johnsson
@TechReport{ibm-rj-7046,
  author = 	 "Ching-Tien Ho, S. Lennart Johnsson",
  title = 	 "Embedding meshes in Boolean cubes by graph
		  decomposition",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7046",
  note =	 66973
}

, Masakazu Kojima, Nimrod Megiddo
@TechReport{ibm-rj-7069,
  author = 	 "Masakazu Kojima, Nimrod Megiddo",
  title = 	 "The relation between the path of centers and Smale's
		  "regularized" linear programming problem",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7069",
  note =	 67132
}

A simple mechanism for efficient barrier synchronization in MIMD machines, Yitzhak Birk, Phillip B. Gibbons, Jorge L.C. Sanz, Danny Soroker
@TechReport{ibm-rj-7078,
  author = 	 "Yitzhak Birk, Phillip B. Gibbons, Jorge L.C. Sanz,
		  Danny Soroker",
  title = 	 "A simple mechanism for efficient barrier
		  synchronization in MIMD machines",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7078",
  note =	 67141
}

Trading space for time in undirected s-t connectivity, Andrei Z. Broder, Anna R. Karlin, Prabhakar Raghavan, Eli Upfal
@TechReport{ibm-rj-7083,
  author = 	 "Andrei Z. Broder, Anna R. Karlin, Prabhakar
		  Raghavan, Eli Upfal",
  title = 	 "Trading space for time in undirected s-t
		  connectivity",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7083",
  note =	 67146
}

Requirements analysis for a document storage subsystem, H.M. Gladney
@TechReport{ibm-rj-7085,
  author = 	 "H.M. Gladney",
  title = 	 "Requirements analysis for a document storage
		  subsystem",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7085",
  note =	 67148
}

A note aon total functions, existence theorems, and computational complexity, Nimrod Megiddo, Christos H. Papadimitriou
@TechReport{ibm-rj-7091,
  author = 	 "Nimrod Megiddo, Christos H. Papadimitriou",
  title = 	 "A note aon total functions, existence theorems, and
		  computational complexity",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7091",
  note =	 67154
}

Using hash partitioning to reduce communication in distributed deadlock detection algorithms, James W. Stamos
@TechReport{ibm-rj-7098,
  author = 	 "James W. Stamos",
  title = 	 "Using hash partitioning to reduce communication in
		  distributed deadlock detection algorithms",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7098",
  note =	 67161
}

FL language manual, parts 1 and 2, John Backus, John H. Williams, Edward L. Wimmers, Peter Lucas, Alexander Aiken
@TechReport{ibm-rj-7100,
  author = 	 "John Backus, John H. Williams, Edward L. Wimmers,
		  Peter Lucas, Alexander Aiken",
  title = 	 "FL language manual, parts 1 and 2",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7100",
  note =	 67163
}

SIMD architectures and algorithms for image processing and computer vision, R. Cypher, J.L.C. Sanz
@TechReport{ibm-rj-7114,
  author = 	 "R. Cypher, J.L.C. Sanz",
  title = 	 "SIMD architectures and algorithms for image
		  processing and computer vision",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7114",
  note =	 67361
}

Theoretical aspects of VLSI pin limitations, R. Cypher
@TechReport{ibm-rj-7115,
  author = 	 "R. Cypher",
  title = 	 "Theoretical aspects of VLSI pin limitations",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7115",
  note =	 67362
}

Feature selection for classification using the MDL principle, Jacob Sheinvald, Byron Dom, Wayne Niblack
@TechReport{ibm-rj-7117,
  author = 	 "Jacob Sheinvald, Byron Dom, Wayne Niblack",
  title = 	 "Feature selection for classification using the MDL
		  principle",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7117",
  note =	 67364
}

Swift: A storage architecture for very large objects, Luis-Felipe Cabrera, Darrell D.E. Long
@TechReport{ibm-rj-7128,
  author = 	 "Luis-Felipe Cabrera, Darrell D.E. Long",
  title = 	 "Swift: A storage architecture for very large objects",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7128",
  note =	 67375
}

The influence of large coalitions, M. Ajtai, N. Linial
@TechReport{ibm-rj-7133,
  author = 	 "M. Ajtai, N. Linial",
  title = 	 "The influence of large coalitions",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7133",
  note =	 67380
}

Fault tolerance in real time systems, Ray Strong
@TechReport{ibm-rj-7134,
  author = 	 "Ray Strong",
  title = 	 "Fault tolerance in real time systems",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7134",
  note =	 67381
}

Pattern classification algorithms for real-time image segmentation, Glenn Healey, Byron Dom
@TechReport{ibm-rj-7135,
  author = 	 "Glenn Healey, Byron Dom",
  title = 	 "Pattern classification algorithms for real-time
		  image segmentation",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7135",
  note =	 67382
}

Polynomial threshold functions, AC$^0 functions and spectral norms, Jehoshua Bruck, Roman Smolensky
@TechReport{ibm-rj-7140,
  author = 	 "Jehoshua Bruck, Roman Smolensky",
  title = 	 "Polynomial threshold functions, AC{$^{0}} functions
		  and spectral norms",
  institution =  "IBM Research Division",
  year = 	 1989,
  key =          "Polynomial threshold functions, AC0 functions and
		  spectral norms",
  number =	 "IBM Research Report: RJ 7140",
  note =	 67387
}

Optimal broadcasting in faulty hypercubes via edge-disjoint, Jehoshua Bruck
@TechReport{ibm-rj-7147,
  author = 	 "Jehoshua Bruck",
  title = 	 "Optimal broadcasting in faulty hypercubes via
		  edge-disjoint",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7147",
  note =	 67394
}

Distinguishing timing failures from clock failures (extended abstract), Danny Dolev, Ray Strong, Flaviu Cristian
@TechReport{ibm-rj-7150,
  author = 	 "Danny Dolev, Ray Strong, Flaviu Cristian",
  title = 	 "Distinguishing timing failures from clock failures
		  (extended abstract)",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7150",
  note =	 67397
}

Three-eimensional numerical simulation of flows for corotating disks, Dhu-Ji Chang, Hungwen Li
@TechReport{ibm-rj-7167,
  author = 	 "Dhu-Ji Chang, Hungwen Li",
  title = 	 "Three-eimensional numerical simulation of flows for
		  corotating disks",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7167",
  note =	 67646
}

Bit commitment using pseudo-randomness, Moni Naor
@TechReport{ibm-rj-7172,
  author = 	 "Moni Naor",
  title = 	 "Bit commitment using pseudo-randomness",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7172",
  note =	 67651
}

The probabilistic method yields deterministic parallel algorithms, Rajeev Motwani, Joseph Naor, Moni Naor
@TechReport{ibm-rj-7173,
  author = 	 "Rajeev Motwani, Joseph Naor, Moni Naor",
  title = 	 "The probabilistic method yields deterministic
		  parallel algorithms",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7173",
  note =	 67652
}

A separator theorem for graphs with an excluded minor and its applications (extended abstract), Noga Alon, Paul Seymour, Robin Thomas
@TechReport{ibm-rj-7174,
  author = 	 "Noga Alon, Paul Seymour, Robin Thomas",
  title = 	 "A separator theorem for graphs with an excluded
		  minor and its applications (extended abstract)",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7174",
  note =	 67653
}

A low-cost atomic commit protocol, James W. Stamos, Flaviu Cristian
@TechReport{ibm-rj-7185,
  author = 	 "James W. Stamos, Flaviu Cristian",
  title = 	 "A low-cost atomic commit protocol",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7185",
  note =	 67664
}

A symmetric fagment and replicate algorithm for distributed joins, James W. Stamos, Honesty C. Young
@TechReport{ibm-rj-7188,
  author = 	 "James W. Stamos, Honesty C. Young",
  title = 	 "A symmetric fagment and replicate algorithm for
		  distributed joins",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7188",
  note =	 67667
}

Preliminary version, Jehoshua bruck, Robert Cypher, Danny Soroker
@TechReport{ibm-rj-7191,
  author = 	 "Jehoshua bruck, Robert Cypher, Danny Soroker",
  title = 	 "Preliminary version",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7191",
  note =	 67670
}

Presburger arithmetic with unary predicates is II complete, Joseph Y. Halpern
@TechReport{ibm-rj-7192,
  author = 	 "Joseph Y. Halpern",
  title = 	 "Presburger arithmetic with unary predicates is II
		  complete",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7192",
  note =	 67671
}

A connectionist classifier architecture applied to image segmentaiton, W.E. Blanz, Sheri L. Gish
@TechReport{ibm-rj-7193,
  author = 	 "W.E. Blanz, Sheri L. Gish",
  title = 	 "A connectionist classifier architecture applied to
		  image segmentaiton",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7193",
  note =	 67672
}

Design and implementation fo a low-level image segmentation architecture - LISA, W.E. Blanz, B. Shung, C. Cox, W. Greiner, B. Dom,. D. Petkovi\'c
@TechReport{ibm-rj-7194,
  author = 	 "W.E. Blanz, B. Shung, C. Cox, W. Greiner, B. Dom,.
		  D. Petkovi{\'{c}}",
  title = 	 "Design and implementation fo a low-level image
		  segmentation architecture - LISA",
  institution =  "IBM Research Division",
  year = 	 1989,
  key =          "D. Petkovic",
  number =	 "IBM Research Report: RJ 7194",
  note =	 67673
}

Synchronous atomic broadcast for redundant broadcast channels, Flaviu Cristian
@TechReport{ibm-rj-7203,
  author = 	 "Flaviu Cristian",
  title = 	 "Synchronous atomic broadcast for redundant broadcast
		  channels",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7203",
  note =	 67682
}

How to play bowling in parallel on the grid?, Jehoshua Bruck, Vwani P. Roychowdhury
@TechReport{ibm-rj-7209,
  author = 	 "Jehoshua Bruck, Vwani P. Roychowdhury",
  title = 	 "How to play bowling in parallel on the grid?",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7209",
  note =	 67638
}

Program transformation in the presence of errors, Alexander Aiken, John H. Williams, Edward L. Wimmers
@TechReport{ibm-rj-7210,
  author = 	 "Alexander Aiken, John H. Williams, Edward L. Wimmers",
  title = 	 "Program transformation in the presence of errors",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7210",
  note =	 67689
}

Succinct representation of general unlabeled graphs, Moni Naor
@TechReport{ibm-rj-7211,
  author = 	 "Moni Naor",
  title = 	 "Succinct representation of general unlabeled graphs",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7211",
  note =	 67690
}

On the convergence properties of the hopfield, Jehoshua Bruck
@TechReport{ibm-rj-7215,
  author = 	 "Jehoshua Bruck",
  title = 	 "On the convergence properties of the hopfield",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7215",
  note =	 67982
}

On finding non-intersecting straight-line connections of grid points to the bundary, Yitzhak Birk
@TechReport{ibm-rj-7217,
  author = 	 "Yitzhak Birk",
  title = 	 "On finding non-intersecting straight-line
		  connections of grid points to the bundary",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7217",
  note =	 67984
}

A study on massively parallel shared memory computing, Phillip B. Gibbons, Danny Soroker, Jorge L.C. Sanz
@TechReport{ibm-rj-7218,
  author = 	 "Phillip B. Gibbons, Danny Soroker, Jorge L.C. Sanz",
  title = 	 "A study on massively parallel shared memory
		  computing",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7218",
  note =	 67985
}

Decidability and expressiveness for first-order logics of probability, Mart\'in Abadi, Joseph Y. Halpern
@TechReport{ibm-rj-7220,
  author = 	 "Mart{\'{i}}n Abadi, Joseph Y. Halpern",
  title = 	 "Decidability and expressiveness for first-order
		  logics of probability",
  institution =  "IBM Research Division",
  year = 	 1989,
  key =          "Martin Abadi",
  number =	 "IBM Research Report: RJ 7220",
  note =	 67987
}

Two views of belief: Belief as generalized probability and belief as evidence, Joseph Y. Halpern, Ronald Fagin
@TechReport{ibm-rj-7221,
  author = 	 "Joseph Y. Halpern, Ronald Fagin",
  title = 	 "Two views of belief: Belief as generalized
		  probability and belief as evidence",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7221",
  note =	 67988
}

A new approach to updating beliefs, Ronald Fagin, Joseph Y. Halpern
@TechReport{ibm-rj-7222,
  author = 	 "Ronald Fagin, Joseph Y. Halpern",
  title = 	 "A new approach to updating beliefs",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7222",
  note =	 67989
}

Architecture and design of a document storage subsystem, H.M. Gladney, et. al.
@TechReport{ibm-rj-7223,
  author = 	 "H.M. Gladney, et. al.",
  title = 	 "Architecture and design of a document storage
		  subsystem",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7223",
  note =	 67990
}

Deterministic sorting in nearly logarithmic time on the hypercube and related computers, Robert Cypher, C.Greg Plaxton
@TechReport{ibm-rj-7230,
  author = 	 "Robert Cypher, C.Greg Plaxton",
  title = 	 "Deterministic sorting in nearly logarithmic time on
		  the hypercube and related computers",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7230",
  note =	 67997
}

A nonstandard approach to the logical omniscience problem, Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
@TechReport{ibm-rj-7234,
  author = 	 "Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi",
  title = 	 "A nonstandard approach to the logical omniscience
		  problem",
  institution =  "IBM Research Division",
  year = 	 1989,
  number =	 "IBM Research Report: RJ 7234",
  note =	 68001
}

On the dynamic range of linear threshold elements, Kai-Yeung Siu, Jehoshua Bruck
@TechReport{ibm-rj-7237,
  author = 	 "Kai-Yeung Siu, Jehoshua Bruck",
  title = 	 "On the dynamic range of linear threshold elements",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7237",
  note =	 68004
}

One-page bokk embedding under vertex-neighborhood constraints, Shlomo Moran, Yaron Wolfstahl
@TechReport{ibm-rj-7241,
  author = 	 "Shlomo Moran, Yaron Wolfstahl",
  title = 	 "One-page bokk embedding under vertex-neighborhood
		  constraints",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7241",
  note =	 68008
}

Two-dimensional encoding by finite state encoders, Dafna Sheinwald, Abraham Lempel, Jacob Zib
@TechReport{ibm-rj-7242,
  author = 	 "Dafna Sheinwald, Abraham Lempel, Jacob Zib",
  title = 	 "Two-dimensional encoding by finite state encoders",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7242",
  note =	 68009
}

Generating pseudo-random , Noga Alon
@TechReport{ibm-rj-7243,
  author = 	 "Noga Alon",
  title = 	 "Generating pseudo-random ",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7243",
  note =	 68010
}

Parallel linear programming in fixed dimension almost surely in constant time, Noga Alon, Nimrod Megiddo
@TechReport{ibm-rj-7245,
  author = 	 "Noga Alon, Nimrod Megiddo",
  title = 	 "Parallel linear programming in fixed dimension
		  almost surely in constant time",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Researh Report: RJ 7245",
  note =	 68012
}

Recognizing properties of periodic graphs, Edith Cohen, Nimrod Megiddo
@TechReport{ibm-rj-7246,
  author = 	 "Edith Cohen, Nimrod Megiddo",
  title = 	 "Recognizing properties of periodic graphs",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7246",
  note =	 68013
}

Requirements for computer interchange color spaces, James M. Kasson, Wil Plouffe
@TechReport{ibm-rj-7249,
  author = 	 "James M. Kasson, Wil Plouffe",
  title = 	 "Requirements for computer interchange color spaces",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7249",
  note =	 68016
}

Design approaches for real-time transaction processing remote site recovery, D.K. Burkes, R.K. Treiber
@TechReport{ibm-rj-7265,
  author = 	 "D.K. Burkes, R.K. Treiber",
  title = 	 "Design approaches for real-time transaction
		  processing remote site recovery",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7265",
  note =	 68522
}

On the expressive power of Datalog: Tools and a case study, Phokion G. Kolaitis, Moshe Y. Vardi
@TechReport{ibm-rj-7267,
  author = 	 "Phokion G. Kolaitis, Moshe Y. Vardi",
  title = 	 "On the expressive power of Datalog: Tools and a case
		  study",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7267",
  note =	 68524
}

VLSI-oriented architectures for real-time image processing, W.E. Blanz
@TechReport{ibm-rj-7269,
  author = 	 "W.E. Blanz",
  title = 	 "VLSI-oriented architectures for real-time image
		  processing",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7269",
  note =	 68526
}

Comparing the performance of connectionist and statistical classifiers on an image segmentation problem, Sheri L. Gish, W.E. Blanz
@TechReport{ibm-rj-7270,
  author = 	 "Sheri L. Gish, W.E. Blanz",
  title = 	 "Comparing the performance of connectionist and
		  statistical classifiers on an image segmentation
		  problem",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7270",
  note =	 68527
}

Fast region analysis using standard image processing hardware, Wayne Niblack, Tai Truong, Tim Reiley, Bruce Terris
@TechReport{ibm-rj-7276,
  author = 	 "Wayne Niblack, Tai Truong, Tim Reiley, Bruce Terris",
  title = 	 "Fast region analysis using standard image processing
		  hardware",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7276",
  note =	 68533
}

Model selection: An overview AMPC project report, Trang D. Nguyen, Kwan Y. Wong
@TechReport{ibm-rj-7289,
  author = 	 "Trang D. Nguyen, Kwan Y. Wong",
  title = 	 "Model selection: An overview AMPC project report",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Reprot: RJ 7289",
  note =	 68546
}

Automatic generation of gridfitting hints for rasterization of outline fonts or graphics, Sten F. Andler
@TechReport{ibm-rj-7313,
  author = 	 "Sten F. Andler",
  title = 	 "Automatic generation of gridfitting hints for
		  rasterization of outline fonts or graphics",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7313",
  note =	 68570
}

Successive refinement of information, William H.R. Equitz
@TechReport{ibm-rj-7319,
  author = 	 "William H.R. Equitz",
  title = 	 "Successive refinement of information",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7319",
  note =	 "No. 68800"
}

Running algorithms efficiently on faulty hypercubes, Jehoshua Bruck, Robert Cypher, Danny Soroker
@TechReport{ibm-rj-7321,
  author = 	 "Jehoshua Bruck, Robert Cypher, Danny Soroker",
  title = 	 "Running algorithms efficiently on faulty hypercubes",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7321",
  note =	 "No. 68802"
}

What is inconsistency?, Phyllis Reisner
@TechReport{ibm-rj-7326,
  author = 	 "Phyllis Reisner",
  title = 	 "What is inconsistency?",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7326",
  note =	 "No. 68807"
}

Technical summary of the second IEEE , Luis-Felipe Cabrera
@TechReport{ibm-rj-7331,
  author = 	 "Luis-Felipe Cabrera",
  title = 	 "Technical summary of the second IEEE ",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7331",
  note =	 "No. 68812"
}

Stochastic Petri net models: Simultaneous transition firing, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-7338,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Stochastic Petri net models: Simultaneous transition
		  firing",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7338",
  note =	 "No. 68819"
}

Singel tabel access using multiple indexes: Optimization, execution and concurrency control techniques, C. Mohan, Don Haderle, Yun Wang, Josephine Cheng
@TechReport{ibm-rj-7341,
  author = 	 "C. Mohan, Don Haderle, Yun Wang, Josephine Cheng",
  title = 	 "Singel tabel access using multiple indexes:
		  Optimization, execution and concurrency control
		  techniques",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7341",
  note =	 "No. 68822"
}

A case study of pro, C. Mohan, Inderpal Narang, John Palmer
@TechReport{ibm-rj-7343,
  author = 	 "C. Mohan, Inderpal Narang, John Palmer",
  title = 	 "A case study of pro",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7343",
  note =	 "No. 68824"
}

Comiit_LSN: A novel and simple method for reducing locking and latching in transaction processing systems, C. Mohan
@TechReport{ibm-rj-7344,
  author = 	 "C. Mohan",
  title = 	 "Comiit_LSN: A novel and simple method for reducing
		  locking and latching in transaction processing
		  systems",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7344",
  note =	 "No. 68825"
}

Techniques for shared key sorting, Robert Cypher, C. Greg Plaxton
@TechReport{ibm-rj-7347,
  author = 	 "Robert Cypher, C.  Greg Plaxton",
  title = 	 "Techniques for shared key sorting",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7347",
  note =	 "No. 68828"
}

Deriving production rules for constraint maintenance, S. Ceri, J. Widom
@TechReport{ibm-rj-7348,
  author = 	 "S. Ceri, J. Widom",
  title = 	 "Deriving production rules for constraint maintenance",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7348",
  note =	 "No. 68829"
}

0-1 laws for infinitary logic, Phokion G. Kolaitis, Moshe Y. Vardi
@TechReport{ibm-rj-7349,
  author = 	 "Phokion G. Kolaitis, Moshe Y. Vardi",
  title = 	 "0-1 laws for infinitary logic",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7349",
  note =	 "No. 68830"
}

Fault tolerant sorting network, Shay Assaf, Eli Upfal
@TechReport{ibm-rj-7354,
  author = 	 "Shay Assaf, Eli Upfal",
  title = 	 "Fault tolerant sorting network",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7354",
  note =	 "No. 68835"
}

Sharing memory robustly in message-passing system, Hagit Attiya, Amotz Bar-Noy, Danny Dolev
@TechReport{ibm-rj-7361,
  author = 	 "Hagit Attiya, Amotz Bar-Noy, Danny Dolev",
  title = 	 "Sharing memory robustly in message-passing system",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7361",
  note =	 "No. 68842"
}

Undecidable optimization problems for database logic programs, Haim Gaifman, Harry Mairson, Yehoshua Sagiv, Moshe Y. Vardi
@TechReport{ibm-rj-7386,
  author = 	 "Haim Gaifman, Harry Mairson, Yehoshua Sagiv, Moshe
		  Y. Vardi",
  title = 	 "Undecidable optimization problems for database logic
		  programs",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7386",
  note =	 "No. 69188"
}

Neural computation of arithmetic functions, Kai-Yeung Siu, Jehoshua Bruck
@TechReport{ibm-rj-7396,
  author = 	 "Kai-Yeung Siu, Jehoshua Bruck",
  title = 	 "Neural computation of arithmetic functions",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7396",
  note =	 "No. 69198"
}

Staircase transportation problems with superadditive rewards and cumulative capacities, Alan J. Hoffman, Arthur F. Veinott, Jr.
@TechReport{ibm-rj-7399,
  author = 	 "Alan J. Hoffman, Arthur F. Veinott, Jr.",
  title = 	 "Staircase transportation problems with superadditive
		  rewards and cumulative capacities",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7399",
  note =	 "No. 69201"
}

An object-oriented language for image and vision execution (OLIVE), Myron Flickner, Mark Lavin
@TechReport{ibm-rj-7405,
  author = 	 "Myron Flickner, Mark Lavin",
  title = 	 "An object-oriented language for image and vision
		  execution (OLIVE)",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7405",
  note =	 "No. 69207"
}

Fault-tolerance in The Advanced Automation System, Flaviu Cristian
@TechReport{ibm-rj-7424,
  author = 	 "Flaviu Cristian",
  title = 	 "Fault-tolerance in The Advanced Automation System",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7424",
  note =	 "No. 69595"
}

Full bandwidth communications on folded hypercubes, Chien-Tien Ho
@TechReport{ibm-rj-7434,
  author = 	 "Chien-Tien Ho",
  title = 	 "Full bandwidth communications on folded hypercubes",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7434",
  note =	 "No. 69605"
}

, Joseph Y. Halpern
@TechReport{ibm-rj-7436,
  author = 	 "Joseph Y. Halpern",
  title = 	 "Let meny flowers bloom:  A response to "An inquiry
		  into computer understanding"",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7436",
  note =	 "No. 69607"
}

On the power of bounded concurrency III: Reasoning about programs, David Harel, Roni Rosner and Moshe Vardi
@TechReport{ibm-rj-7439,
  author = 	 "David Harel, Roni Rosner and Moshe Vardi",
  title = 	 "On the power of bounded concurrency III:  Reasoning
		  about programs",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7439",
  note =	 "No. 69610"
}

A fast scheme to analyze three-dimensional airflow for computer disks on a massively parallel computer, Hungwen Li and Chu-Ji Chang
@TechReport{ibm-rj-7462p,
  author = 	 "Hungwen Li and Chu-Ji Chang",
  title = 	 "A fast scheme to analyze three-dimensional airflow
		  for computer disks on a massively parallel computer",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7462",
  note =	 "No. 69633"
}

A lower bound on the size of shellsort sorting networks, Robert Cypher
@TechReport{ibm-rj-7476,
  author = 	 "Robert Cypher",
  title = 	 "A lower bound on the size of shellsort sorting
		  networks",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7476",
  note =	 "No. 69991"
}

The complexity of reshaping arrays on boolean cubes, S. Lennart Johnsson, Ching-Tien Ho
@TechReport{ibm-rj-7494,
  author = 	 "S. Lennart Johnsson, Ching-Tien Ho",
  title = 	 "The complexity of reshaping arrays on boolean cubes",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7494",
  note =	 "No. 70009"
}

Embedding meshes into small boolean cubes, Ching-Tien Ho, S. Lennart Johnsson
@TechReport{ibm-rj-7495,
  author = 	 "Ching-Tien Ho, S. Lennart Johnsson",
  title = 	 "Embedding meshes into small boolean cubes",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7495",
  note =	 "No. 70010"
}

Perfectly secure message transmission, Danny Dolev, Cynthia Dwork, Orli Waarts, Moti Yung
@TechReport{ibm-rj-7496,
  author = 	 "Danny Dolev, Cynthia Dwork, Orli Waarts, Moti Yung",
  title = 	 "Perfectly secure message transmission",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7496",
  note =	 "No. 70011"
}

0-1 laws for fragments of second-order logic, P.G. Kolaitis, Moshe Vardi
@TechReport{ibm-rj-7508,
  author = 	 "P.G. Kolaitis, Moshe Vardi",
  title = 	 "0-1 laws for fragments of second-order logic",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7508",
  note =	 "No. 70023"
}

A lower bound on probabilistic algorithms for distributive ring coloring, Moni Naor
@TechReport{ibm-rj-7517,
  author = 	 "Moni Naor",
  title = 	 "A lower bound on probabilistic algorithms for
		  distributive ring coloring",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7517",
  note =	 "No.70032"
}

Labelled stochastic Petri nets, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-7525,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Labelled stochastic Petri nets",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7525",
  note =	 "No. 70391"
}

Statistical relational model, Sakti P. Ghosh
@TechReport{ibm-rj-7551,
  author = 	 "Sakti P. Ghosh",
  title = 	 "Statistical relational model",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7551",
  note =	 "No. 70417"
}

Boolean complexity and probabilistic constructions, M. Ajtai
@TechReport{ibmrj-7567,
  author = 	 "M. Ajtai",
  title = 	 "Boolean complexity and probabilistic constructions",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7567",
  note =	 "No. 70433"
}

Extensibility in the starburst experimental database system, Bruce Lindsay
@TechReport{ibm-rj-7570,
  author = 	 "Bruce Lindsay",
  title = 	 "Extensibility in the starburst experimental database
		  system",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7570",
  note =	 "No. 70747"
}

Hypercube - A reconfigurable mesh, Ching-Tien Ho
@TechReport{ibm-rj-7573,
  author = 	 "Ching-Tien Ho",
  title = 	 "Hypercube - A reconfigurable mesh",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7573",
  note =	 "No. 70750"
}

Clock synchronization and the power of broadcasting, Joseph Y. Halpern, Ichiro Suzuki
@TechReport{ibm-rj-7579,
  author = 	 "Joseph Y. Halpern, Ichiro Suzuki",
  title = 	 "Clock synchronization and the power of broadcasting",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7579",
  note =	 "No. 70756"
}

The impact of hardware on database systems, Patricia G. Selinger
@TechReport{ibm-rj-7580,
  author = 	 "Patricia G. Selinger",
  title = 	 "The impact of hardware on database systems",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7580",
  note =	 "No. 70757"
}

Algorithms for realtime image segmentation, Byron E. Dom, et. al.
@TechReport{ibm-rj-7581,
  author = 	 "Byron E. Dom, et. al.",
  title = 	 "Algorithms for realtime image segmentation",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7581",
  note =	 "No. 70758"
}

On the processor labelings of cube type networks, Ching-Tien Ho
@TechReport{ibm-rj-7585,
  author = 	 "Ching-Tien Ho",
  title = 	 "On the processor labelings of cube type networks",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7585",
  note =	 "No. 70762"
}

Strongly polynomial-time and NC algorithms for detecting cycles in periodic graphs, E. Cohen, N. Megiddo
@TechReport{ibm-rj-7587,
  author = 	 "E. Cohen, N. Megiddo",
  title = 	 "Strongly polynomial-time and NC algorithms for
		  detecting cycles in periodic graphs",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7587",
  note =	 "No. 70764"
}

Optimal broadcasting on SIMD hypercubes, Ching-Tien Ho
@TechReport{ibm-rj-7604,
  author = 	 "Ching-Tien Ho",
  title = 	 "Optimal broadcasting on SIMD hypercubes",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7604",
  note =	 "No. 70781"
}

On graphs of bandwidth two and their recognition, Dafna Sheinwald and Yaron Wolfsthal
@TechReport{ibm-rj-7610,
  author = 	 "Dafna Sheinwald and Yaron Wolfsthal",
  title = 	 "On graphs of bandwidth two and their recognition",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7610",
  note =	 "No. 70787"
}

Finite-model theory --- a personal perspective, Ronald Fagin
@TechReport{ibm-rj-7632,
  author = 	 "Ronald Fagin",
  title = 	 "Finite-model theory --- a personal perspective",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7632",
  note =	 "No. 71079"
}

Style control in the Quill document editing system, Yaron Wolfsthal
@TechReport{ibm-rj-7649,
  author = 	 "Yaron Wolfsthal",
  title = 	 "Style control in the Quill document editing system",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7649",
  note =	 "No. 71096"
}

Aspects: Extending objects to support multiple, independent roles, Joel Richardson, Peter Schwarz
@TechReport{ibm-rj-7657,
  author = 	 "Joel Richardson, Peter Schwarz",
  title = 	 "Aspects: Extending objects to support multiple,
		  independent roles",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7657",
  note =	 "No. 71104"
}

A general Np-completeness theorem, Nimrod Megiddo
@TechReport{ibm-rj-7677,
  author = 	 "Nimrod Megiddo",
  title = 	 "A general Np-completeness theorem",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7677",
  note =	 "No. 71376"
}

Fast algorithms for some arithmetic and logic operations, Biing-Feng Wang and Gen-Huey Chen
@TechReport{ibm-rj-7690,
  author = 	 "Biing-Feng Wang and Gen-Huey Chen",
  title = 	 "Fast algorithms for some arithmetic and logic
		  operations",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7690",
  note =	 "No. 71389"
}

Reconfigurable massively parallel computers: An introduction, Hungwen Li, Quentin F. Stout
@TechReport{ibm-rj-7701,
  author = 	 "Hungwen Li, Quentin F. Stout",
  title = 	 "Reconfigurable massively parallel computers: An
		  introduction",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7701",
  note =	 "No. 71400"
}

Construction of asymptotically good low-rate error-correcting codes through pseudo-random graphs, Noga Alon, Jehoshua Bruck, Joseph Naor, Moni Naor, Ron M.Roth
@TechReport{ibm-rj-7713,
  author = 	 "Noga Alon, Jehoshua Bruck, Joseph Naor, Moni Naor,
		  Ron M.Roth",
  title = 	 "Construction of asymptotically good low-rate
		  error-correcting codes through pseudo-random graphs",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7713",
  note =	 "No. 71578"
}

A general framework of continuation methods for complementarity problems, Masakazu Kojima, Nimrod Megiddo, Shinji Mizuno
@TechReport{ibm-rj-7720,
  author = 	 "Masakazu Kojima, Nimrod Megiddo, Shinji Mizuno",
  title = 	 "A general framework of continuation methods for
		  complementarity problems",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7720",
  note =	 "No. 71585"
}

A comparison of SIMD hypercube routing strategies, Melanie Fulgham, Robert Cypher, Jorge Sanz
@TechReport{ibm-rj-7722,
  author = 	 "Melanie Fulgham, Robert Cypher, Jorge Sanz",
  title = 	 "A comparison of SIMD hypercube routing strategies",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7722",
  note =	 "No. 71587"
}

Parallelism in relational data base systems: Architectural issues and design approaches, Hamid Pirahesh, C. Mohan, T.S. Liu, Pat Selinger
@TechReport{ibm-rj-7724,
  author = 	 "Hamid Pirahesh, C. Mohan, T.S. Liu, Pat Selinger",
  title = 	 "Parallelism in relational data base systems:
		  Architectural issues and design approaches",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7724",
  note =	 "No. 71589"
}

On the parallel complexity of evaluating game-trees, Andrei Z. Broder, Anna R. Karlin, Prabhakar Raghavan, Eli Upfal
@TechReport{ibm-rj-7729,
  author = 	 "Andrei Z. Broder, Anna R. Karlin, Prabhakar
		  Raghavan, Eli Upfal",
  title = 	 "On the parallel complexity of evaluating game-trees",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7729",
  note =	 "No. 71594"
}

Designing a highly parallel database server using off-the-shelf components, Kien A. Hua, Honesty C. Young
@TechReport{ibm-rj-7735,
  author = 	 "Kien A. Hua, Honesty C. Young",
  title = 	 "Designing a highly parallel database server using
		  off-the-shelf components",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7735",
  note =	 "No. 71600"
}

Stochastic Petri nets: Modeling power and limit theorems, Peter J. Haas, Gerald S. Shedler
@TechReport{ibm-rj-7738,
  author = 	 "Peter J. Haas, Gerald S. Shedler",
  title = 	 "Stochastic Petri nets: Modeling power and limit
		  theorems",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7738",
  note =	 "No. 71603"
}

A realistic resource - Constrained software pipelining algorithm, Alex Aiken, Alexandru Nicolau
@TechReport{ibm-rj-7743,
  author = 	 "Alex Aiken, Alexandru Nicolau",
  title = 	 "A realistic resource - Constrained software
		  pipelining algorithm",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7743",
  note =	 "No. 71608"
}

A report on FoilTEX, a LATEX-like system for typesetting, James L. Hafner
@TechReport{ibm-rj-7753,
  author = 	 "James L. Hafner",
  title = 	 "A report on FoilTEX, a LATEX-like system for
		  typesetting",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7753",
  note =	 "No. 71618"
}

Regenerative stochastic simulation: Dicrete event systems, Gerald S. Shedler
@TechReport{ibm-rj-7757,
  author = 	 "Gerald S. Shedler",
  title = 	 "Regenerative stochastic simulation: Dicrete event
		  systems",
  institution =  "IBM Research Division",
  year = 	 1990,
  number =	 "IBM Research Report: RJ 7757",
  note =	 "No. 71874"
}

Segment routing: A novel routing technique for parallel computers, Smaragda Konstantinidou
@TechReport{ibm-rj-9570,
  author = 	 "Smaragda Konstantinidou",
  title = 	 "Segment routing:  A novel routing technique for
		  parallel computers",
  institution =  "IBM Research Division",
  year = 	 1993,
  number =	 "IBM Research Report: RJ 9570",
  note =	 "No. 83576"
}

Efficient color histogram indexing for quadratic form distance functions, Harpreet S. Sawhney, James L. Hafner
@TechReport{ibm-rj-9572,
  author = 	 "Harpreet S. Sawhney, James L. Hafner",
  title = 	 "Efficient color histogram indexing for quadratic
		  form distance functions",
  institution =  "IBM Research Division",
  year = 	 1993,
  number =	 "IBM Research Report: RJ 9572",
  note =	 "No. 83578"
}

On the equivalence of recursive and nonrecursive datalog programs, Surajit Chaudhuri, Moshe Y. Vardi
@TechReport{ibm-rj-9596,
  author = 	 "Surajit Chaudhuri, Moshe Y. Vardi",
  title = 	 "On the equivalence of recursive and nonrecursive
		  datalog programs",
  institution =  "IBM Research Division",
  year = 	 1993,
  number =	 "IBM Research Report: RJ 9596",
  note =	 No. 83794
}

Performance of recover time improvement algorithm for software RAIDs, Jeff Riegel, Jai Menon
@TechReport{ibm-rj-9988,
  author = 	 "Jeff Riegel, Jai Menon",
  title = 	 "Performance of recover time improvement algorithm
		  for software RAIDs",
  institution =  "IBM Research Division",
  year = 	 1995,
  number =	 "IBM Research Report: RJ 9988",
  note =	 "No. 89076"
}

Integrating triggers and declarative constraints in SQL database systems, Roberta J. Cochrane, Hamid Pirahesh, Nelson Mattos
@TechReport{ibm-rj-9989,
  author = 	 "Roberta J. Cochrane, Hamid Pirahesh, Nelson Mattos",
  title = 	 "Integrating triggers and declarative constraints in
		  SQL database systems",
  institution =  "IBM Research Division",
  year = 	 1995,
  number =	 "IBM Research Report: RJ 9989",
  note =	 "No. 89077"
}

Collective consistency, Cynthia Dwork, Ching-Tien Ho, Ray Strong
@TechReport{ibm-rj-9992,
  author = 	 "Cynthia Dwork, Ching-Tien Ho, Ray Strong",
  title = 	 "Collective consistency",
  institution =  "IBM Research Division",
  year = 	 1995,
  number =	 "IBM Research Report: RJ 9992",
  note =	 "No. 89080"
}

A decentralized high performance time service architecture, Danny Dolev, et. al.
@TechReport{ibm-rj-9993,
  author = 	 "Danny Dolev, et. al.",
  title = 	 "A decentralized high performance time service architecture",
  institution =  "IBM Research Division",
  year = 	 1995,
  number =	 "IBM Research Report: RJ 9993",
  note =	 "No. 89081"
}

Mining sequential patterns: Generalizations and performance improvements, Ramakrishnan Srikant, Rakesh Agrawal
@TechReport{ibm-rj-9984,
  author = 	 "Ramakrishnan Srikant, Rakesh Agrawal",
  title = 	 "Mining sequential patterns: Generalizations and
		  performance improvements",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 9994",
  note =	 "No. 89082"
}

On ambiguities in the interpretation of game trees, Joseph Y. Halpern
@TechReport{ibm-rj-9995,
  author = 	 "Joseph Y. Halpern",
  title = 	 "On ambiguities in the interpretation of game trees",
  institution =  "IBM Research Division",
  year = 	 1995,
  number =	 "IBM Research Report: RJ 9995",
  note =	 "No. 89083"
}

On the expected value of games with absentmindedness, Adam J. Grove
@TechReport{ibm-rj-9996,
  author = 	 "Adam J. Grove",
  title = 	 "On the expected value of games with absentmindedness",
  institution =  "IBM Research Division",
  year = 	 1995,
  number =	 "IBM Research Report: RJ 9996",
  note =	 "No. 89084"
}

MDL Estimation with small sample sizes including an application to the problem of segmenting binary strings using bernoulli models, Byron Dom
@TechReport{ibm-rj-9997,
  author = 	 "Byron Dom",
  title = 	 "MDL Estimation with small sample sizes including an
		  application to the problem of segmenting binary
		  strings using bernoulli models",
  institution =  "IBM Research Division",
  year = 	 1995,
  number =	 "IBM Research Report: RJ 9997",
  note =	 "No. 89085"
}

Parallel mining of association rules: design, implementation, and experience, Rakesh Agrawal, John C. Shafer
@TechReport{ibm-rj-10004,
  author = 	 "Rakesh Agrawal, John C. Shafer",
  title = 	 "Parallel mining of association rules: design,
		  implementation, and experience",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10004",
  note =	 "No. 89093"
}

Developing tightly- coupled applications on IBM DB2/CS relational database system: methodology and experience , Rakesh Agrawal, Kyuseok Shim
@TechReport{ibm-rj-10005,
  author = 	 "Rakesh Agrawal, Kyuseok Shim",
  title = 	 "Developing tightly- coupled applications on IBM
		  DB2/CS relational database system: methodology and
		  experience ",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10005",
  note =	 "No. 89094"
}

Recent applications of IBM's query by image content(QBIC), Dragutin Petkovic, et. al.
@TechReport{ibm-rj-10006,
  author = 	 "Dragutin Petkovic, et. al.",
  title = 	 "Recent applications of IBM's query by image content(QBIC)",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10006",
  note =	 "No. 89095"
}

A minimun description length polygonal approximation method, S. Banerjee, W. Niblack, M. Flickner
@TechReport{ibm-rj-10007,
  author = 	 "S. Banerjee, W. Niblack, M. Flickner",
  title = 	 "A minimun description length polygonal approximation
		  method",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10007",
  note =	 "No. 89096"
}

Exploitation of uniqueness properties for the optimization of SQL queries using a 1-tuple condition, David Simmen, T.Y. Cliff Leung, Hamid Pirahesh
@TechReport{ibm-rj-10008,
  author = 	 "David Simmen, T.Y. Cliff Leung, Hamid Pirahesh",
  title = 	 "Exploitation of uniqueness properties for the
		  optimization of SQL queries using a 1-tuple
		  condition",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10008",
  note =	 "No. 89098"
}

Common knowledge revisited, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
@TechReport{ibm-rj-10009,
  author = 	 "Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe
		  Y. Vardi",
  title = 	 "Common knowledge revisited",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10009",
  note =	 "No. 89100"
}

Modeling multidimensional databases, Rakesh Agrawal, Ashish Gupta, Sunita Sarawagi
@TechReport{ibm-rj-10014,
  author = 	 "Rakesh Agrawal, Ashish Gupta, Sunita Sarawagi",
  title = 	 "Modeling multidimensional databases",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10014",
  note =	 "No. 89105"
}

DB2 LOBs : The teenage years, Tobin J. Lehman, Patrick J. Gainer
@TechReport{ibm-rj-10015,
  author = 	 "Tobin J. Lehman, Patrick J. Gainer",
  title = 	 "DB2 LOBs : The teenage years",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10015",
  note =	 "No. 89106"
}

PESTO: An integrated query/browser for object databases, Michael Carey, Laura Haas, John Williams, Vivekananda Maganty
@TechReport{ibm-rj-10016,
  author = 	 "Michael Carey, Laura Haas, John Williams,
		  Vivekananda Maganty",
  title = 	 "PESTO: An integrated query/browser for object
		  databases",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10016",
  note =	 "No. 89107"
}

Finding a line of sight thru boxes in d-space in linear time, Nimrod Megiddo
@TechReport{ibm-rj-10018,
  author = 	 "Nimrod Megiddo",
  title = 	 "Finding a line of sight thru boxes in d-space in
		  linear time",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10018"
  note =         "No. 89104
}

The electrical resistance of a graph captures its commute and cover times, Ashok K. Chandra, et. al.
@TechReport{ibm-rj-10019,
  author = 	 "Ashok K. Chandra, et. al.",
  title = 	 "The electrical resistance of a graph captures its
		  commute and cover times",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10019",
  note =	 "No. 89110"
}

Jive: AA Java decompiler, Daniel Ford
@TechReport{ibm-rj-10022,
  author = 	 "Daniel Ford",
  title = 	 "Jive: AA Java decompiler",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10022",
  note =	 "No. 89113"
}

Estimating the number of classes in a finite population, Peter J. Haas, Lynne Stokes
@TechReport{ibm-rj-10025,
  author = 	 "Peter J. Haas, Lynne Stokes",
  title = 	 "Estimating the number of classes in a finite population",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10025",
  note =	 "No. 90521"
}

On computing the data cube, S. Sarawagi, R. Agrawal, A. Gupta
@TechReport{ibm-rj-10026,
  author = 	 "S. Sarawagi, R. Agrawal, A. Gupta",
  title = 	 "On computing the data cube",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10026",
  note =	 "No. 90522"
}

A modified layered-step interior-point algorithm for linear programming, Nimrod Megiddo, Shinji Mizuno, takashi Tsuchiya
@TechReport{ibm-rj-10028,
  author = 	 "Nimrod Megiddo, Shinji Mizuno, takashi Tsuchiya",
  title = 	 "A modified layered-step interior-point algorithm for
		  linear programming",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10028",
  note =	 "No. 90524"
}

MDL estimation for small sample sizes and its application to linear regression, Byron E. Dom
@TechReport{ibm-rj-10030,
  author = 	 "Byron E. Dom",
  title = 	 "MDL estimation for small sample sizes and its
		  application to linear regression",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10030",
  note =	 "No. 90526"
}

Relaxing the triangle inequality in pattern matching, Ronald Fagin, Larry Stockmeyer
@TechReport{ibm-rj-10031,
  author = 	 "Ronald Fagin, Larry Stockmeyer",
  title = 	 "Relaxing the triangle inequality in pattern matching",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10031",
  note =	 "No. 90527"
}

Easier ways to win logical games, Ronald Fagin
@TechReport{ibm-rj-10035,
  author = 	 "Ronald Fagin",
  title = 	 "Easier ways to win logical games",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10035",
  note =	 "No. 90531"
}

Comparing the power of games on graphs, Ronald Fagin
@TechReport{ibm-rj-10036,
  author = 	 "Ronald Fagin",
  title = 	 "Comparing the power of games on graphs",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10036",
  note =	 "No. 90532"
}

Hoeffding inequalities for join selectivity estimation and online aggregation, Peter J. Haas
@TechReport{ibm-rj-10038,
  author = 	 "Peter J. Haas",
  title = 	 "Hoeffding inequalities for join selectivity
		  estimation and online aggregation",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10038",
  note =	 "No. 90534"
}

Stable reduction to KKT systems in barrier methods for linear and quadratic programming, Michael A. Saunders, John A. Tomlin
@TechReport{ibm-rj-10039,
  author = 	 "Michael A. Saunders, John A. Tomlin",
  title = 	 "Stable reduction to KKT systems in barrier methods
		  for linear and quadratic programming",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10039",
  note =	 "No. 90535"
}

Hoeffding inequalities for join-selectivity extimation and online, Peter J. Haas
@TechReport{ibm-rj-10040,
  author = 	 "Peter J. Haas",
  title = 	 "Hoeffding inequalities for join-selectivity
		  extimation and online",
  institution =  "IBM Research Division",
  year = 	 1996,
  key =		 "Revision of RJ 10038",
  number =	 "IBM Research Report: RJ 10040",
  note =	 "No. 90536"
}

On simulation output analysis for generalized semi-Markov processes, Peter J. Haas
@TechReport{ibm-rj-10042,
  author = 	 "Peter J. Haas",
  title = 	 "On simulation output analysis for generalized
		  semi-Markov processes",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10042",
  note =         "No. 90538"
}

Estimation methods for stochastic Petri nets based on standardized, Peter J. Haas
@TechReport{ibm-rj-10043,
  author = 	 "Peter J. Haas",
  title = 	 "Estimation methods for stochastic Petri nets based
		  on standardized",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10043",
  note =	 "No. 90539"
}

A coding approach for detection of tampering in write-once optical disks, Mario Blaum, Kurt Rubin, Wilfried Lengh, Jehoshua Bruck
@TechReport{ibm-rj-10046,
  author = 	 "Mario Blaum, Kurt Rubin, Wilfried Lengh, Jehoshua
		  Bruck",
  title = 	 "A coding approach for detection of tampering in
		  write-once optical disks",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10046",
  note =	 "No.90542"
}

Large-sample and deterministic confidence intervals for online aggregation, Peter J. Haas
@TechReport{ibm-rj-10050,
  author = 	 "Peter J. Haas",
  title = 	 "Large-sample and deterministic confidence intervals
		  for online aggregation",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10050",
  note =	 "No.90546"
}

Incorporating user preferences in multimedia queries, Ronald Fagin, Edward L. Wimmers
@TechReport{ibm-rj-10051,
  author = 	 "Ronald Fagin, Edward L. Wimmers",
  title = 	 "Incorporating user preferences in multimedia queries",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10051",
  note =	 "No.90547"
}

The RAID configuration tool, Peter Zabback, Jeff Riegel, Jai Menon
@TechReport{ibm-rj-10055,
  author = 	 "Peter Zabback, Jeff Riegel, Jai Menon",
  title = 	 "The RAID configuration tool",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10055",
  note =	 "No.90552"
}

Graphical means of drawing users'attention in the visual interface, Shumin Zhai, et. al.
@TechReport{ibm-rj-10056,
  author = 	 "Shumin Zhai, et. al.",
  title = 	 "Graphical means of drawing users'attention in the
		  visual interface",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10056",
  note =	 "No.90553"
}

The partial occlusion effect : utilizing semi-transparency in 3D Human-computer interaction, Shumin Zhai, William Buxton, Paul Milgram
@TechReport{ibm-rj-10057,
  author = 	 "Shumin Zhai, William Buxton, Paul Milgram",
  title = 	 "The partial occlusion effect : utilizing
		  semi-transparency in 3D Human-computer interaction",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10057",
  note =	 "No.90554"
}

An isometric tongue pointing device, Chris Salem, Shumin Zhai
@TechReport{ibm-rj-10059,
  author = 	 "Chris Salem, Shumin Zhai",
  title = 	 "An isometric tongue pointing device",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10059",
  note =	 "No.90556"
}

WBI : how to personalize the Web, Rob Barrett, Paul P. Maglio, Daniel C. kellem
@TechReport{ibm-rj-10060,
  author = 	 "Rob Barrett, Paul P. Maglio, Daniel C. kellem",
  title = 	 "WBI : how to personalize  the Web",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10060",
  note =	 "No.90557"
}

Subject-based searching using automatically extracted metadata, Thomas Kirsche, Rob Barrett
@TechReport{ibm-rj-10063,
  author = 	 "Thomas Kirsche, Rob Barrett",
  title = 	 "Subject-based searching using automatically
		  extracted metadata",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10063",
  note =	 "No.90560"
}

Solving regularized linear programs using barrier methods and KKT systms, Michael A. Saunders, John A. Tomlin
@TechReport{ibm-rj-10064,
  author = 	 "Michael A. Saunders, John A. Tomlin",
  title = 	 "Solving regularized linear programs using barrier
		  methods and KKT systms",
  institution =  "IBM Research Division",
  year = 	 1996,
  number =	 "IBM Research Report: RJ 10064",
  note =	 "No.90561"
}

I can do that! using wrapper input for query optimization in heterogeneous middleware systems, Donald Kossmann, Laura M. Haas, Jun Yang
@TechReport{ibm-rj-10065,
  author = 	 "Donald Kossmann, Laura M. Haas, Jun Yang",
  title = 	 "I can do that! using wrapper input for query
		  optimization in heterogeneous middleware systems",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10065",
  note =	 "No.90562"
}

Cryptographic containers and the digital library, Jeffrey Lotspiech, Ulrich Kohl, Marc A. Kaplan
@TechReport{ibm-rj-10069,
  author = 	 "Jeffrey Lotspiech, Ulrich Kohl, Marc A. Kaplan",
  title = 	 "Cryptographic containers and the digital library",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10069",
  note =	 "No.90566"
}

Range queries in OLAP data cubes, Ching-Tien Ho, et. al.
@TechReport{ibm-rj-10070,
  author = 	 "Ching-Tien Ho, et. al.",
  title = 	 "Range queries in OLAP data cubes",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10070",
  note =	 "No.90567"
}

Fast algorithms for range-max queries in OLAP data cubes, Ching-Tien Ho, et. al.
@TechReport{ibm-rc-10071,
  author = 	 "Ching-Tien Ho, et. al.",
  title = 	 "Fast algorithms for range-max queries in OLAP data cubes",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10071",
  note =	 "No.90568"
}

Partial-sum queries in olap data cubes using covering codes, Ching-Tien Ho, Jehoshua Bruck
@TechReport{ibm-rj-10074,
  author = 	 "Ching-Tien Ho, Jehoshua Bruck",
  title = 	 "Partial-sum queries in olap data cubes using covering 
		  codes",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10074",
  note =	 "No.91890"
}

Daisy : virtual disk hierarchical storage manager, Jai Menon, Kent Treiber
@TechReport{ibm-rj-10075,
  author = 	 "Jai Menon, Kent Treiber",
  title = 	 "Daisy : virtual disk hierarchical storage manager",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10075",
  note =	 "No.91891"
}

Authoritative sources in a hyperlinked environment, Jon M. Kleinberg
@TechReport{ibm-rj-10076,
  author = 	 "Jon M. Kleinberg",
  title = 	 "Authoritative sources in a hyperlinked environment",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10076",
  note =	 "No.91892"
}

A wrapper architecture for legacy data sources, Mary Tork Roth and Peter Schwarz
@TechReport{ibm-rj-10077,
  author = 	 "Mary Tork Roth and Peter Schwarz",
  title = 	 "A wrapper architecture for legacy data sources",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10077",
  note =	 "#91893"
}

A system for automatically reading IATA flight coupons, Jiangchang Mao and Raymond Lorie and K. Mohiuddin
@TechReport{ibm-rj-10080,
  author = 	 "Jiangchang Mao and Raymond Lorie and K. Mohiuddin",
  title = 	 "A system for automatically reading IATA flight coupons",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10080",
  note =	 "#91896"
}

High-dimensional proximity joins, Kyuseok Shim and Ramakrishnan Srikant and Rakesh Agrawal
@TechReport{ibm-rj-10081,
  author = 	 "Kyuseok Shim and Ramakrishnan Srikant and Rakesh Agrawal",
  title = 	 "High-dimensional proximity joins",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10081",
  note =	 "#91897"
}

Storage management for evolving databases, J. Kleinberg, et. al.
@TechReport{ibm-rj-10083,
  author = 	 "J. Kleinberg, et. al.",
  title = 	 "Storage management for evolving databases",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10083",
  note =	 "No.91899"
}

Representation matters: spatial interface can facilitate target acquisition, Ted Selker and Ian May and Shumin Zhai
@TechReport{ibm-rj-10085,
  author = 	 "Ted Selker and Ian May and Shumin Zhai",
  title = 	 "Representation matters: spatial interface can
		  facilitate target acquisition",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10085",
  note =	 "No.91901"
}

Quantifying coordination in multiple DOF movement and its application to evaluating 6 DOF input devices, Shumin Zhai
@TechReport{ibm-rj-10086,
  author = 	 "Shumin Zhai",
  title = 	 "Quantifying coordination in multiple DOF movement
		  and its application to evaluating 6 DOF input devices",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10086",
  note =	 "No.91902"
}

Investigating coordination in multidegree of freedom control II: time-on-target analysis of 6 DOF tracking, Shumin Zhai and John W. Senders
@TechReport{ibm-rj-10087,
  author = 	 "Shumin Zhai and John W. Senders",
  title = 	 "Investigating coordination in multidegree of freedom 
		  control II: time-on-target analysis of 6 DOF tracking",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10087",
  note =	 "No.91903"
}

Investigating coordination in multidegree of freedom control I: time-on-target analysis of 6 DOF tracking, Shumin Zhai and John W. Senders
@TechReport{ibm-rj-10088,
  author = 	 "Shumin Zhai and John W. Senders",
  title = 	 "Investigating coordination in multidegree of freedom 
		  control I: time-on-target analysis of 6 DOF tracking",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10088",
  note =	 "No.91904"
}

Representation matters: the effect of 3D objects and a spatial metaphor in a graphical user interface, Wendy Ark, et. al.
@TechReport{ibm-rj-10090,
  author = 	 "Wendy Ark, et. al.",
  title = 	 "Representation matters: the effect of 3D objects and 
		  a spatial metaphor in a graphical user interface",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10090",
  note =	 "No.91906"
}

Nonblocking ordered reliable multicast in an unreliable distributed environment, J. Palmer and R. Strong and E. Upfal
@TechReport{ibm-rj-10097,
  author = 	 "J. Palmer and R. Strong and E. Upfal",
  title = 	 "Nonblocking ordered reliable multicast in an
		  unreliable distributed environment",
  institution =  "IBM Research Division",
  year = 	 1997,
  number =	 "IBM Research Report: RJ 10097",
  note =	 "No.91913"
}

Query rewrite optimization rules in IBM DB2 universal database, T.Y.Cliff Leung and Hamid Pirahesh and Praveen Seshadri
@TechReport{ibm-rj-10103,
  author = 	 "T.Y.Cliff Leung and Hamid Pirahesh and Praveen Seshadri",
  title = 	 "Query rewrite optimization rules in IBM DB2
		  universal database",
  institution =  "IBM Research Division",
  year = 	 1998,
  number =	 "IBM Research Report: RJ 10103",
  note =	 "No.91919"
}

Parallel classification for data minng on shared-memory systems, Ching-Tien Ho and Mohammed Zaki
@TechReport{ibm-rj-10104,
  author = 	 "Ching-Tien Ho and Mohammed Zaki",
  title = 	 "Parallel classification for data minng on
		  shared-memory systems",
  institution =  "IBM Research Division",
  year = 	 1999,
  number =	 "IBM Research Report: RJ 10104",
  note =	 "No.91920"
}

Topic distillation and spectral filtering, Soumen Chakrabarti, et. al.
@TechReport{ibm-rj-10127,
  author = 	 "Soumen Chakrabarti, et. al.",
  title = 	 "Topic distillation and spectral filtering",
  institution =  "IBM Research Division",
  year = 	 1998,
  number =	 "IBM Research Report: RJ 10127",
  note =	 "No.95002"
}

Query processing techniques for correlated queries, Praveen Seshadri
@TechReport{ibm-rj-10129,
  author = 	 "Praveen Seshadri",
  title = 	 "Query processing techniques for correlated queries",
  institution =  "IBM Research Division",
  year = 	 1998,
  number =	 "IBM Research Report: RJ 10129",
  note =	 "No.95004"
}

Using fagin's algorithm for merging ranked results in multimedia middleware, Edward L. Wimmers, et. al.
@TechReport{ibm-rj-10130,
  author = 	 "Edward L. Wimmers, et. al.",
  title = 	 "Using fagin's algorithm for merging ranked results
		  in multimedia middleware",
  institution =  "IBM Research Division",
  year = 	 1998,
  number =	 "IBM Research Report: RJ 10130",
  note =	 "No.95005"
}

Estimation of delays in non-regenerative stochastic Petri nets, Peter J. Haas
@TechReport{ibm-rj-10138,
  author = 	 "Peter J. Haas",
  title = 	 "Estimation of delays in non-regenerative stochastic
		  Petri nets",
  institution =  "IBM Research Division",
  year = 	 1999,
  number =	 "IBM Research Report: RJ 10138",
  note =	 "No.95013"
}

Cost models do matter: providing cost information for diverse data sources in a federated system, Mary Tork Roth and Laura M. Haas and Fatma Ozcan
@TechReport{ibm-rj-10141,
  author = 	 "Mary Tork Roth and Laura M. Haas and Fatma Ozcan",
  title = 	 "Cost models do matter: providing cost information
		  for diverse data sources in a federated system",
  institution =  "IBM Research Division",
  year = 	 1999,
  number =	 "IBM Research Report: RJ 10141",
  note =	 "No.95016"
}

Towards robust features for classifying audio in the cuevideo system, Savitha Srinivasan and Dragutin Petkovic and Dulce Ponceleon
@TechReport{ibm-rj-10142,
  author = 	 "Savitha Srinivasan and Dragutin Petkovic and 
		  Dulce Ponceleon",
  title = 	 "Towards robust features for classifying audio in the 
		  cuevideo system",
  institution =  "IBM Research Division",
  year = 	 1999,
  number =	 "IBM Research Report: RJ 10142",
  note =	 "No.95017"
}

The cuevideo spoken media retrieval system, Savitha Srinivasan, et. al.
@TechReport{ibm-rj-10143,
  author = 	 "Savitha Srinivasan, et. al.",
  title = 	 "The cuevideo spoken media retrieval system",
  institution =  "IBM Research Division",
  year = 	 1999,
  number =	 "IBM Research Report: RJ 10143",
  note =	 "No.95018"
}

Hoeffding inequalities for join-selectivity estimation and online aggregation, Peter J. Haas
@TechReport{ibm-rj-10157,
  author = 	 "Peter J. Haas",
  title = 	 "Hoeffding inequalities for join-selectivity
		  estimation and online aggregation",
  institution =  "IBM Research Division",
  year = 	 1999,
  number =	 "IBM Research Report: RJ 10157",
  note =	 "No.95032"
}