Yang Zhao

Yang Zhao, Wei Jia, Rong-Xiang Hu, Hai Min: Completed robust local binary pattern for texture classification. Neurocomputing 106: 68-76 (2013)

Yang Zhao, Neal Patwari, Jeff M. Phillips, Suresh Venkatasubramanian: Radio tomographic imaging and tracking of stationary and moving people via kernel distance. IPSN 2013: 229-240

Yang Zhao, Andrea Alù: Optical nanoantennas and their applications. RWS 2013: 58-60

Yang Zhao, Krishnendu Chakrabarty: Design and Testing of Digital Microfluidic Biochips. Springer 2012, isbn 978-1-4614-0369-2, pp. I-XI, 1-202

Huabin Chen, Yong Zhang, Yang Zhao: Stability analysis for uncertain neutral systems with discrete and distributed delays. Applied Mathematics and Computation 218(23): 11351-11361 (2012)

Yang Zhao, Cheng Jiang, Aidong Yang: Towards computer-aided multiscale modelling: An overarching methodology and support of conceptual modelling. Computers & Chemical Engineering 36: 10-21 (2012)

Yang Zhao, Cheng Jiang, Aidong Yang: Towards computer-aided multiscale modelling: A generic supporting environment for model realization and execution. Computers & Chemical Engineering 40: 45-57 (2012)

Yang Zhao, Kristin Yvonne Rozier: Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. ECEASST 53 (2012)

Yang Zhao, Krishnendu Chakrabarty, Bhargab B. Bhattacharya: Testing of Low-cost Digital Microfluidic Biochips with Non-Regular Array Layouts. J. Electronic Testing 28(2): 243-255 (2012)

Tatsuya Akutsu, Yang Zhao, Morihiro Hayashida, Takeyuki Tamura: Integer Programming-Based Approach to Attractor Detection and Control of Boolean Networks. IEICE Transactions 95-D(12): 2960-2970 (2012)

Yang Zhao, Morihiro Hayashida, Jose C. Nacher, Hiroshi Nagamochi, Tatsuya Akutsu: Protein complex prediction via improved verification methods using constrained domain-domain matching. IJBRA 8(3/4): 210-227 (2012)

Yang Zhao: Interference Verification for Structural Parallel Programs. JSW 7(8): 1889-1896 (2012)

Rong-Xiang Hu, Wei Jia, Yang Zhao, Jie Gui: Perceptually motivated morphological strategies for shape retrieval. Pattern Recognition 45(9): 3222-3230 (2012)

Yang Zhao, Krishnendu Chakrabarty: Simultaneous Optimization of Droplet Routing and Control-Pin Mapping to Electrodes in Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 31(2): 242-254 (2012)

Yang Zhao, Krishnendu Chakrabarty: Cross-Contamination Avoidance for Droplet Routing in Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 31(6): 817-830 (2012)

Yang Zhao, De-Shuang Huang, Wei Jia: Completed Local Binary Count for Rotation Invariant Texture Classification. IEEE Transactions on Image Processing 21(10): 4492-4497 (2012)

Yang Zhao, Neal Patwari, Piyush Agrawal, Michael Rabbat: Directed by Directionality: Benefiting from the Gain Pattern of Active RFID Badges. IEEE Trans. Mob. Comput. 11(5): 865-877 (2012)

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin: Ten Years of Saturation: A Petri Net Perspective. T. Petri Nets and Other Models of Concurrency 5: 51-95 (2012)

Yang Zhao, Krishnendu Chakrabarty, Ryan Sturmer, Vamsee K. Pamula: Optimization Techniques for the Synchronization of Concurrent Fluidic Operations in Pin-Constrained Digital Microfluidic Biochips. IEEE Trans. VLSI Syst. 20(6): 1132-1145 (2012)

Yang Zhao, Hongzhuan Qiu, Hua Song: Distributed measurement and control system of the test-rig of ram-compressed rotor aero-engine based on PLC and PXI bus. CCA 2012: 664-669

Yang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland: Permission Assurance for Semantic Aspects of Design Patterns. APSEC 2012: 559-564

Xiao-Ming Ren, Xiao-Feng Wang, Yang Zhao: An Efficient Multi-scale Overlapped Block LBP Approach for Leaf Image Recognition. ICIC (2) 2012: 237-243

