Andrew Kay

Publication Activity (10 Years)

Years Active: 1992-2018
Publications (10 Years): 1

Top Topics

Complexity Analysis

Recognition Algorithm

Experimental Study

Top Venues

Publications

Andrew Kay, Shun Ha Sylvia Wong
Discovering Missing Stages in the Teaching of Algorithm Analysis: an APOS-based study. Koli Calling (2018)
Takashi Kambe, Akihisa Yamada, Koichi Nishida, Kazuhisa Okada, Mitsuhisa Ohnishi, Andrew Kay, Paul Boca, Vince Zammit, Toshio Nomura
A C-based synthesis system, Bach, and its application (invited talk). ASP-DAC (2001)
Ryoji Sakurai, Mizuki Takahashi, Andrew Kay, Akihisa Yamada, Tetsuya Fujimoto, Takashi Kambe
A Scheduling Method for Synchronous Communication in the Bach Hardware Compiler. ASP-DAC (1999)
Akihisa Yamada, Koichi Nishida, Ryoji Sakurai, Andrew Kay, Toshio Nomura, Takashi Kambe
Hardware synthesis with the Bach system. ISCAS (6) (1999)
Adrian Lawrence, Andrew Kay, Wayne Luk, Toshio Nomura, Ian Page
Using Reconfigurable Hardware to Speed up Product Development and Performance. FPL (1995)
Andrew Kay, Joy N. Reed
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. IEEE Trans. Software Eng. 19 (6) (1993)
Andrew Kay, Peter Lupton
Sequential to Parallel Buffer Refinement (Short Communication). Formal Aspects Comput. 4 (5) (1992)