Ryugaku Jinja · Professor Archive
Public Professor Archive
磯邉 秀司磯邉 秀司
Tohoku University · Center for Data-Driven Science and AI Education and Research
- Publications
- 4
- Keywords
- 8
留学
神社Tohoku University · Center for Data-Driven Science and AI Education and Research
Research keywordsmodel checking・liveness verification・rewrite theory・e-passports・HTTP authentication・formal proofs・CafeOBJ・distributed storage
This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.
- Cost Total Colorings of TreesShuji Isobe, Xiao Zhou, Takao Nishizeki
- On the Length-Decreasing Self-Reducibility and the Many-One-Like Reducibilities for Partial Multivalued Functions.Ji-Won Huh, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya
- A construction of attribute-based aggregate signatures.Shingo Hasegawa, Shuji Isobe, Eisuke Koizumi, Hiroki Shizuya, Ryo Takahashi
- On the security notions of signcryption.Shingo Hasegawa, Shuji Isobe
Next stepSign in for fit and contact guidance
Personalized fit, contact angles, and saved workflows require sign-in.
