7 citations · 10 across the 5 of their papers we have counts for
8 papers
Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers
Kenji Hashimoto, Sebastian Maneth
It is well known that attributed tree transducers can be equipped with "regular look-around" in order to obtain a more robust class of translations. We present two characterization…
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions
Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama +7
A rep-tile is a polygon that can be dissected into smaller copies (of the same size) of the original polygon. A polyomino is a polygon that is formed by joining one or more unit sq…
Extensions of maximal symplectic actions on K3 surfaces
Simon Brandhorst, Kenji Hashimoto
We classify pairs consisting of a complex K3 surface and a finite group such that the subgroup consisting of symplectic automorphisms is a…
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Quantitative information flow (QIF) is traditionally defined as the expected value of information leakage over all feasible program runs and it fails to identify vulnerable program…
Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
A program is non-interferent if it leaks no secret information to an observable output. However, non-interference is too strict in many practical cases and quantitative information…
Reconstruction of general elliptic K3 surfaces from their Gromov-Hausdorff limits
Kenji Hashimoto, Kazushi Ueda
We show that a general elliptic K3 surface with a section is determined uniquely by its discriminant, which is a configuration of 24 points on the projective line. It follows that…