| 1997 |
|---|
| 12 | | 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) |
| 1995 |
|---|
| 11 | EE | 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 |
| 1994 |
|---|
| 10 | | 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 |
| 1992 |
|---|
| 9 | | 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) |
| 1985 |
|---|
| 8 | | James R. Bitner:
Storing Matrices on Disk for Efficient Row and Column Retrieval.
Inf. Process. Lett. 20(5): 249-254 (1985) |
| 1982 |
|---|
| 7 | | James R. Bitner:
An Asymptotically Optimal Algorithm for the Dutch National Flag Problem.
SIAM J. Comput. 11(2): 243-262 (1982) |
| 1981 |
|---|
| 6 | | James R. Bitner,
Shou-Hsuan Stephen Huang:
Key Comparison Optimal 2-3 Trees with Maximum Utilization.
SIAM J. Comput. 10(3): 558-570 (1981) |
| 1979 |
|---|
| 5 | | James R. Bitner:
Heuristics That Dynamically Organize Data Structures.
SIAM J. Comput. 8(1): 82-110 (1979) |
| 4 | | 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) |
| 1978 |
|---|
| 3 | | James L. Peterson,
James R. Bitner,
John H. Howard:
The Selection of Optimal Tab Settings.
Commun. ACM 21(12): 1004-1007 (1978) |
| 1976 |
|---|
| 2 | | 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) |
| 1975 |
|---|
| 1 | | James R. Bitner,
Edward M. Reingold:
Backtrack Programming Techniques.
Commun. ACM 18(11): 651-656 (1975) |
