
Search the dblp DataBase
Yoshinobu Kawabe:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Yoshinobu Kawabe, Naohiro Ishii
Currying of OrderSorted Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] COCOON, 1995, pp:191202 [Conf]
 Yoshinobu Kawabe, Naohiro Ishii
On Modularity of the Completeness in OrderSorted Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] COCOON, 1997, pp:331342 [Conf]
 Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure
The Nepi^{2} Programming System: A piCalculusBased Approach to AgentBased Programming. [Citation Graph (0, 0)][DBLP] FAABS, 2000, pp:90102 [Conf]
 Ken Mano, Yoshinobu Kawabe
The Nepi Network Programming System: A Programming Environment for Distributed Systems. [Citation Graph (0, 0)][DBLP] NCA, 2004, pp:287292 [Conf]
 Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
Namepassing style GUI programming in the picalculusbased language Nepi. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:145168 [Journal]
 Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Theoremproving anonymity of infinitestate systems. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2007, v:101, n:1, pp:4651 [Journal]
 Yoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure
Name creation implements restriction in the picalculus. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 2005, v:36, n:2, pp:7891 [Journal]
 Ichiro Hasuo, Yoshinobu Kawabe
Probabilistic Anonymity Via Coalgebraic Simulations. [Citation Graph (0, 0)][DBLP] ESOP, 2007, pp:379394 [Conf]
A Formal Approach to Designing Anonymous Software. [Citation Graph (, )][DBLP]
On Formal Modeling of TOPPERS Embedded Software. [Citation Graph (, )][DBLP]
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. [Citation Graph (, )][DBLP]
Search in 0.038secs, Finished in 0.039secs
