2008 |
12 | EE | Yoshinobu Kawabe,
Hideki Sakurada:
An Adversary Model for Simulation-Based Anonymity Proof.
IEICE Transactions 91-A(4): 1112-1120 (2008) |
11 | EE | Yoshinobu Kawabe,
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada:
On Backward-Style Anonymity Verification.
IEICE Transactions 91-A(9): 2597-2606 (2008) |
2007 |
10 | EE | Ichiro Hasuo,
Yoshinobu Kawabe:
Probabilistic Anonymity Via Coalgebraic Simulations.
ESOP 2007: 379-394 |
9 | EE | Yoshinobu Kawabe,
Hideki Sakurada:
A Formal Approach to Designing Anonymous Software.
SERA 2007: 203-212 |
8 | EE | Yoshinobu Kawabe,
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada:
Theorem-proving anonymity of infinite-state systems.
Inf. Process. Lett. 101(1): 46-51 (2007) |
2005 |
7 | EE | Atsushi Mizuno,
Ken Mano,
Yoshinobu Kawabe,
Hiroaki Kuwabara,
Kiyoshi Agusa,
Shoji Yuen:
Name-passing style GUI programming in the pi-calculus-based language Nepi.
Electr. Notes Theor. Comput. Sci. 139(1): 145-168 (2005) |
6 | EE | Yoshinobu Kawabe,
Ken Mano:
Verifying Trace Equivalence of a Shared-Memory-Style Communication System.
IEICE Transactions 88-A(4): 915-922 (2005) |
5 | EE | Yoshinobu Kawabe,
Ken Mano,
Eiichi Horita,
Kiyoshi Kogure:
Name creation implements restriction in the pi-calculus.
Systems and Computers in Japan 36(2): 78-91 (2005) |
2004 |
4 | EE | Ken Mano,
Yoshinobu Kawabe:
The Nepi Network Programming System: A Programming Environment for Distributed Systems.
NCA 2004: 287-292 |
2000 |
3 | EE | Yoshinobu Kawabe,
Ken Mano,
Kiyoshi Kogure:
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming.
FAABS 2000: 90-102 |
1997 |
2 | | Yoshinobu Kawabe,
Naohiro Ishii:
On Modularity of the Completeness in Order-Sorted Term Rewriting Systems.
COCOON 1997: 331-342 |
1995 |
1 | | Yoshinobu Kawabe,
Naohiro Ishii:
Currying of Order-Sorted Term Rewriting Systems.
COCOON 1995: 191-202 |