BibTeX records: Ken Hirose

• > Home > Persons > Ken Hirose

@inproceedings{DBLP:conf/ecoop/DoiKH88,
  author       = {Norihisa Doi and
                  Yasushi Kodama and
                  Ken Hirose},
  editor       = {Stein Gjessing and
                  Kristen Nygaard},
  title        = {An Implementation of an Operating System Kernel Using Concurrent Object-Oriented
                  Language ABCL/c+},
  booktitle    = {ECOOP'88 European Conference on Object-Oriented Programming, Oslo,
                  Norway, August 15-17, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {322},
  pages        = {250--266},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-45910-3\_15},
  doi          = {10.1007/3-540-45910-3\_15},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/DoiKH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Hirose86,
  author       = {Ken Hirose},
  editor       = {Jozef Gruska and
                  Branislav Rovan and
                  Juraj Wiedermann},
  title        = {An Approach to Proof Checker},
  booktitle    = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
                  August 25-29, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {233},
  pages        = {113--127},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/BFb0016237},
  doi          = {10.1007/BFB0016237},
  timestamp    = {Sat, 30 Sep 2023 09:52:35 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Hirose86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/afips/HiroseSSDHYT81,
  author       = {Ken Hirose and
                  Kiyoshi Segawa and
                  Nobuo Saito and
                  Norihisa Doi and
                  Masahiro Hirata and
                  Toshiharu Yamasaki and
                  Masayuki Takata},
  title        = {Specification technique for parallel processing: process-data representation},
  booktitle    = {American Federation of Information Processing Societies: 1981 National
                  Computer Conference, 4-7 May 1981, Chicago, Illinois, {USA}},
  series       = {{AFIPS} Conference Proceedings},
  volume       = {50},
  pages        = {407--413},
  publisher    = {{AFIPS} Press},
  year         = {1981},
  url          = {https://doi.org/10.1145/1500412.1500470},
  doi          = {10.1145/1500412.1500470},
  timestamp    = {Wed, 14 Apr 2021 16:50:07 +0200},
  biburl       = {https://dblp.org/rec/conf/afips/HiroseSSDHYT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}