Hashimoto Kenji

发表

Schema update operations preserving the expressive power in XML databases

Hashimoto Kenji, Ishihara Yasunori, Fujiwara Toru, 2004 .

NDT abstractMonte Carlo simulation model of x-ray NDT for an arbitrary shape of body: Fifth pan pacific conference on nondestructive testing, Vancouver (Canada), Apr. 1987, pp. 127–136. Atomic Energy of Canada Limited, AECL-9394 (Mar. 1987)

Hashimoto Kenji, Kobayashi Nobuo, 1992 .

Security Verification against Attacks using Type Inference on XML Databases

Hashimoto Kenji, Ishihara Yasunori, Fujiwara Toru, 2006 .

On Detecting Useless Transition Rules of Constrained Tree Automata

Nishida Naoki, Sakai Masahiko, Hashimoto Kenji, 2014 .

A Decision Procedure for a Macro Forest Transducer being an Implementation of an XML Schema Mapping

Sakai Masahiko, Hashimoto Kenji, Tabata Hiroaki, 2020 .

Study of Autonomous Door-Handle Operation by a Disaster Response Robot Using RGB-D Camera Image

Ohya Jun, Hashimoto Kenji, Xiao Sun, 2020 .

Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes

Hashimoto Kenji, Ishihara Yasunori, Fujiwara Toru, 2012 .

Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting

Sakai Masahiko, Seki Hiroyuki, Hashimoto Kenji, 2017 .

A Low Cognitive Load and Reduced Motion Sickness Inducing Zoom Method Based on Typical Gaze Movement for Master-Slave Teleoperation Systems with HMD

Hashimoto Kenji, Takanishi Atsuo, Matsuzawa Takashi, 2020 .

Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis

Seki Hiroyuki, Hashimoto Kenji, Nakashima Masato, 2016 .

Local path generation using deep reinforcement learning for four-limbed robots in disaster site

Hashimoto Kenji, Jun Ohya, Takanishi Atsuo, 2019 .

A Direct Update Method for Compressed Data with Top Tree

Seki Hiroyuki, Hashimoto Kenji, Nishimura Suguru, 2017 .

A compiler that translates to Malbolge from a C-language subset containing recursive calls

Nishida Naoki, Sakai Masahiko, Hashimoto Kenji, 2017 .

An Extension of Update Method without Decompression for Compressed Structured Documents and Its Experimental Evaluation

Seki Hiroyuki, Hashimoto Kenji, Goto Takeshi, 2016 .

On the query preservation for nondeterministic tree transducers

Seki Hiroyuki, Hashimoto Kenji, Miyahara Kazuki, 2016 .

Generating XML document transformers according to XML schema evolution based on the tree-embedding relation

Hashimoto Kenji, Ishihara Yasunori, Fujiwara Toru, 2007 .

A Verification Method for k-Secrecy of XML Databases by Model Counting

Seki Hiroyuki, Hashimoto Kenji, Asai Takatoshi, 2015 .

Graph compression by tree grammars and direct evaluation of a node selection query on a compressed graph

Seki Hiroyuki, Hashimoto Kenji, Takeda Takeshi, 2017 .

A Translation from a Fragment of XPath to Deterministic Selecting Tree Automata with Lookahead Using Schemas

Hiroyuki Seki, Hashimoto Kenji, Kawamoto Masaya, 2017 .

A Direct Update Method for XML Documents Including Data Values Compressed by Tree Grammars

Hiroyuki Seki, Hashimoto Kenji, Takayama Ryunosuke, 2016 .

The Validity Problem of Positive XPath Queries in the Presence of DTDs

Hashimoto Kenji, Ishihara Yasunori, Fujiwara Toru, 2010 .

A 7ns-Access-Time 25μW/MHz 128kb SRAM for Low-Power Fast Wake-Up MCU in 65nm CMOS with 27fA/b Retention Current

Hashimoto Kenji, Hojo Takehiko, Miyano Shinji, 2014 .

Translating XPath queries according to XML schema evolution based on the tree-embedding relation

Hashimoto Kenji, Ishihara Yasunori, Fujiwara Toru, 2007 .

A Method of Tree Compression with Top Trees and Direct Query Evaluation

Seki Hiroyuki, Hashimoto Kenji, Nishimura Suguru, 2016 .

A Verification Tool for k-Secrecy of XML Databases and Its Optimization

Seki Hiroyuki, Hashimoto Kenji, Asai Takatoshi, 2016 .

The validity problem of positive XPath queries with sibling axes in the presence of DTDs

Hashimoto Kenji, Ishihara Yasunori, Fujiwara Toru, 2013 .

Query Evaluation and Update on XML Documents Compressed by Tree Grammars

Seki Hiroyuki, Hashimoto Kenji, Ito Minoru, 2014 .

SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems

Nishida Naoki, Sakai Masahiko, Hashimoto Kenji, 2019 .

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

Seki Hiroyuki, Hashimoto Kenji, Miyahara Kazuki, 2012 .