dblp.uni-trier.dewww.uni-trier.de

Andrew Kay

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
6EETakashi 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: 151-155
1999
5EERyoji 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: 193-
4EEAkihisa Yamada, Koichi Nishida, Ryoji Sakurai, Andrew Kay, Toshio Nomura, Takashi Kambe: Hardware synthesis with the Bach system. ISCAS (6) 1999: 366-369
1995
3 Adrian Lawrence, Andrew Kay, Wayne Luk, Toshio Nomura, Ian Page: Using Reconfigurable Hardware to Speed up Product Development and Performance. FPL 1995: 111-118
1993
2EEAndrew 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): 625-639 (1993)
1992
1 Andrew Kay, Peter Lupton: Sequential to Parallel Buffer Refinement (Short Communication). Formal Asp. Comput. 4(5): 487-492 (1992)

Coauthor Index

1Paul Boca [6]
2Tetsuya Fujimoto [5]
3Takashi Kambe [4] [5] [6]
4Adrian Lawrence [3]
5Wayne Luk [3]
6Peter Lupton [1]
7Koichi Nishida [4] [6]
8Toshio Nomura [3] [4] [6]
9Mitsuhisa Ohnishi [6]
10Kazuhisa Okada [6]
11Ian Page [3]
12Joy N. Reed [2]
13Ryoji Sakurai [4] [5]
14Mizuki Takahashi [5]
15Akihisa Yamada [4] [5] [6]
16Vince Zammit [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)