| 2021 | PIMRC | Data Traffic Offloading and Rate Control for Vehicles Using Radio Environment, Network Load and Route Planning. | Takeo Ohseki, Kosuke Yamazaki, Daiki Maemoto, Shigeki Kawai, Tsuneo Nakata, Akira Itou |
| 2014 | VTC | Precise Location by Fingerprinting Road Segments with Variation of Wireless Reception. | Tsuneo Nakata, Shigeki Kawai |
| 2005 | DATE | Integrating UML into SoC Design Process. | Qiang Zhu, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata |
| 2002 | VLSID | Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). | Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan |
| 2000 | ASPDAC | Formal verification based on assume and guarantee approach - a case study (short paper). | Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata |
| 2000 | VLSID | Dataflow Analysis for Resource Contention and Register Leakage Properties. | Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata |
| 1998 | ICCD | An approach to verify a large scale system-on-a-chip using symbolic model checking. | Koichiro Takayama, Taizo Satoh, Tsuneo Nakata, Fumiyasu Hirose |
| 1997 | ICCAD | Forward model checking techniques oriented to buggy designs. | Hiroaki Iwashita, Tsuneo Nakata |
| 1996 | ICCAD | CTL model checking based on forward state traversal. | Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose |
| 1994 | ICCAD | Automatic test program generation for pipelined processors. | Hiroaki Iwashita, Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose |