2001 | ||
---|---|---|
3 | Keith T. Knox, Charles Dickinson, Lichao Wei, Roger L. Easton Jr., Robert Johnston: Multispectral Imaging of the Archimedes Palimpsest. PICS 2001: 206-210 | |
1996 | ||
2 | EE | M. Hakan Erdogmus, Robert Johnston, Michael J. Ferguson: On the Operational Semantics of Nondeterminism and Divergence. Theor. Comput. Sci. 159(2): 271-317 (1996) |
1990 | ||
1 | EE | M. Hakan Erdogmus, Robert Johnston: On the Specification and Synthesis of Communicating Processes. IEEE Trans. Software Eng. 16(12): 1412-1426 (1990) |
1 | Charles Dickinson | [3] |
2 | Roger L. Easton Jr. | [3] |
3 | Hakan Erdogmus (M. Hakan Erdogmus) | [1] [2] |
4 | Michael J. Ferguson | [2] |
5 | Keith T. Knox | [3] |
6 | Lichao Wei | [3] |