国際会議
[1] Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, and Yasutaka Kamei, "Abstraction-Aware Verifying Compiler for Yet Another Mdd," In 29th International Conference on Automated Software Engineering (ASE 2014), pages 557-562, 2014.
[2] Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, and Satoshi Murakami, "Model Compiler Construction Based on Aspect-Oriented Mechanisms," In 4th ACM SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE 2005), volume 3676, pages 109-124, 2005.