A Multiple Blockchains Architecture on Inter-Blockchain Communication. - Kan Luo; Wei Yu; Muhammad Amjad Hafiz; Siyuan Wang; Linchao Gao; Kai Hu 004 (QRS Companion, 2018)

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. - Muhammad Amjad Hafiz; Kai Hu 004; Jianwei Niu 002; Noor Khan; Loïc Besnard; Jean-Pierre Talpin (SKG, 2019)