Sizing and verification of communication buffers for communicating processes. - Tilman Kolks; Bill Lin 001; Hugo De Man (ICCAD, 1993)

A Time Abstraction Method for Efficient Verification of Communicating Systems. - Eric Verlind; Tilman Kolks; Gjalt G. de Jong; Bill Lin 001; Hugo De Man (DAC, 1994)

Hierarchical Optimization of Asynchronous Circuits. - Bill Lin 001; Gjalt G. de Jong; Tilman Kolks (DAC, 1995)

Modeling and optimization of hierarchical synchronous circuits. - Bill Lin 001; Gjalt G. de Jong; Tilman Kolks (ED&TC, 1995)

Control resynthesis for control-dominated asynchronous designs. - Tilman Kolks; Steven Vercauteren; Bill Lin 001 (ASYNC, 1996)