Takashi Morishima
Kwansei Gakuin University(JP)
Publications by Year
Research Areas
Cooperative Communication and Network Coding, Caching and Content Delivery, Mobile Ad Hoc Networks, Peer-to-Peer Network Technologies, Technical Engine Diagnostics and Monitoring
Most-Cited Works
- → Formalization of the Behavior of Content-Centric Networking(2015)1 cited
- → Verification of Content-Centric Networking Using Proof Assistant(2016)
- Modeling and verification for CCN using a proof assistant Coq(2014)