Andrew Kay

According to our database, Andrew Kay authored at least 7 papers between 1992 and 2018.

Collaborative distances:

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

2018

Discovering Missing Stages in the Teaching of Algorithm Analysis: an APOS-based study.

Andrew Kay, Shun Ha Sylvia Wong

Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 2018

2001

A C-based synthesis system, Bach, and its application (invited talk).

Takashi Kambe, Akihisa Yamada, Koichi Nishida, Kazuhisa Okada, Mitsuhisa Ohnishi, Andrew Kay, Paul Boca, Vince Zammit, Toshio Nomura

Proceedings of ASP-DAC 2001, 2001

1999

Hardware synthesis with the Bach system.

Akihisa Yamada, Koichi Nishida, Ryoji Sakurai, Andrew Kay, Toshio Nomura, Takashi Kambe

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

A Scheduling Method for Synchronous Communication in the Bach Hardware Compiler.

Ryoji Sakurai, Mizuki Takahashi, Andrew Kay, Akihisa Yamada, Tetsuya Fujimoto, Takashi Kambe

Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

1995

Using Reconfigurable Hardware to Speed up Product Development and Performance.

Adrian Lawrence, Andrew Kay, Wayne Luk, Toshio Nomura, Ian Page

Proceedings of the Field-Programmable Logic and Applications, 5th International Workshop, 1995

1993

A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.

Andrew Kay, Joy N. Reed

IEEE Trans. Software Eng., 1993

1992

Sequential to Parallel Buffer Refinement (Short Communication).

Andrew Kay, Peter Lupton

Formal Aspects Comput., 1992