| |
| 1995 | ||
|---|---|---|
| 3 | EE | Bill Lin, Gjalt G. de Jong, Tilman Kolks: Hierarchical Optimization of Asynchronous Circuits. DAC 1995: 712-717 |
| 1994 | ||
| 2 | EE | Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man: A Time Abstraction Method for Efficient Verification of Communicating Systems. DAC 1994: 609-614 |
| 1993 | ||
| 1 | EE | Tilman Kolks, Bill Lin, Hugo De Man: Sizing and verification of communication buffers for communicating processes. ICCAD 1993: 660-664 |
| 1 | Gjalt G. de Jong | [2] [3] |
| 2 | Bill Lin | [1] [2] [3] |
| 3 | Hugo De Man | [1] [2] |
| 4 | Eric Verlind | [2] |