Yoichi Hirai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2010–2018
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISoLA | Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap. | Yoichi Hirai |
| 2017 | FC | Defining the Ethereum Virtual Machine for Interactive Theorem Provers. | Yoichi Hirai |
| 2016 | FM | Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. | Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, Csar Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk |
| 2012 | FLOPS | A Lambda Calculus for Gdel-Dummett Logic Capturing Waitfreedom. | Yoichi Hirai |
| 2011 | SEFM | Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. | Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya |
| 2010 | LPAR | An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. | Yoichi Hirai |