BibTeX records: Yoichi Hirai

download as .bib file

@article{DBLP:journals/ieeesp/MalechaSFHH22,
  author       = {Gregory Malecha and
                  Gordon Stewart and
                  Frantisek Farka and
                  Jasper Haag and
                  Yoichi Hirai},
  title        = {Developing With Formal Methods at BedRock Systems, Inc},
  journal      = {{IEEE} Secur. Priv.},
  volume       = {20},
  number       = {3},
  pages        = {33--42},
  year         = {2022},
  url          = {https://doi.org/10.1109/MSEC.2022.3158196},
  doi          = {10.1109/MSEC.2022.3158196},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeesp/MalechaSFHH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Hirai18,
  author       = {Yoichi Hirai},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
                  Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11247},
  pages        = {389--404},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03427-6\_29},
  doi          = {10.1007/978-3-030-03427-6\_29},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Hirai18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fc/Hirai17,
  author       = {Yoichi Hirai},
  editor       = {Michael Brenner and
                  Kurt Rohloff and
                  Joseph Bonneau and
                  Andrew Miller and
                  Peter Y. A. Ryan and
                  Vanessa Teague and
                  Andrea Bracciali and
                  Massimiliano Sala and
                  Federico Pintore and
                  Markus Jakobsson},
  title        = {Defining the Ethereum Virtual Machine for Interactive Theorem Provers},
  booktitle    = {Financial Cryptography and Data Security - {FC} 2017 International
                  Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
                  7, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10323},
  pages        = {520--535},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-70278-0\_33},
  doi          = {10.1007/978-3-319-70278-0\_33},
  timestamp    = {Tue, 16 Aug 2022 23:04:23 +0200},
  biburl       = {https://dblp.org/rec/conf/fc/Hirai17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/BeckerCGHHKNSTT16,
  author       = {Hanno Becker and
                  Juan Manuel Crespo and
                  Jacek Galowicz and
                  Ulrich Hensel and
                  Yoichi Hirai and
                  C{\'{e}}sar Kunz and
                  Keiko Nakata and
                  Jorge Luis Sacchini and
                  Hendrik Tews and
                  Thomas Tuerk},
  editor       = {John S. Fitzgerald and
                  Constance L. Heitmeyer and
                  Stefania Gnesi and
                  Anna Philippou},
  title        = {Combining Mechanized Proofs and Model-Based Testing in the Formal
                  Analysis of a Hypervisor},
  booktitle    = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
                  Cyprus, November 9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9995},
  pages        = {69--84},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48989-6\_5},
  doi          = {10.1007/978-3-319-48989-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/BeckerCGHHKNSTT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/FacchiniHMS15,
  author       = {Alessandro Facchini and
                  Yoichi Hirai and
                  Maarten Marx and
                  Evgeny Sherkhonov},
  title        = {Containment for Conditional Tree Patterns},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {11},
  number       = {2},
  year         = {2015},
  url          = {https://doi.org/10.2168/LMCS-11(2:4)2015},
  doi          = {10.2168/LMCS-11(2:4)2015},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FacchiniHMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/HiraiA14,
  author       = {Yoichi Hirai and
                  Reynald Affeldt},
  editor       = {Christine Tasson and
                  David Baelde},
  title        = {What could Coq do for Database Software? - {A} Progress Report},
  booktitle    = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
                  France, January 8-11, 2014},
  pages        = {33--48},
  year         = {2014},
  timestamp    = {Fri, 28 Nov 2014 14:16:32 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/HiraiA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Hirai13,
  author       = {Yoichi Hirai},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Session Types in Abelian Logic},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {33--52},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.4},
  doi          = {10.4204/EPTCS.137.4},
  timestamp    = {Fri, 27 Mar 2020 08:38:55 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Hirai13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Hirai12,
  author       = {Yoichi Hirai},
  editor       = {Tom Schrijvers and
                  Peter Thiemann},
  title        = {A Lambda Calculus for G{\"{o}}del-Dummett Logic Capturing Waitfreedom},
  booktitle    = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
                  2012, Kobe, Japan, May 23-25, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7294},
  pages        = {151--165},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29822-6\_14},
  doi          = {10.1007/978-3-642-29822-6\_14},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/flops/Hirai12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/HiraiY11,
  author       = {Yoichi Hirai and
                  Kazuhiko Yamamoto},
  title        = {Balancing weight-balanced trees},
  journal      = {J. Funct. Program.},
  volume       = {21},
  number       = {3},
  pages        = {287--307},
  year         = {2011},
  url          = {https://doi.org/10.1017/S0956796811000104},
  doi          = {10.1017/S0956796811000104},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/HiraiY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/OnoHTNH11,
  author       = {Kosuke Ono and
                  Yoichi Hirai and
                  Yoshinori Tanabe and
                  Natsuko Noda and
                  Masami Hagiya},
  editor       = {Gilles Barthe and
                  Alberto Pardo and
                  Gerardo Schneider},
  title        = {Using Coq in Specification and Program Extraction of Hadoop MapReduce
                  Applications},
  booktitle    = {Software Engineering and Formal Methods - 9th International Conference,
                  {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7041},
  pages        = {350--365},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24690-6\_24},
  doi          = {10.1007/978-3-642-24690-6\_24},
  timestamp    = {Sat, 19 Oct 2019 20:16:56 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/OnoHTNH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Hirai10,
  author       = {Yoichi Hirai},
  editor       = {Edmund M. Clarke and
                  Andrei Voronkov},
  title        = {An Intuitionistic Epistemic Logic for Sequential Consistency on Shared
                  Memory},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
                  International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
                  2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6355},
  pages        = {272--289},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17511-4\_16},
  doi          = {10.1007/978-3-642-17511-4\_16},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Hirai10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.