| 2007 | ||
|---|---|---|
| 3 | Sarah Thompson, Alan Mycroft: Abstract interpretation of combinational asynchronous circuits. Sci. Comput. Program. 64(1): 166-183 (2007) | |
| 2006 | ||
| 2 | Sarah Thompson, Alan Mycroft: Bit-level partial evaluation of synchronous circuits. PEPM 2006: 29-37 | |
| 2004 | ||
| 1 | Sarah Thompson, Alan Mycroft: Abstract Interpretation of Combinational Asynchronous Circuits. SAS 2004: 181-196 | |
| 1 | Alan Mycroft | [1] [2] [3] |