Backtrack Programming Techniques. - James R. Bitner; Edward M. Reingold (Commun. ACM, 1975)

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

Heuristics That Dynamically Alter Data Structures to Reduce Their Access Time - James R. Bitner (1976)

The Selection of Optimal Tab Settings. - James L. Peterson; James R. Bitner; John H. Howard (Commun. ACM, 1978)

Heuristics That Dynamically Organize Data Structures. - James R. Bitner (SIAM J. Comput., 1979)

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

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

An Asymptotically Optimal Algorithm for the Dutch National Flag Problem. - James R. Bitner (SIAM J. Comput., 1982)

Storing Matrices on Disk for Efficient Row and Column Retrieval. - James R. Bitner (Inf. Process. Lett., 1985)

Probabilistic Design Verification. - Jawahar Jain; James R. Bitner; Donald S. Fussell; Jacob A. Abraham (ICCAD, 1991)

Probabilistic Verification of Boolean Functions. - Jawahar Jain; Jacob A. Abraham; James R. Bitner; Donald S. Fussell (Formal Methods Syst. Des., 1992)

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

A new scheme to compute variable orders for binary decision diagrams. - Jawahar Jain; James R. Bitner; Dinos Moundanos; Jacob A. Abraham; Donald S. Fussell (Great Lakes Symposium on VLSI, 1994)

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

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