dblp.uni-trier.dewww.uni-trier.de

James R. Bitner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
11EEJawahar 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)

Coauthor Index

1Magdy S. Abadir [10] [12]
2Jacob A. Abraham [9] [10] [11] [12]
3Gideon Ehrlich [2]
4Donald S. Fussell [9] [10] [11] [12]
5John H. Howard [3]
6Shou-Hsuan Stephen Huang [6]
7Jawahar Jain [9] [10] [11] [12]
8Dinos Moundanos [11]
9James L. Peterson [3]
10Edward M. Reingold [1] [2]
11Don E. Ross [11]
12Chak-Kuen Wong (C. K. Wong) [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)