Wei Yan, Enrong Wang, Yang Zhao, Rakheja Subhash, Chunyi Su: Modeling of Electromagnetic Interference Noise Mechanism for Magneto-Rheological Damper. ICIRA (2) 2012: 153-163

Yang Zhao, Wei Lu, Yan Zheng, Jian Wang: An early smoke detection system based on increment of optical flow residual. ICMLC 2012: 1474-1479

Yang Zhao, Zhiguang Qin: An Optimistic Protocol for Distributed Fair Exchange. IMIS 2012: 395-399

Mengxia Michelle Zhu, Qishi Wu, Yang Zhao: A cost-effective scheduling algorithm for scientific workflows in clouds. IPCCC 2012: 256-265

Yang Zhao, Neal Patwari: Histogram distance-based radio tomographic localization. IPSN 2012: 129-130

Quanyi Qiu, Yang Zhao, Lei Chen, Yuan Quan: Utilization of Urban Form Information for Extracting Commuting Travel Carbon Emission on Urban Road Network. ITNG 2012: 895

Bulei Xu, Wenlong Lv, Xiang Wang, Tingping Lei, Gaofeng Zheng, Yang Zhao, Daoheng Sun: Conductive micro silver wires via aerosol deposition. NEMS 2012: 282-285

Yang Zhao, Gianfranco Ciardo: A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. QEST 2012: 74-83

Yang Zhao, Lisa Grenier, Amitava Majumdar: Power Characterization of Embedded SRAMs for Power Binning. VTS 2012: 203-208

Yang Zhao, Krishnendu Chakrabarty: Fault Diagnosis in Lab-on-Chip Using Digital Microfluidic Logic Gates. J. Electronic Testing 27(1): 69-83 (2011)

Yang Zhao, Gianfranco Ciardo: Symbolic computation of strongly connected components and fair cycles using saturation. ISSE 7(2): 141-150 (2011)

Yang Zhao, Youtao Zhang, Zhiguang Qin, Taieb Znati: A co-commitment based secure data collection scheme for tiered wireless sensor networks. Journal of Systems Architecture - Embedded Systems Design 57(6): 655-662 (2011)

Yang Zhao, Tao Xu, Krishnendu Chakrabarty: Broadcast Electrode-Addressing and Scheduling Methods for Pin-Constrained Digital Microfluidic Biochips. IEEE Trans. on CAD of Integrated Circuits and Systems 30(7): 986-999 (2011)

Tao Yang, Ye Li, Yang Zhao, Yu Peng, Jianping Cao, Zhanjun Fang, Chun Qing Gao, Er Jun Zang: Modulation Transfer Spectroscopy of ¹²⁷I₂ Hyperfine Structure at 561 nm. IEEE T. Instrumentation and Measurement 60(7): 2517-2521 (2011)

Jian Luo, Guiming Luo, Yang Zhao: Satisfiability degree computation for linear temporal logic. IEEE ICCI*CC 2011: 373-380

Yang Zhao, Jianhui Zhao, Erqian Dong, Bingyu Chen, Jun Chen, Zhi-Yong Yuan, Dengyi Zhang: Dynamic Texture Modeling Applied on Computer Vision Based Fire Recognition. AICI (3) 2011: 545-553

Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao: Symbolic Verification and Test Generation for a Network of Communicating FSMs. ATVA 2011: 432-442

Yue Feng, Yang Zhao: Research on grinding spindle frequency distributed control system. EMEIT 2011: 1475-1477

Yang Zhao: Theories and Applications of LBP: A Survey. ICIC (2) 2011: 112-120

Hong Cheng, Zicheng Liu, Yang Zhao, Guo Ye: Real world activity summary for senior home monitoring. ICME 2011: 1-4

Shengqi Jian, Chuanyan Zhao, Yang Zhao: Based on remote sensing processing technology estimating leaves stomatal density of Populus euphratica. IGARSS 2011: 547-550

Wenbo Li, Xiangyi Zhou, Li Wang, Youyi Wang, Zhigang Zhao, Yang Zhao: Optimal Sensor Deployment for Satellite Antenna Reflector Based on Genetic Algorithm. ISCID (2) 2011: 59-63

Yang Zhao, Zhigang Zhao, Baoshan Zhao, Wenbo Li: Active Disturbance Rejection Control for Manipulator Flexible Joint with Dynamic Friction and Uncertainties Compensation. ISCID (2) 2011: 248-251

