Sarah Thompson

	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

Coauthor Index

1

Alan Mycroft

[1] [2] [3]