BibTeX records: Hisashi Kondo

download as .bib file

@article{DBLP:journals/ieicetc/WadatsumiKHMHSFKMN23,
  author       = {Takuya Wadatsumi and
                  Kohei Kawai and
                  Rikuu Hasegawa and
                  Kikuo Muramatsu and
                  Hiromu Hasegawa and
                  Takuya Sawada and
                  Takahito Fukushima and
                  Hisashi Kondo and
                  Takuji Miki and
                  Makoto Nagata},
  title        = {Experimental Exploration of the Backside {ESD} Impacts on an {IC}
                  Chip in Flip Chip Packaging},
  journal      = {{IEICE} Trans. Electron.},
  volume       = {106},
  number       = {10},
  pages        = {556--564},
  year         = {2023},
  url          = {https://doi.org/10.1587/transele.2022ctp0004},
  doi          = {10.1587/TRANSELE.2022CTP0004},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieicetc/WadatsumiKHMHSFKMN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irps/WadatsumiKHMNMH22,
  author       = {Takuya Wadatsumi and
                  Kohei Kawai and
                  Rikuu Hasegawa and
                  Takuji Miki and
                  Makoto Nagata and
                  Kikuo Muramatsu and
                  Hiromu Hasegawa and
                  Takuya Sawada and
                  Takahito Fukushima and
                  Hisashi Kondo},
  title        = {Voltage Surges by Backside {ESD} Impacts on {IC} Chip in Flip Chip
                  Packaging},
  booktitle    = {{IEEE} International Reliability Physics Symposium, {IRPS} 2022, Dallas,
                  TX, USA, March 27-31, 2022},
  pages        = {14--1},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/IRPS48227.2022.9764457},
  doi          = {10.1109/IRPS48227.2022.9764457},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/irps/WadatsumiKHMNMH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ps/TsudaKFIMKANTMA22,
  author       = {Hiroyuki Tsuda and
                  Ryogo Kubo and
                  Tatsuo Furuya and
                  Masayuki Iwase and
                  Masahito Morimoto and
                  Hisashi Kondo and
                  Yasushi Amamiya and
                  Yoshiaki Nakano and
                  Takuo Tanemura and
                  Masayuki Murata and
                  Shin'ichi Arakawa and
                  Naokatsu Yamamoto and
                  Atsushi Matsumoto and
                  Ryo Takahashi},
  title        = {Proposal for a Highly Reliable In-Vehicle Optical Network: SiPhON
                  (Si-Photonics-Based In-Vehicle Optical Network)},
  booktitle    = {2022 27th OptoElectronics and Communications Conference {(OECC)} and
                  2022 International Conference on Photonics in Switching and Computing
                  (PSC), Toyama, Japan, July 3-6, 2022},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.23919/OECC/PSC53152.2022.9849883},
  doi          = {10.23919/OECC/PSC53152.2022.9849883},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ps/TsudaKFIMKANTMA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sensors/TaniguchiKKN18,
  author       = {Kazuhiro Taniguchi and
                  Hisashi Kondo and
                  Mami Kurosawa and
                  Atsushi Nishikawa},
  title        = {Earable {TEMPO:} {A} Novel, Hands-Free Input Device that Uses the
                  Movement of the Tongue Measured with a Wearable Ear Sensor},
  journal      = {Sensors},
  volume       = {18},
  number       = {3},
  pages        = {733},
  year         = {2018},
  url          = {https://doi.org/10.3390/s18030733},
  doi          = {10.3390/S18030733},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/TaniguchiKKN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ieaaie/KuriharaK04,
  author       = {Masahito Kurihara and
                  Hisashi Kondo},
  editor       = {Robert Orchard and
                  Chunsheng Yang and
                  Moonis Ali},
  title        = {Efficient {BDD} Encodings for Partial Order Constraints with Application
                  to Expert Systems in Software Verification},
  booktitle    = {Innovations in Applied Artificial Intelligence, 17th International
                  Conference on Industrial and Engineering Applications of Artificial
                  Intelligence and Expert Systems, {IEA/AIE} 2004, Ottawa, Canada, May
                  17-20, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3029},
  pages        = {827--837},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24677-0\_85},
  doi          = {10.1007/978-3-540-24677-0\_85},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/KuriharaK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cira/MaWK01,
  author       = {Shugen Ma and
                  Mitsuru Watanabe and
                  Hisashi Kondo},
  editor       = {Hong Zhang},
  title        = {Dynamic control of curve-constrained hyper-redundant manipulators},
  booktitle    = {Proceedings of the {IEEE} International Symposium on Computational
                  Intelligence in Robotics and Automation: Integrating Intelligent Machines
                  with Humans for a Better Tomorrow, {CIRA} 2001, Banff, Alberta, Canada,
                  July 29 - August 1, 2001},
  pages        = {83--88},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/CIRA.2001.1013177},
  doi          = {10.1109/CIRA.2001.1013177},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/cira/MaWK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smc/KuriharaK00,
  author       = {Masahito Kurihara and
                  Hisashi Kondo},
  title        = {{BDD} encoding for partial order constraints and its application to
                  expert systems in software verification domains},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  {\&} Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations,
                  and their Complex Interactions", Sheraton Music City Hotel, Nashville,
                  Tennessee, USA, 8-11 October 2000},
  pages        = {2062--2067},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICSMC.2000.886419},
  doi          = {10.1109/ICSMC.2000.886419},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/KuriharaK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KuriharaK99,
  author       = {Masahito Kurihara and
                  Hisashi Kondo},
  title        = {Completion for Multiple Reduction Orderings},
  journal      = {J. Autom. Reason.},
  volume       = {23},
  number       = {1},
  pages        = {25--42},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1006129631807},
  doi          = {10.1023/A:1006129631807},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KuriharaK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ausai/KuriharaK99,
  author       = {Masahito Kurihara and
                  Hisashi Kondo},
  editor       = {Norman Y. Foo},
  title        = {Heuristics and Experiments on {BDD} Representation of Boolean Functions
                  for Expert Systems in Software Verification Domains},
  booktitle    = {Advanced Topics in Artificial Intelligence, 12th Australian Joint
                  Conference on Artificial Intelligence, {AI} '99, Sydney, Australia,
                  December 6-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1747},
  pages        = {353--364},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46695-9\_30},
  doi          = {10.1007/3-540-46695-9\_30},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ausai/KuriharaK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scjapan/KondoKO96,
  author       = {Hisashi Kondo and
                  Masahito Kurihara and
                  Azuma Ohuchi},
  title        = {Completion of term-rewriting systems with multiple reduction orderings},
  journal      = {Syst. Comput. Jpn.},
  volume       = {27},
  number       = {6},
  pages        = {33--44},
  year         = {1996},
  url          = {https://doi.org/10.1002/scj.4690270604},
  doi          = {10.1002/SCJ.4690270604},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scjapan/KondoKO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ats/KondoC96,
  author       = {Hisashi Kondo and
                  Kwang{-}Ting Cheng},
  title        = {An Efficient Compact Test Generator for {IDDQ} Testing},
  booktitle    = {5th Asian Test Symposium {(ATS} '96), November 20-22, 1996, Hsinchu,
                  Taiwan},
  pages        = {177--182},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ATS.1996.555156},
  doi          = {10.1109/ATS.1996.555156},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ats/KondoC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/KondoC96,
  author       = {Hisashi Kondo and
                  Kwang{-}Ting Cheng},
  editor       = {Rob A. Rutenbar and
                  Ralph H. J. M. Otten},
  title        = {Driving toward higher {IDDQ} test quality for sequential circuits:
                  a generalized fault model and its {ATPG}},
  booktitle    = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided
                  Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996},
  pages        = {228--232},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1109/ICCAD.1996.569610},
  doi          = {10.1109/ICCAD.1996.569610},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KondoC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KuriharaKO95,
  author       = {Masahito Kurihara and
                  Hisashi Kondo and
                  Azuma Ohuchi},
  editor       = {Jieh Hsiang},
  title        = {Completion for Multiple Reduction Orderings},
  booktitle    = {Rewriting Techniques and Applications, 6th International Conference,
                  RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {914},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59200-8\_48},
  doi          = {10.1007/3-540-59200-8\_48},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KuriharaKO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/KuriharaKO92,
  author       = {Masahito Kurihara and
                  Hisashi Kondo and
                  Azuma Ohuchi},
  title        = {Using {ATMS} to Efficiently Verify the Termination of Rewrite Rule
                  Programs},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {2},
  number       = {4},
  pages        = {547--565},
  year         = {1992},
  url          = {https://doi.org/10.1142/S0218194092000257},
  doi          = {10.1142/S0218194092000257},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/KuriharaKO92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.