Hisashi Kondo

According to our database, Hisashi Kondo authored at least 14 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Experimental Exploration of the Backside ESD Impacts on an IC Chip in Flip Chip Packaging.

Takuya Wadatsumi, Kohei Kawai, Rikuu Hasegawa, Kikuo Muramatsu, Hiromu Hasegawa, Takuya Sawada, Takahito Fukushima, Hisashi Kondo, Takuji Miki, Makoto Nagata

IEICE Trans. Electron., October, 2023

2022

Proposal for a Highly Reliable In-Vehicle Optical Network: SiPhON (Si-Photonics-Based In-Vehicle Optical Network).

Hiroyuki Tsuda, Ryogo Kubo, Tatsuo Furuya, Masayuki Iwase, Masahito Morimoto, Hisashi Kondo, Yasushi Amamiya, Yoshiaki Nakano, Takuo Tanemura, Masayuki Murata, Shin'ichi Arakawa, Naokatsu Yamamoto, Atsushi Matsumoto, Ryo Takahashi

Proceedings of the 2022 27th OptoElectronics and Communications Conference (OECC) and 2022 International Conference on Photonics in Switching and Computing (PSC), 2022

Voltage Surges by Backside ESD Impacts on IC Chip in Flip Chip Packaging.

Takuya Wadatsumi, Kohei Kawai, Rikuu Hasegawa, Takuji Miki, Makoto Nagata, Kikuo Muramatsu, Hiromu Hasegawa, Takuya Sawada, Takahito Fukushima, Hisashi Kondo

Proceedings of the IEEE International Reliability Physics Symposium, 2022

2018

Earable TEMPO: A Novel, Hands-Free Input Device that Uses the Movement of the Tongue Measured with a Wearable Ear Sensor.

Kazuhiro Taniguchi, Hisashi Kondo, Mami Kurosawa, Atsushi Nishikawa

Sensors, 2018

2004

Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification.

Masahito Kurihara, Hisashi Kondo

Proceedings of the Innovations in Applied Artificial Intelligence, 2004

2001

Dynamic control of curve-constrained hyper-redundant manipulators.

Shugen Ma, Mitsuru Watanabe, Hisashi Kondo

Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Integrating Intelligent Machines with Humans for a Better Tomorrow, 2001

2000

BDD encoding for partial order constraints and its application to expert systems in software verification domains.

Masahito Kurihara, Hisashi Kondo

Proceedings of the IEEE International Conference on Systems, 2000

1999

Completion for Multiple Reduction Orderings.

Masahito Kurihara, Hisashi Kondo

J. Autom. Reason., 1999

Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains.

Masahito Kurihara, Hisashi Kondo

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1996

Completion of term-rewriting systems with multiple reduction orderings.

Hisashi Kondo, Masahito Kurihara, Azuma Ohuchi

Syst. Comput. Jpn., 1996

Driving toward higher IDDQ test quality for sequential circuits: a generalized fault model and its ATPG.

Hisashi Kondo, Kwang-Ting Cheng

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

An Efficient Compact Test Generator for IDDQ Testing.

Hisashi Kondo, Kwang-Ting Cheng

Proceedings of the 5th Asian Test Symposium (ATS '96), 1996

1995

Completion for Multiple Reduction Orderings.

Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1992

Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs.

Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi

Int. J. Softw. Eng. Knowl. Eng., 1992