Invisibility and Readability of Temporally and Spatially Intensity-Modulated Metaimage for Information Hiding on Digital Signage Display System von Unno, Hiroshi, Uehira, Kazutake

Volltext

Display Technique for Embedding Information in Real Object Images Using Temporally and Spatially Luminance-Modulated Light von Unno, Hiroshi, Uehira, Kazutake

Volltext

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

Volltext

Software model-checking as cyclic-proof search von Tsukada, Takeshi, Unno, Hiroshi

Volltext

Automating Induction for Solving Horn Clauses von Unno, Hiroshi, Torii, Sho, Sakamoto, Hiroki

Volltext

Optimal CHC Solving via Termination Proofs von Gu, Yu, Tsukada, Takeshi, Unno, Hiroshi

Volltext

Temporal Verification of Programs via First-Order Fixpoint Logic von Kobayashi, Naoki, Nishikawa, Takeshi, Igarashi, Atsushi, Unno, Hiroshi

Volltext

A New Displaying Technology for Information Hiding Using Temporally Brightness Modulated Pattern von Unno, Hiroshi, Yamkum, Ronnaporn, Bunporn, Chutharat, Uehira, Kazutake

Volltext

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

Volltext

Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs von Matsumoto, Yuma, Kobayashi, Naoki, Unno, Hiroshi

Volltext

Invisible and Readable Checkerboard as Watermark With Temporally Brightness Modulation von Unno, Hiroshi, Uehira, Kazutake

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

Lighting Technique for Attaching Invisible Information Onto Real Objects Using Temporally and Spatially Color-Intensity Modulated Light von Unno, Hiroshi, Uehira, Kazutake

Volltext

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

Volltext

Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs von Kuwahara, Takuya, Sato, Ryosuke, Unno, Hiroshi, Kobayashi, Naoki

Volltext

Relatively complete refinement type system for verification of higher-order non-deterministic programs von Unno, Hiroshi, Satake, Yuki, Terauchi, Tachio

Volltext

Verification of Tree-Processing Programs via Higher-Order Model Checking von Unno, Hiroshi, Tabuchi, Naoshi, Kobayashi, Naoki

Volltext

Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification von Sekiyama, Taro, Unno, Hiroshi

Volltext

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System von Kura, Satoshi, Unno, Hiroshi

Volltext