Naoshi Tabuchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | APLAS | Verification of Tree-Processing Programs via Higher-Order Model Checking. | Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi |
| 2010 | POPL | Higher-order multi-parameter tree transducers and recursion schemes for program verification. | Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno |
| 2007 | APSEC | Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. | Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi |
| 2007 | APSEC | Secure Behavior of Web Browsers to Prevent Information Leakages. | Takaaki Tateishi, Naoshi Tabuchi |
| 2007 | HCI | DHTML Accessibility Checking Based on Static JavaScript Analysis. | Takaaki Tateishi, Hisashi Miyashita, Naoshi Tabuchi, Shin Saito, Kouichi Ono |
| 2006 | DATE | An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. | Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi |