Shohei Mochizuki

According to our database1, Shohei Mochizuki authored at least 2 papers between 2014 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.
Proceedings of the 8th International Conference on Software and Computer Applications, 2019

2014
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.
Proceedings of the Formal Methods and Software Engineering, 2014


  Loading...