James R. Bitner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Probabilistic verification of Boolean functions Formal Methods in System Design	1993-09-30	Paper
Storing matrices on disk for efficient row and column retrieval Information Processing Letters	1985-01-01	Paper
An Asymptotically Optimal Algorithm for the Dutch National Flag Problem SIAM Journal on Computing	1982-01-01	Paper
Key Comparison Optimal 2-3 Trees with Maximum Utilization SIAM Journal on Computing	1981-01-01	Paper
Heuristics That Dynamically Organize Data Structures SIAM Journal on Computing	1979-01-01	Paper
The selection of optimal tab settings Communications of the ACM	1978-01-01	Paper
scientific article; zbMATH DE number 3648099 (Why is no real title available?)	1977-01-01	Paper
Capacity and Efficiency of Decision Functions IEEE Transactions on Computers	1977-01-01	Paper
Efficient generation of the binary reflected gray code and its applications Communications of the ACM	1976-01-01	Paper
Backtrack programming techniques Communications of the ACM	1975-01-01	Paper
scientific article; zbMATH DE number 3523577 (Why is no real title available?)	1975-01-01	Paper

Research outcomes over time

This page was built for person: James R. Bitner