Tilman Kolks

Publication Activity (10 Years)

Years Active: 1993-1996
Publications (10 Years): 0

Publications

Tilman Kolks, Steven Vercauteren, Bill Lin
Control resynthesis for control-dominated asynchronous designs. ASYNC (1996)
Bill Lin, Gjalt G. de Jong, Tilman Kolks
Modeling and optimization of hierarchical synchronous circuits. ED&TC (1995)
Bill Lin, Gjalt G. de Jong, Tilman Kolks
Hierarchical Optimization of Asynchronous Circuits. DAC (1995)
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)
Tilman Kolks, Bill Lin, Hugo De Man
Sizing and verification of communication buffers for communicating processes. ICCAD (1993)