| Higher-order multi-parameter tree transducers and recursion schemes for program verification N Kobayashi, N Tabuchi, H Unno ACM Sigplan Notices 45 (1), 495-508, 2010 | 97 | 2010 |
| Systems, methods and computer program products for string analysis with security labels for vulnerability detection K Ono, M Saito, N Tabuchi, T Tateishi US Patent 7,530,107, 2009 | 52 | 2009 |
| Regular expression types for strings in a text processing language N Tabuchi, E Sumii, A Yonezawa Electronic Notes in Theoretical Computer Science 75, 95-113, 2003 | 40 | 2003 |
| Verification of tree-processing programs via higher-order model checking H Unno, N Tabuchi, N Kobayashi Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai …, 2010 | 26 | 2010 |
| System, method, and program for determining validity of string YA Haviv, M Pistoia, N Tabuchi, T Tateishi US Patent 8,365,280, 2013 | 25 | 2013 |
| Information-flow-based access control for web browsers S Yoshihama, T Tateishi, N Tabuchi, T Matsumoto IEICE transactions on information and systems 92 (5), 836-850, 2009 | 15 | 2009 |
| Model-driven performance analysis of UML design models based on stochastic process algebra N Tabuchi, N Sato, H Nakamura Model Driven Architecture–Foundations and Applications: First European …, 2005 | 12 | 2005 |
| An efficient and portable scheduler for rtos simulation and its certified integration to systemc H Nakamura, N Sato, N Tabuchi Proceedings of the Design Automation & Test in Europe Conference 1, 1-2, 2006 | 9 | 2006 |
| System and method for deriving stochastic performance evaluation model from annotated UML design model H Nakamura, N Sato, N Tabuchi US Patent 7,788,636, 2010 | 7 | 2010 |
| System simulation using multi-tasking computer code H Nakamura, N Sato, N Tabuchi, H Ishikawa US Patent 7,747,426, 2010 | 6 | 2010 |
| Reducing unnecessary conservativeness in access rights analysis with string analysis M Koganeyama, N Tabuchi, T Tateishi 14th Asia-Pacific Software Engineering Conference (APSEC'07), 438-445, 2007 | 4 | 2007 |
| Secure behavior of web browsers to prevent information leakages T Tateishi, N Tabuchi 14th Asia-Pacific Software Engineering Conference (APSEC'07), 65-72, 2007 | 3 | 2007 |
| System for determining whether screen displayed by program satisfies specification T Tateishi, H Miyashita, A Tozawa, S Saito, N Tabuchi US Patent 7,849,404, 2010 | 2 | 2010 |
| System for determining whether screen displayed by program satisfies specification T Tateishi, H Miyashita, A Tozawa, S Saito, N Tabuchi US Patent 7,849,404, 2010 | 2 | 2010 |
| Verification of tree-processing programs via higher-order mode checking H Unno, N Tabuchi, N Kobayashi Mathematical Structures in Computer Science 25 (4), 841-866, 2015 | 1 | 2015 |
| Inference of tree data structure invariant based on language identification from samples N Tabuchi, N Kobayashi, H Unno | 1 | 2011 |
| System for determining whether screen displayed by program satisfies specification T Tateishi, H Miyashita, A Tozawa, S Saito, N Tabuchi US Patent App. 12/056,952, 2008 | | 2008 |
| Regular Expression Types for Strings in a Text Processing Language: Proofs of the Theorems (Draft) N Tabuchi, E Sumii, A Yonezawa | | 2003 |
Hiroshi UnnoTohoku UniversityVerified email at acm.org
