Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Yoichi Hirai

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/MalechaSFHH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/MalechaSFHH22
Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai:
Developing With Formal Methods at BedRock Systems, Inc. IEEE Secur. Priv. 20(3): 33-42 (2022)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Hirai18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Hirai18
Yoichi Hirai:
Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap. ISoLA (4) 2018: 389-404
2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/Hirai17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/Hirai17
Yoichi Hirai:
Defining the Ethereum Virtual Machine for Interactive Theorem Provers. Financial Cryptography Workshops 2017: 520-535
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeckerCGHHKNSTT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeckerCGHHKNSTT16
Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk:
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM 2016: 69-84
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FacchiniHMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FacchiniHMS15
Alessandro Facchini, Yoichi Hirai, Maarten Marx, Evgeny Sherkhonov:
Containment for Conditional Tree Patterns. Log. Methods Comput. Sci. 11(2) (2015)
2014
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jfla/HiraiA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/HiraiA14
Yoichi Hirai, Reynald Affeldt:
What could Coq do for Database Software? - A Progress Report. JFLA 2014: 33-48
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Hirai13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Hirai13
Yoichi Hirai:
Session Types in Abelian Logic. PLACES 2013: 33-52
2012
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Hirai12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Hirai12
Yoichi Hirai:
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom. FLOPS 2012: 151-165
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HiraiY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HiraiY11
Yoichi Hirai, Kazuhiko Yamamoto:
Balancing weight-balanced trees. J. Funct. Program. 21(3): 287-307 (2011)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/OnoHTNH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/OnoHTNH11
Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya:
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM 2011: 350-365
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Hirai10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Hirai10
Yoichi Hirai:
An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. LPAR (Dakar) 2010: 272-289

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.