Search the dblp DataBase

Publications of Author

1. Yoshinobu Kawabe, Naohiro Ishii
   Currying of Order-Sorted Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   COCOON, 1995, pp:191-202 [Conf]
   
2. Yoshinobu Kawabe, Naohiro Ishii
   On Modularity of the Completeness in Order-Sorted Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   COCOON, 1997, pp:331-342 [Conf]
   
3. Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure
   The Nepi² Programming System: A pi-Calculus-Based Approach to Agent-Based Programming. [Citation Graph (0, 0)][DBLP]
   FAABS, 2000, pp:90-102 [Conf]
   
4. Ken Mano, Yoshinobu Kawabe
   The Nepi Network Programming System: A Programming Environment for Distributed Systems. [Citation Graph (0, 0)][DBLP]
   NCA, 2004, pp:287-292 [Conf]
   
5. Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
   Name-passing style GUI programming in the pi-calculus-based language Nepi. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:145-168 [Journal]
   
6. Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
   Theorem-proving anonymity of infinite-state systems. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2007, v:101, n:1, pp:46-51 [Journal]
   
7. Yoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure
   Name creation implements restriction in the pi-calculus. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 2005, v:36, n:2, pp:78-91 [Journal]
   
8. Ichiro Hasuo, Yoshinobu Kawabe
   Probabilistic Anonymity Via Coalgebraic Simulations. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:379-394 [Conf]
   
9. 
   A Formal Approach to Designing Anonymous Software. [Citation Graph (, )][DBLP]
   
   
10. 
    On Formal Modeling of TOPPERS Embedded Software. [Citation Graph (, )][DBLP]
    
    
11. 
    Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. [Citation Graph (, )][DBLP]