| A quantitative evaluation of maintainability enhancement by refactoring Y Kataoka, T Imai, H Andou, T Fukaya International Conference on Software Maintenance, 2002. Proceedings., 576-585, 2002 | 249 | 2002 |
| Evaluating software maintenance cost using functional redundancy metrics T Imai, Y Kataoka, T Fukaya Proceedings 26th Annual International Computer Software and Applications …, 2002 | 19 | 2002 |
| Source program processing method T Imai US Patent 7,228,530, 2007 | 14 | 2007 |
| Precondition generating apparatus T Imai, M Sakai US Patent 8,707,273, 2014 | 11 | 2014 |
| A pointcut-based assertion for high-level hardware design Y Endoh, T Imai, M Iwamasa, Y Kataoka Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns …, 2008 | 8 | 2008 |
| Verification apparatus and verification method Y Endoh, T Imai, H Kawata, N Kawakatsu US Patent 8,578,308, 2013 | 6 | 2013 |
| An experimental probe into the LUMO of triptycene S Inagaki, T Imai, H Kawata Chemistry Letters 14 (8), 1191-1194, 1985 | 5 | 1985 |
| Pre-condition generation device, post-condition generation device, and method for generating these conditions M Sakai, T Imai US Patent 8,584,093, 2013 | 3 | 2013 |
| Selectivities of Aromatic Methyl Metalation. w Unexpectedly Strong Interactions of Carbanions with Aromatic Rings S Inagaki, T Imai, Y Mori, G Yanagido Interactions, 1989 | 3 | 1989 |
| Model-Checking C Programs against JML-like Specification Language M Sakai, K Maruchi, T Imai 2012 19th Asia-Pacific Software Engineering Conference 1, 174-183, 2012 | 2 | 2012 |
| Property description coverage measuring apparatus T Imai, Y Endoh US Patent 8,037,002, 2011 | 2 | 2011 |
| Program specification estimation device, method of the same, and non-transitory computer readable medium T Imai US Patent App. 14/565,514, 2015 | 1 | 2015 |
| Source program processing method T Imai US Patent 7,886,274, 2011 | 1 | 2011 |
| Apparatus and method for designing system, and computer readable medium T Imai US Patent App. 12/048,503, 2008 | 1 | 2008 |
| Evaluating software maintenance cost using functional redundancy metrics Y Kataoka, T Fukaya, T Imai Proceedings 26th Annual International Computer Software and Applications, 2003 | | 2003 |
