1. Trustworthy Codesign by Verifiable Transformations;2024 IEEE International Test Conference in Asia (ITC-Asia);2024-08-18
2. An integrated system for developing regular array designs;Journal of Systems Architecture;2001-04
3. Compiling Ruby into FPGAs;Field-Programmable Logic and Applications;1995
4. Systematic serialisation of array-based architectures;Integration;1993-02
5. Pipelining and transposing heterogeneous array designs;Journal of VLSI signal processing systems for signal, image and video technology;1993-01