On Lookaheads in Regular Expressions with Backreferences von CHIDA, Nariyoshi, TERAUCHI, Tachio

Volltext

Repairing Regular Expressions for Extraction von Chida, Nariyoshi, Terauchi, Tachio

Volltext

Repairing DoS Vulnerability of Real-World Regexes von Chida, Nariyoshi, Terauchi, Tachio

Volltext

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification von Unno, Hiroshi, Terauchi, Tachio, Gu, Yu, Koskinen, Eric

Volltext

Automated verification of higher-order functional programs von Terauchi, Tachio

Volltext

Roll Hardness Committee Report von TAKANO, Tachio

Volltext

Quantitative information flow as safety and liveness hyperproperties von Yasuoka, Hirotoshi, Terauchi, Tachio

Volltext

Bucketing and information flow analysis for provable timing attack mitigation von Terauchi, Tachio, Antonopoulos, Timos

Volltext

Failure of Cut-Elimination in Cyclic Proofs of Separation Logic von Daisuke, KIMURA, Koji, NAKAZAWA, Tachio, TERAUCHI, Hiroshi, UNNO

Volltext

On Predicate Refinement Heuristics in Program Verification with CEGAR: Invited Presentation at the 3rd Workshop on Horn Clauses for Verification and Synthesis von Terauchi, Tachio

Volltext

Statistical analysis of the thickness and biomechanical properties of Japanese children’s skulls von Torimitsu, Suguru, Nishida, Yoshifumi, Takano, Tachio, Yajima, Daisuke, Inokuchi, Go, Makino, Yohsuke, Motomura, Ayumi, Chiba, Fumiko, Yamaguchi, Rutsuko, Hoshioka, Yumi, Iwase, Hirotaro

Volltext

Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers von Kawamata, Fuga, Unno, Hiroshi, Sekiyama, Taro, Terauchi, Tachio

Volltext

Compositional Synthesis of Leakage Resilient Programs von Blot, Arthur, Yamamoto, Masaki, Terauchi, Tachio

Volltext

Secure Information Flow as a Safety Problem von Terauchi, Tachio, Aiken, Alex

Volltext

Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling von Unno, Hiroshi, Terauchi, Tachio

Volltext

Automatic Termination Verification for Higher-Order Functional Programs von Kuwahara, Takuya, Terauchi, Tachio, Unno, Hiroshi, Kobayashi, Naoki

Volltext

“Speak Like Singing, and You Don't Stutter”: Reading Nobuo Kojima's “Kitsuon-gakuin” von Tachio, Makoto

Volltext

Differences in biomechanical properties and thickness among frontal and parietal bones in a Japanese sample von Torimitsu, Suguru, Nishida, Yoshifumi, Takano, Tachio, Yajima, Daisuke, Inokuchi, Go, Makino, Yohsuke, Motomura, Ayumi, Chiba, Fumiko, Yamaguchi, Rutsuko, Hashimoto, Mari, Hoshioka, Yumi, Iwase, Hirotaro

Volltext

Arthroscopic Reconstruction of the Anterior Talofibular Ligament, Lateral Talocalcaneal Ligament, and Calcaneofibular Ligament Using a Triangle-Shaped Tendon Graft (ALC-Triangle) von Higashiyama, Reiji, Sekiguchi, Hiroyuki, Takata, Ken, Endo, Tachio, Takaso, Masashi

Volltext

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement von Terauchi, Tachio, Unno, Hiroshi

Volltext