Tilman Kolks

According to our database, Tilman Kolks authored at least 5 papers between 1993 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Control resynthesis for control-dominated asynchronous designs.

Tilman Kolks, Steven Vercauteren, Bill Lin

Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '96), 1996

1995

Modeling and optimization of hierarchical synchronous circuits.

Bill Lin, Gjalt G. de Jong, Tilman Kolks

Proceedings of the 1995 European Design and Test Conference, 1995

Hierarchical Optimization of Asynchronous Circuits.

Bill Lin, Gjalt G. de Jong, Tilman Kolks

Proceedings of the 32st Conference on Design Automation, 1995

1994

A Time Abstraction Method for Efficient Verification of Communicating Systems.

Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man

Proceedings of the 31st Conference on Design Automation, 1994

1993

Sizing and verification of communication buffers for communicating processes.

Tilman Kolks, Bill Lin, Hugo De Man

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993