Yoichi Hirai
Orcid: 0000-0003-2076-2750
According to our database1,
Yoichi Hirai
authored at least 11 papers
between 2010 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
2017
Proceedings of the Financial Cryptography and Data Security, 2017
2016
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.
Proceedings of the FM 2016: Formal Methods, 2016
2015
2014
What could Coq do for Database Software? - A Progress Report.
Proceedings of the 25. Journées francophones des langages applicatifs, 2014
2013
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013
2012
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010