Yang Zhao, Krishnendu Chakrabarty: Co-optimization of droplet routing and pin assignment in disposable digital microfluidic biochips. ISPD 2011: 69-76

Yang Zhao, Neal Patwari: Noise reduction for variance-based radio tomographic localization. SECON 2011: 155-157

Yang Zhao, Neal Patwari: Noise reduction for variance-based device-free localization and tracking. SECON 2011: 179-187

Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo: A Symbolic Algorithm for Shortest EG Witness Generation. TASE 2011: 68-75

Yang Zhao, Neal Patwari: Robust Estimators for Variance-Based Device-Free Localization and Tracking. CoRR abs/1110.1569 (2011)

Yang Zhao, Morihiro Hayashida, Tatsuya Akutsu: Integer programming-based method for grammar-based tree compression and its application to pattern extraction of glycan tree structures. BMC Bioinformatics 11(S-11): S4 (2010)

Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong: The design and application of structured types in Ptolemy II. Int. J. Intell. Syst. 25(2): 118-136 (2010)

Yang Zhao, Mingjing Guo, Kaisa Varis: The Information Resources Allocation Mechanisms in The National Innovation System of Finland. JCIT 5(9): 16-26 (2010)

Yang Zhao, Tao Xu, Krishnendu Chakrabarty: Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip. JETC 6(3) (2010)

Yang Zhao, Krishnendu Chakrabarty: Digital Microfluidic Logic Gates and Their Application to Built-in Self-Test of Lab-on-Chip. IEEE Trans. Biomed. Circuits and Systems 4(4): 250-262 (2010)

Lei Zhao, Mingqing Zhao, Yang Zhao: Measurement of Knowledge Granularity and Relationship between the Digital Features about Knowledge Divided. ACFIE 2010: 529-537

Yang Zhao, Guiming Luo: Satisfiability Degree Analysis for Transition System. AICI (1) 2010: 25-32

Yang Zhao, Krishnendu Chakrabarty: Testing of Low-Cost Digital Microfluidic Biochips with Non-regular Array Layouts. Asian Test Symposium 2010: 27-32

Zhaoxun Li, Yang Zhao, He Chen, Hanying Hu: Outage probability bound analysis in vehicle-assisted inter-vehicular communications. CSCWD 2010: 783-787

Yang Zhao, Krishnendu Chakrabarty: Synchronization of washing operations with droplet routing for cross-contamination avoidance in digital microfluidic biochips. DAC 2010: 635-640

Naiji Ren, Zhiyi Fang, Hongyu Sun, Bo Sun, Yang Zhao: CSCW based customer relationship management system. NCM 2010: 530-535

Yang Zhao, Gianfranco Ciardo: Symbolic Computation of Strongly Connected Components Using Saturation. NASA Formal Methods 2010: 202-211

Yang Zhao, Ryan Sturmer, Krishnendu Chakrabarty, Vamsee K. Pamula: Synchronization of Concurrently-Implemented Fluidic Operations in Pin-Constrained Digital Microfluidic Biochips. VLSI Design 2010: 69-74

Yang Zhao, Krishnendu Chakrabarty: Pin-count-aware online testing of digital microfluidic biochips. VTS 2010: 111-116

JiePing Xu, Yang Zhao, Zhe Chen, ZiLi Liu: Music snippet extraction via melody-based repeated pattern discovery. Science in China Series F: Information Sciences 52(5): 804-812 (2009)

Xing Jin, Ruth Willenborg, Yang Zhao, Changhua Sun, Le He, Zhijia Chen, Ying Chen, Qingbo Wang: Reinventing virtual appliances. IBM Journal of Research and Development 53(4): 7 (2009)

Yang Zhao, Krishnendu Chakrabarty: On-Line Testing of Lab-on-Chip Using Reconfigurable Digital-Microfluidic Compactors. International Journal of Parallel Programming 37(4): 370-388 (2009)

Yang Zhao, Ligong Yu, Gongxuan Zhang, Jia Bei: Assuring Structural Parallel Programs based on Scoped Permissions. JSW 4(4): 283-290 (2009)

Zhijia Chen, Yang Zhao, Chuang Lin, Qingbo Wang: Accelerating large-scale data distribution in booming internet: effectiveness, bottlenecks and practices. IEEE Trans. Consumer Electronics 55(2): 518-526 (2009)

