Hisashi Kondo

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Experimental Exploration of the Backside ESD Impacts on an IC Chip in Flip Chip Packaging.
IEICE Trans. Electron., October, 2023

2022
Proposal for a Highly Reliable In-Vehicle Optical Network: SiPhON (Si-Photonics-Based In-Vehicle Optical Network).
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.
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.
Sensors, 2018

2004
Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification.
Proceedings of the Innovations in Applied Artificial Intelligence, 2004

2001
Dynamic control of curve-constrained hyper-redundant manipulators.
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.
Proceedings of the IEEE International Conference on Systems, 2000

1999
Completion for Multiple Reduction Orderings.
J. Autom. Reason., 1999

Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains.
Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1996
Completion of term-rewriting systems with multiple reduction orderings.
Syst. Comput. Jpn., 1996

Driving toward higher IDDQ test quality for sequential circuits: a generalized fault model and its ATPG.
Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

An Efficient Compact Test Generator for IDDQ Testing.
Proceedings of the 5th Asian Test Symposium (ATS '96), 1996

1995
Completion for Multiple Reduction Orderings.
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1992
Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs.
Int. J. Softw. Eng. Knowl. Eng., 1992


  Loading...