We stand with Ukraine  

Takashi Morishima

According to our database1, Takashi Morishima authored at least 2 papers between 2015 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Verification of Content-Centric Networking Using Proof Assistant.
[BibTeX]
[DOI]
Sosuke Moriguchi
,
Takashi Morishima
,
Mizuki Goto
,
Kazuko Takahashi
IEICE Trans. Commun., 2016

2015
Formalization of the Behavior of Content-Centric Networking.
[BibTeX]
[DOI]
Sosuke Moriguchi
,
Takashi Morishima
,
Mizuki Goto
,
Kazuko Takahashi
Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015


  Loading...