Meng Wang, Yang Zhao, Alex Doboli: Location-Aware, Flexible Task Management for Collaborating Unmanned Autonomous Vehicles. AHS 2009: 59-66

Yang Zhao, John Boyland: Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. Australian Software Engineering Conference 2009: 277-286

Yang Zhao, Gianfranco Ciardo: Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. ATVA 2009: 368-381

Yang Zhao, Krishnendu Chakrabarty: Cross-contamination avoidance for droplet routing in digital microfluidic biochips. DATE 2009: 1290-1295

Yang Zhao, Dawei Zhang, Hao Tian, Na Li: Mass Property Estimation for Mated Flight Control. ICCMS 2009: 84-87

Zhijia Chen, Yang Zhao, Chuang Lin, Xin Miao, Qingbo Wang: P2P Accelerated Mass Data Distribution over Booming Internet: Effectiveness and Bottlenecks. ICDCS Workshops 2009: 239-244

Zhijia Chen, Yang Zhao, Xin Miao, Ying Chen, Qingbo Wang: Rapid Provisioning of Cloud Infrastructure Leveraging Peer-to-Peer Networks. ICDCS Workshops 2009: 324-329

Yang Zhao, Hongkai Xiong, Kai Zhang, Xiaobo Zhou: Equilibrium modeling for 3D curvilinear structure tracking of confocal microscopy images. ICIP 2009: 2533-2536

Yuhui Wu, Zhile Zou, Ying Chen, Yang Zhao, Qingbo Wang: SPA: A Comprehensive Framework for Hybrid Solution Provisioning. ICWS 2009: 421-428

Yang Zhao, Cheng Wei, Hongliu Wang: Tracking control in space robot grasping a floating object. ROBIO 2009: 2194-2198

Yang Zhao, Zhiguang Qin, Youtao Zhang, Taieb Znati: SDC: Secure Data Collection for Time Based Queries in Tiered Wireless Sensor Networks. RTCSA 2009: 255-262

Yang Zhao, Yong Zhang, Chunxiao Xing: Let Wiki Be More Powerful and Suitable for Enterprises with External Program. APWeb/WAIM 2009: 671-676

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin: Parallel symbolic state-space exploration is difficult, but what is the alternative? PDMC 2009: 1-17

Hui Zhang, Yang Zhao, Alex Doboli: A scalable sigma-space based methodology for modeling process parameter variations in analog circuits. Microelectronics Journal 39(12): 1785-1796 (2008)

Dong Xiang, Yang Zhao, Krishnendu Chakrabarty, Hideo Fujiwara: A Reconfigurable Scan Architecture With Weighted Scan-Enable Signals for Deterministic BIST. IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 999-1012 (2008)

Pengbo Sun, Michael Gilberti, Yang Zhao, Alex Doboli, Daniel Curiac, Dan Pescaru: Dynamic Reconfiguration of Mixed-Domain Embedded Systems for Applications with Variable Performance Requirements. AHS 2008: 323-329

Yang Zhao, Xianqing Yi, Xueshan Luo: MD_WFN: Multi-dimensional workflow model based on Petri-net. CSCWD 2008: 643-647

Mingjing Guo, Yang Zhao: An Architecture for Digital Library Information Service in an Ambient Intelligence Environment. CSSE (6) 2008: 444-447

Yang Zhao, Ligong Yu, Jia Bei: Assure Parallel Interference Patterns in Multithreaded Programs with Permissions. CSSE (2) 2008: 668-671

Yang Zhao, Dang-en Xie, Dan Xu: Tour into Virtual Environment in the Style of Pencil Drawing. Edutainment 2008: 628-635

Guy Lebanon, Yang Zhao: Local likelihood modeling of temporal text streams. ICML 2008: 552-559

Yang Zhao, Krishnendu Chakrabarty: On-Line Testing of Lab-on-Chip Using Digital Microfluidic Compactors. IOLTS 2008: 213-218

Yang Zhao, Tao Xu, Krishnendu Chakrabarty: Built-in Self-Test and Fault Diagnosis for Lab-on-Chip Using Digital Microfluidic Logic Gates. ITC 2008: 1-10

Yang Zhao, Tao Xu, Krishnendu Chakrabarty: Digital Microfluidic Logic Gates. NanoNet 2008: 54-60

