Search the dblp DataBase
James R. Bitner :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
James R. Bitner Heuristics That Dynamically Organize Data Structures. [Citation Graph (4, 0)][DBLP ] SIAM J. Comput., 1979, v:8, n:1, pp:82-110 [Journal ] James R. Bitner , Edward M. Reingold Backtrack Programming Techniques. [Citation Graph (2, 0)][DBLP ] Commun. ACM, 1975, v:18, n:11, pp:651-656 [Journal ] James R. Bitner , Shou-Hsuan Stephen Huang Key Comparison Optimal 2-3 Trees with Maximum Utilization. [Citation Graph (1, 0)][DBLP ] SIAM J. Comput., 1981, v:10, n:3, pp:558-570 [Journal ] James R. Bitner , Jawahar Jain , Magdy S. Abadir , Jacob A. Abraham , Donald S. Fussell Efficient Algorithmic Circuit Verification Using Indexed BDDs. [Citation Graph (0, 0)][DBLP ] FTCS, 1994, pp:266-275 [Conf ] Jawahar Jain , Dinos Moundanos , James R. Bitner , Jacob A. Abraham , Donald S. Fussell , Don E. Ross Efficient variable ordering and partial representation algorithm. [Citation Graph (0, 0)][DBLP ] VLSI Design, 1995, pp:81-86 [Conf ] James R. Bitner , Gideon Ehrlich , Edward M. Reingold Efficient Generation of the Binary Reflected Gray Code and Its Applications. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1976, v:19, n:9, pp:517-521 [Journal ] James L. Peterson , James R. Bitner , John H. Howard The Selection of Optimal Tab Settings. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1978, v:21, n:12, pp:1004-1007 [Journal ] Jawahar Jain , Jacob A. Abraham , James R. Bitner , Donald S. Fussell Probabilistic Verification of Boolean Functions. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1992, v:1, n:1, pp:61-115 [Journal ] James R. Bitner Storing Matrices on Disk for Efficient Row and Column Retrieval. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1985, v:20, n:5, pp:249-254 [Journal ] James R. Bitner An Asymptotically Optimal Algorithm for the Dutch National Flag Problem. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1982, v:11, n:2, pp:243-262 [Journal ] James R. Bitner , C. K. Wong Optimal and Near-Optimal Scheduling Algorithms for Batched Processing in Linear Storage. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1979, v:8, n:4, pp:479-498 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1997, v:46, n:11, pp:1230-1245 [Journal ] Search in 0.001secs, Finished in 0.002secs