Paul Hylander

According to our database, Paul Hylander authored at least 2 papers between 1994 and 2015.

Collaborative distances:

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

2015

Compositional Reasoning Gotchas in Practice.

Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal

Proceedings of the Formal Methods in Computer-Aided Design, 2015

1994

A Pulse Coded Winner-Take-All Circuit.

Jack L. Meador, Paul Hylander

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994