| |
| 2006 | ||
|---|---|---|
| 4 | EE | Mike Stannett: The case for hypercomputation. Applied Mathematics and Computation 178(1): 8-24 (2006) |
| 3 | EE | Mike Stannett: Simulation testing of automata. Formal Asp. Comput. 18(1): 31-41 (2006) |
| 1994 | ||
| 2 | Mike Stannett: Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. Formal Asp. Comput. 6(6): 696-715 (1994) | |
| 1990 | ||
| 1 | Mike Stannett: X-Machines and the Halting Problem: Building a Super-Turing Machine. Formal Asp. Comput. 2(4): 331-341 (1990) | |