dblp.uni-trier.dewww.uni-trier.de

Yoshinobu Kawabe

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12EEYoshinobu Kawabe, Hideki Sakurada: An Adversary Model for Simulation-Based Anonymity Proof. IEICE Transactions 91-A(4): 1112-1120 (2008)
11EEYoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada: On Backward-Style Anonymity Verification. IEICE Transactions 91-A(9): 2597-2606 (2008)
2007
10EEIchiro Hasuo, Yoshinobu Kawabe: Probabilistic Anonymity Via Coalgebraic Simulations. ESOP 2007: 379-394
9EEYoshinobu Kawabe, Hideki Sakurada: A Formal Approach to Designing Anonymous Software. SERA 2007: 203-212
8EEYoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada: Theorem-proving anonymity of infinite-state systems. Inf. Process. Lett. 101(1): 46-51 (2007)
2005
7EEAtsushi 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)
6EEYoshinobu Kawabe, Ken Mano: Verifying Trace Equivalence of a Shared-Memory-Style Communication System. IEICE Transactions 88-A(4): 915-922 (2005)
5EEYoshinobu 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
4EEKen Mano, Yoshinobu Kawabe: The Nepi Network Programming System: A Programming Environment for Distributed Systems. NCA 2004: 287-292
2000
3EEYoshinobu 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

Coauthor Index

1Kiyoshi Agusa [7]
2Ichiro Hasuo [10]
3Eiichi Horita [5]
4Naohiro Ishii [1] [2]
5Kiyoshi Kogure [3] [5]
6Hiroaki Kuwabara [7]
7Ken Mano [3] [4] [5] [6] [7] [8] [11]
8Atsushi Mizuno [7]
9Hideki Sakurada [8] [9] [11] [12]
10Yasuyuki Tsukada [8] [11]
11Shoji Yuen [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)