James R. Bitner

Jawahar Jain, James R. Bitner, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell: Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions. IEEE Trans. Computers 46(11): 1230-1245 (1997)

Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross: Efficient variable ordering and partial representation algorithm. VLSI Design 1995: 81-86

James R. Bitner, Jawahar Jain, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell: Efficient Algorithmic Circuit Verification Using Indexed BDDs. FTCS 1994: 266-275

Jawahar Jain, Jacob A. Abraham, James R. Bitner, Donald S. Fussell: Probabilistic Verification of Boolean Functions. Formal Methods in System Design 1(1): 61-115 (1992)

James R. Bitner: Storing Matrices on Disk for Efficient Row and Column Retrieval. Inf. Process. Lett. 20(5): 249-254 (1985)

James R. Bitner: An Asymptotically Optimal Algorithm for the Dutch National Flag Problem. SIAM J. Comput. 11(2): 243-262 (1982)

James R. Bitner, Shou-Hsuan Stephen Huang: Key Comparison Optimal 2-3 Trees with Maximum Utilization. SIAM J. Comput. 10(3): 558-570 (1981)

James R. Bitner: Heuristics That Dynamically Organize Data Structures. SIAM J. Comput. 8(1): 82-110 (1979)

James R. Bitner, C. K. Wong: Optimal and Near-Optimal Scheduling Algorithms for Batched Processing in Linear Storage. SIAM J. Comput. 8(4): 479-498 (1979)

James L. Peterson, James R. Bitner, John H. Howard: The Selection of Optimal Tab Settings. Commun. ACM 21(12): 1004-1007 (1978)

James R. Bitner, Gideon Ehrlich, Edward M. Reingold: Efficient Generation of the Binary Reflected Gray Code and Its Applications. Commun. ACM 19(9): 517-521 (1976)

James R. Bitner, Edward M. Reingold: Backtrack Programming Techniques. Commun. ACM 18(11): 651-656 (1975)