Yang Zhao, John Boyland: A Fundamental Permission Interpretation for Ownership Types. TASE 2008: 65-72

Yanyan Zhang, Yang Zhao, Liang Ge, Xiaofeng Tao: High Rank Modulation Investigation for PO-CI/MC-CDMA Systems. VTC Fall 2008: 1-5

Yang Zhao, Li Xihong, Lai Jianbo: Analysis on the diffusion hazards of dynamic leakage of gas pipeline. Rel. Eng. & Sys. Safety 92(1): 47-53 (2007)

Dang-en Xie, Yang Zhao, Dan Xu, Xiaochuan Yang: Convolution Filter Based Pencil Drawing and Its Implementation on GPU. APPT 2007: 723-732

Dang-en Xie, Yang Zhao, Dan Xu: An Efficient Approach for Generating Pencil Filter and Its Implementation on GPU. CAD/Graphics 2007: 185-190

Yang Zhao, Dan Xu: Automatic and Real-Time Video Stylization. CAD/Graphics 2007: 505-508

Yanhong Guo, Guifa Teng, Yueli Li, Fang Wang, Yang Zhao, Jianbin Ma: Improvement of Object-Oriented System Analysis and Design with Aspects. COMPSAC (2) 2007: 379-384

Tao Lv, Tong Xu, Yang Zhao, Huawei Li, Xiaowei Li: Bug analysis and corresponding error models in real designs. HLDVT 2007: 59-64

Changping Hu, Yang Zhao, Xueqin Zhao: Wiki-based Knowledge Sharing in A Knowledge-Intensive Organization. I3E (2) 2007: 18-25

Yang Zhao: A FOAF-based Framework for E-Commerce Recommender Service System. I3E (1) 2007: 635-642

Dong Xiang, Yang Zhao, Kaiwei Li, Hideo Fujiwara: Fast and effective fault simulation for path delay faults based on selected testable paths. ITC 2007: 1-10

Yang Zhao, Jie Liu, Edward A. Lee: A Programming Model for Time-Synchronized Distributed Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 259-268

Bertram Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew B. Jones, Edward A. Lee, Jing Tao, Yang Zhao: Scientific workflow management and the Kepler system. Concurrency and Computation: Practice and Experience 18(10): 1039-1065 (2006)

Bin Yu, Chen Zhang, Yang Zhao: Transform from Models to Service Description Based on MDA. APSCC 2006: 605-608

Hui Zhang, Yang Zhao, Alex Doboli: ALAMO: an improved alpha-space based methodology for modeling process parameter variations in analog circuits. DATE 2006: 156-161

Ya-Ping Zhang, Yang Zhao, Jiaoying Shi, Dan Xu: Digitization of Culture Heritage Based on Tour into the Picture. Edutainment 2006: 1312-1320

Yang Zhao, Airong Jiang: A Digital Resource Harvesting Approach for Distributed Heterogeneous Repositories. ICADL 2006: 71-80

Yang Zhao, Xiaoxiao Hou, Mao Yang, Yafei Dai: Measurement study and application of social network in the Maze P2P file-sharing system. Infoscale 2006: 57

Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, Lizhi C. Zhong: The design and application of structured types in Ptolemy II. GrC 2005: 683-688

Yang Zhao, Ya-Ping Zhang, Dan Xu: Non-photorealistic Tour into Panorama. ICCSA (3) 2005: 274-283

Edward A. Lee, Yang Zhao: Reinventing Computing for Real Time. Monterey Workshop 2005: 1-25

Elaine Cheong, Edward A. Lee, Yang Zhao: Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. SenSys 2005: 302

Yang Zhao, Patrizio Campisi, Deepa Kundur: Dual domain watermarking for authentication and compression of cultural heritage image. IEEE Transactions on Image Processing 13(3): 430-448 (2004)

Min Qu, Yafei Dai, Yang Zhao: Engineering Web Storage Servers Using Session Management. GCC Workshops 2004: 213-220

Yang Zhao, Airong Jiang: Building a Distributed Heterogeneous CALIS-ETD Digital Library. ICADL 2004: 155-164

Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao: Modeling of sensor nets in Ptolemy II. IPSN 2004: 359-368

Deepa Kundur, Yang Zhao, Patrizio Campisi: A stenographic framework for dual authentication and compression of high resolution imagery. ISCAS (2) 2004: 1-4