Hisashi Kondo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

7EEMasahito Kurihara, Hisashi Kondo: Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. IEA/AIE 2004: 827-837
6 Masahito Kurihara, Hisashi Kondo: Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains. Australian Joint Conference on Artificial Intelligence 1999: 353-364
5 Masahito Kurihara, Hisashi Kondo: Completion for Multiple Reduction Orderings. J. Autom. Reasoning 23(1): 25-42 (1999)
4EEHisashi Kondo, Kwang-Ting Cheng: An Efficient Compact Test Generator for IDDQ Testing. Asian Test Symposium 1996: 177-182
3EEHisashi Kondo, Kwang-Ting Cheng: Driving toward higher IDDQ test quality for sequential circuits: a generalized fault model and its ATPG. ICCAD 1996: 228-232
2 Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Completion for Multiple Reduction Orderings. RTA 1995: 71-85
1EEMasahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs. International Journal of Software Engineering and Knowledge Engineering 2(4): 547-565 (1992)

Coauthor Index

1Kwang-Ting Cheng (Kwang-Ting (Tim) Cheng) [3] [4]
2Masahito Kurihara [1] [2] [5] [6] [7]
3Azuma Ohuchi [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)