Xudong Zhao

Yuanyuan Sun, Xudong Zhao, Kaining Hou: Calculation of Julia Sets by Equipotential Point Algorithm. I. J. Bifurcation and Chaos 23(1) (2013)

Xudong Zhao, Lixian Zhang, Peng Shi, Ming Liu: Stability of switched positive linear systems with average dwell time switching. Automatica 48(6): 1132-1137 (2012)

Xudong Zhao, Shenghong Li, Shilin Wang, Jianhua Li, Kongjin Yang: Optimal chroma-like channel design for passive color image splicing detection. EURASIP J. Adv. Sig. Proc. 2012: 240 (2012)

Xudong Zhao, Peng Shi, Lixian Zhang: Asynchronously switched control of a class of slowly switched linear systems. Systems & Control Letters 61(12): 1151-1156 (2012)

Xudong Zhao, Lixian Zhang, Peng Shi, Ming Liu: Stability and Stabilization of Switched Linear Systems With Mode-Dependent Average Dwell Time. IEEE Trans. Automat. Contr. 57(7): 1809-1815 (2012)

Meie Pan, Kun Yang, Xudong Zhao, Quanli Xu, Shuangyun Peng, Liang Hong: Remote sensing recognition, concentration classification and dynamic analysis of cyanobacteria bloom in Dianchi Lake based on MODIS data. Geoinformatics 2012: 1-5

Ming Liu, Peng Shi, Lixian Zhang, Xudong Zhao: Fault-Tolerant Control for Nonlinear Markovian Jump Systems via Proportional and Derivative Sliding Mode Observer Technique. IEEE Trans. on Circuits and Systems 58-I(11): 2755-2764 (2011)

Yong Chen, Lixian Zhang, Hamid Reza Karimi, Xudong Zhao: Stability analysis and H∞ controller design of a class of switched discrete-time fuzzy systems. CDC-ECE 2011: 6159-6164

Xudong Zhao, Shilin Wang, Shenghong Li, Jianhua Li: A Comprehensive Study on Third Order Statistical Features for Image Splicing Detection. IWDW 2011: 243-256

Xudong Zhao, Peng Liu, Jiafeng Liu, Xianglong Tang: Adaptive background estimation of outdoor illumination variations for foreground detection. VCIP 2011: 1-4

Xudong Zhao, Peng Liu, Jiafeng Liu, Xianglong Tang: A time, space and color-based classification of different weather conditions. VCIP 2011: 1-4

Xudong Zhao, Jianhua Li, Shenghong Li, Shilin Wang: Detecting Digital Image Splicing in Chroma Spaces. IWDW 2010: 12-22

Edmund M. Clarke, Steven M. German, Xudong Zhao: Verifying the SRT Division Algorithm Using Theorem Proving Techniques. Formal Methods in System Design 14(1): 7-44 (1999)

Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao: Coverage Estimation for Symbolic Model Checking. DAC 1999: 300-305

Andrej Bauer, Edmund M. Clarke, Xudong Zhao: Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. J. Autom. Reasoning 21(3): 295-325 (1998)

Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang: Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. Formal Methods in System Design 10(2/3): 137-148 (1997)

Andrej Bauer, Edmund M. Clarke, Xudong Zhao: Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. AISMC 1996: 21-37

Edmund M. Clarke, Steven M. German, Xudong Zhao: Verifying the SRT Division Algorithm Using Theorem Proving Techniques. CAV 1996: 111-122

Edmund M. Clarke, Manpreet Khaira, Xudong Zhao: Word Level Model Checking - Avoiding the Pentium FDIV Error. DAC 1996: 645-648

Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao: Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD 1996: 19-33

Edmund M. Clarke, Xudong Zhao: Word Level Model Checking (Abstract). MFCS 1996: 1

Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao: Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. DAC 1995: 427-432

Edmund M. Clarke, Masahiro Fujita, Xudong Zhao: Hybrid decision diagrams. ICCAD 1995: 159-163

Edmund M. Clarke, Xudong Zhao: Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan. CADE 1994: 758-763

Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer: Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. ISCAS 1994: 275-278

Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang: Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. DAC 1993: 54-60

Edmund M. Clarke, Xudong Zhao: Analytica - A Theorem Prover in Mathematica. CADE 1992: 761-765