![]() | ![]() |
1994 | ||
---|---|---|
4 | Mark A. Heap, M. Ray Mercer: Least Upper Bounds an OBDD Sizes. IEEE Trans. Computers 43(6): 764-767 (1994) | |
1993 | ||
3 | EE | Mark A. Heap: On the exact ordered binary decision diagram size of totally symmetric functions. J. Electronic Testing 4(2): 191-195 (1993) |
1992 | ||
2 | Mark A. Heap, William A. Rogers, M. Ray Mercer: A Synthesis Algorithm for Two-Level XOR Based Circuits. ICCD 1992: 459-463 | |
1989 | ||
1 | Mark A. Heap, William A. Rogers: Generating Single-Sstuck-Fault Coverage from a Collapsed-Fault Set. IEEE Computer 22(4): 51-57 (1989) |
1 | M. Ray Mercer | [2] [4] |
2 | William A. Rogers | [1] [2] |