BibTeX records: Yoichi Hirai

download as .bib file

@inproceedings{DBLP:conf/isola/Hirai18,
  author    = {Yoichi Hirai},
  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}},
  pages     = {389--404},
  year      = {2018},
  crossref  = {DBLP:conf/isola/2018-4},
  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/bib/conf/isola/Hirai18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/Hirai17,
  author    = {Yoichi Hirai},
  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},
  pages     = {520--535},
  year      = {2017},
  crossref  = {DBLP:conf/fc/2017w},
  url       = {https://doi.org/10.1007/978-3-319-70278-0\_33},
  doi       = {10.1007/978-3-319-70278-0\_33},
  timestamp = {Mon, 08 Jul 2019 08:49:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fc/Hirai17},
  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},
  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},
  pages     = {69--84},
  year      = {2016},
  crossref  = {DBLP:conf/fm/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/bib/conf/fm/BeckerCGHHKNSTT16},
  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   = {Logical Methods in Computer Science},
  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 = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FacchiniHMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/HiraiA14,
  author    = {Yoichi Hirai and
               Reynald Affeldt},
  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},
  crossref  = {DBLP:conf/jfla/2014},
  timestamp = {Fri, 28 Nov 2014 14:16:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jfla/HiraiA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Hirai13,
  author    = {Yoichi Hirai},
  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},
  pages     = {33--52},
  year      = {2013},
  crossref  = {DBLP:journals/corr/YoshidaV13},
  url       = {https://doi.org/10.4204/EPTCS.137.4},
  doi       = {10.4204/EPTCS.137.4},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Hirai13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Hirai12,
  author    = {Yoichi Hirai},
  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},
  pages     = {151--165},
  year      = {2012},
  crossref  = {DBLP:conf/flops/2012},
  url       = {https://doi.org/10.1007/978-3-642-29822-6\_14},
  doi       = {10.1007/978-3-642-29822-6\_14},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/Hirai12},
  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/bib/journals/jfp/HiraiY11},
  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},
  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},
  pages     = {350--365},
  year      = {2011},
  crossref  = {DBLP:conf/sefm/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/bib/conf/sefm/OnoHTNH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Hirai10,
  author    = {Yoichi Hirai},
  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},
  pages     = {272--289},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010d},
  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/bib/conf/lpar/Hirai10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-4,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03427-6},
  doi       = {10.1007/978-3-030-03427-6},
  isbn      = {978-3-030-03426-9},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2018-4},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2017w,
  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     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70278-0},
  doi       = {10.1007/978-3-319-70278-0},
  isbn      = {978-3-319-70277-3},
  timestamp = {Mon, 08 Jul 2019 08:49:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fc/2017w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2016,
  editor    = {John S. Fitzgerald and
               Constance L. Heitmeyer and
               Stefania Gnesi and
               Anna Philippou},
  title     = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9995},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6},
  doi       = {10.1007/978-3-319-48989-6},
  isbn      = {978-3-319-48988-9},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfla/2014,
  editor    = {Christine Tasson and
               David Baelde},
  title     = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
               France, January 8-11, 2014},
  year      = {2014},
  timestamp = {Fri, 28 Nov 2014 14:16:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jfla/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/YoshidaV13,
  editor    = {Nobuko Yoshida and
               Wim Vanderbauwhede},
  title     = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
               and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
               March 2013},
  series    = {{EPTCS}},
  volume    = {137},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.137},
  doi       = {10.4204/EPTCS.137},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/YoshidaV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2012,
  editor    = {Tom Schrijvers and
               Peter Thiemann},
  title     = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
               2012, Kobe, Japan, May 23-25, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7294},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29822-6},
  doi       = {10.1007/978-3-642-29822-6},
  isbn      = {978-3-642-29821-9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2011,
  editor    = {Gilles Barthe and
               Alberto Pardo and
               Gerardo Schneider},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6},
  doi       = {10.1007/978-3-642-24690-6},
  isbn      = {978-3-642-24689-0},
  timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010d,
  editor    = {Edmund M. Clarke and
               Andrei Voronkov},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17511-4},
  doi       = {10.1007/978-3-642-17511-4},
  isbn      = {978-3-642-17510-7},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2010d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics