W. Ploegaerts

According to our database, W. Ploegaerts authored at least 3 papers between 1989 and 1991.

Collaborative distances:

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

1991

Defining Recursive Functions in HOL.

W. Ploegaerts, Luc J. M. Claesen, Hugo De Man

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1989

Description and verification of more-dimensional regular and non-homogeneous structures using a functional hardware description language.

W. Ploegaerts, Diederik Verkest, Luc Claesen, Hugo De Man

Microprocessing and Microprogramming, 1989

Application of system semantics to VLSI for the transformational design of a parameterized booth multiplier module - a case study.

Luc Claesen, R. T. Boute, J. De Man, W. Ploegaerts, M. Seutter, J. Vanslembrouck, Diederik Verkest

Microprocessing and Microprogramming, 1989