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.
Research Interest: Term rewriting systems, process algebras. Biography: 1987.3 B.E. in Applied Physics from Nagoya Univ.
It was originally written by Antonino Daplas, and is now maintained by Ken Mano. i810switch is released under the GNU GPL v.2. Contact: Ken Mano <mano at agate.plala.or.jp>
[1] Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, and Yasuyuki Tsukada, Theorem-proving anonymity of infinite-state systems, Information Processing Letters, Vol. 101, Issue 1 ...
Yusuke Kawamoto, Ken Mano, Hideki Sakurada, and Masami Hagiya. Partial Knowledge of Cryptographic Functions for the Verification of Anonymity in Epistemic Logic.
Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen, "Name-passing style GUI programming in the pi-calculus-based network language Nepi ...
Research Interest: Term rewriting systems, process algebras. Biography: 1987.3 B.E. in Applied Physics from Nagoya Univ.
[1] Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, and Yasuyuki Tsukada, Theorem-proving anonymity of infinite-state systems, Information Processing Letters, Vol. 101, Issue ...
It was originally written by Antonino Daplas, and is now maintained by Ken Mano. i810switch is released under the GNU GPL v.2. Contact: Ken Mano <mano at agate.plala.or.jp
Linkedin