The SCEAS System
| |||||||

## 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.002secs, Finished in 0.002secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |