Takanori Ishibashi

Orcid: 0009-0009-3173-5273

According to our database1, Takanori Ishibashi authored at least 2 papers in 2023.

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

2023
Formal Specification and Model Checking of Raft Leader Election in Maude.
Proceedings of the 12th International Conference on Software and Computer Applications, 2023

Formal Specification and Model Checking of Raft Log Replication in Maude.
Proceedings of the 29th International DMS Conference on Visualization and Visual Languages, 2023


  Loading...