People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Yasuhiko Minamide and Akihiko Tozawa Private row types: abstracting the unnamed Jacques Garrigue A Practical String Analyzer by the Widening Approach
On BinaryTree Logic for XML and Its Satisfiability Test Akihiko Tozawa IBM Research, Tokyo Research Laboratory, 242-8502, Shimotsuruma 1623-14, Yamato-shi, Kanagawa, Japan atozawa@jp ...
Yasuhiko Minamide and Akihiko Tozawa. A Practical String Analyzer by the Widening Approach Tae-Hyoung Choi, Hyun-Ha Kim, Oukseh Lee and Kyung-Goo Doh
Akihiko Tozawa: 15:30--16:30: A Computational Approach to Pocklington Certificates in Type Theory Benjamin Gregoire, Laurent Thery, Benjamin Werner
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya A Decision Procedure for Alternation-free Two-way Modal mu-calculus
Yasuhiko Minamide and Akihiko Tozawa Private row types: abstracting the unnamed Jacques Garrigue A Practical String Analyzer by the Widening Approach
On BinaryTree Logic for XML and Its Satisfiability Test Akihiko Tozawa IBM Research, Tokyo Research Laboratory, 242-8502, Shimotsuruma 1623-14, Yamato-shi, Kanagawa, Japan ...
Yasuhiko Minamide and Akihiko Tozawa. A Practical String Analyzer by the Widening Approach Tae-Hyoung Choi, Hyun-Ha Kim, Oukseh Lee and Kyung-Goo Doh
Linkedin