Naoshi Tabuchi

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 0

Top Topics

Multi Dimensional

Lambda Calculus

Tree Structures

Information Processing

Top Venues

Math. Struct. Comput. Sci.

Publications

Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
Verification of tree-processing programs via higher-order mode checking. Math. Struct. Comput. Sci. 25 (4) (2015)
Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno
Higher-order multi-parameter tree transducers and recursion schemes for program verification. POPL (2010)
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
Verification of Tree-Processing Programs via Higher-Order Model Checking. APLAS (2010)
Sachiko Yoshihama, Takaaki Tateishi, Naoshi Tabuchi, Tsutomu Matsumoto
Information-Flow-Based Access Control for Web Browsers. IEICE Trans. Inf. Syst. (5) (2009)
Takaaki Tateishi, Hisashi Miyashita, Naoshi Tabuchi, Shin Saito, Kouichi Ono
DHTML Accessibility Checking Based on Static JavaScript Analysis. HCI (7) (2007)
Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. APSEC (2007)
Takaaki Tateishi, Naoshi Tabuchi
Secure Behavior of Web Browsers to Prevent Information Leakages. APSEC (2007)
Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi
An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. DATE (2006)
Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura
Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. ECMDA-FA (2005)
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
Regular Expression Types for Strings in a Text Processing Language. Electron. Notes Theor. Comput. Sci. 75 (2002)