- Kouji Maeda, Shunshoku Kanae, Zi-Jiang Yang, Kiyoshi Wada:
Design of RBF Network Based on Fuzzy Clustering Method for Modeling of Respiratory System. ISNN (2) 2006: 746-753 - 2005
- Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar:
F-Soft: Software Verification Platform. CAV 2005: 301-306 - Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang:
Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308 - Hong Yao, Masato Ikenoue, Shunshoku Kanae, Zi-Jiang Yang, Kiyoshi Wada:
IQML-like algorithm and inverse iteration algorithm in dynamic system identification. SIP 2005: 204-209 - 2004
- Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang:
Efficient SAT-based Bounded Model Checking for Software Verification. ISoLA (Preliminary proceedings) 2004: 157-164 - 2003
- Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV 2003: 206-209 - Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar:
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. CHARME 2003: 334-347 - Aarti Gupta
, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Learning from BDDs in SAT-based bounded model checking. DAC 2003: 824-829 - Aarti Gupta
, Malay K. Ganai, Zijiang Yang, Pranav Ashar:
Iterative Abstraction using SAT-based BMC with Proof Analysis. ICCAD 2003: 416-423 - 2001
- Aarti Gupta
, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik
:
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. ICCAD 2001: 286-292