Search the dblp DataBase

Publications of Author

1. Yasuyuki Tsukada
   Type-free Equational Reasoning in the Theeory of Inductively Defined Types. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:227-246 [Conf]
   
2. Hideki Sakurada, Yasuyuki Tsukada
   A Role-Based Specification of the SET Payment Transaction Protocol. [Citation Graph (0, 0)][DBLP]
   Network Security, 2001, pp:1-15 [Conf]
   
3. Yasuyuki Tsukada
   Interactive and Probabilistic Proof of Mobile Code Safety. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2005, v:12, n:2, pp:237-257 [Journal]
   
4. Yasuyuki Tsukada
   Martin-Löf's Type Theory as an Open-Ended Framework. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:1, pp:31-67 [Journal]
   
5. Yasuyuki Tsukada
   Errata to ``Martin-Löf's Type Theory as an Open-Ended Framework''. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:5, pp:695- [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. 
   Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. [Citation Graph (, )][DBLP]