HTTP/1.1 200 OK Connection: close Date: Sun, 26 Oct 2003 10:39:16 GMT Accept-Ranges: bytes Server: Netscape-Enterprise/3.6 Content-Length: 7525 Content-Type: text/html Last-Modified: Thu, 09 Oct 2003 07:40:30 GMT Cache-Last-Checked: Sun, 02 Nov 2003 19:15:40 GMT Client-Date: Sun, 02 Nov 2003 19:15:41 GMT Client-Response-Num: 1 Proxy-Agent: Netscape-Proxy/3.52 Title: DBLP: Ying Zhang DBLP: Ying Zhang dblp.uni-trier.de

Ying Zhang

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM - CiteSeer - CSB - Google - HomePageSearch
2003
15EEYing Zhang, Krishnendu Chakrabarty: Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems. DATE 2003: 10918-10925
14 Mark Yim, Kimon Roufas, David Duff, Ying Zhang, Craig Eldershaw, Samuel B. Homans: Modular Reconfigurable Robots in Space Applications. Autonomous Robots 14(2-3): 225-237 (2003)
2001
13EEYing Zhang, Deepinder P. Sidhu: An Analysis Comparing Light-Tree and Lightpath in Wavelength Routed Optical Networks. LCN 2001: 486-487
12 Mark Yim, Ying Zhang, John Lamping, Eric Mao: Distributed Control for 3D Metamorphosis. Autonomous Robots 10(1): 41-56 (2001)
11 Yani Zhang, Changyun Wen, Ying Zhang, Yeng Chai Soh: Neural Network Based Classification Using Blur Degradation and Affine Deformation Invariant Features. International Journal on Artificial Intelligence Tools 10(1-2): 243-256 (2001)
2000
10 Yani Zhang, Changyun Wen, Ying Zhang: Neural Network Based Classification Using Blur Degradation and Affine Deformation Invariant Features. FLAIRS Conference 2000: 76-80
9EEYani Zhang, Changyun Wen, Ying Zhang: Simultaneously Recovering Affine Motion and Defocus Blur Using Moments. ICPR 2000: 3881-3884
8EEKimon Roufas, Ying Zhang, Dave Duff, Mark Yim: Six Degree of Freedom Sensing for Docking Using IR LED Emitters and Receivers. ISER 2000: 91-100
7EEYani Zhang, Changyun Wen, Ying Zhang: Estimation of motion parameters from blurred images. Pattern Recognition Letters 21(5): 425-433 (2000)
1998
6EELuiz De Rose, Ying Zhang, Daniel A. Reed: SvPablo: A Multi-language Performance Analysis System. Computer Performance Evaluation (Tools) 1998: 352-355
1995
5 Ying Zhang, Alan K. Mackworth: Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata. Hybrid Systems 1995: 587-603
4EEYing Zhang, Alan K. Mackworth: Constraint Nets: A Semantic Model for Hybrid Dynamic Systems. TCS 138(1): 211-239 (1995)
1994
3 Ying Zhang, Alan K. Mackworth: Synthesis of Hybrid Constraint-Based Controllers. Hybrid Systems 1994: 552-567
2 Ying Zhang, Alan K. Mackworth: Specification and Verification of Constraint-Based Dynamic Systems. PPCP 1994: 229-242
1993
1 Ying Zhang, Alan K. Mackworth: Constraint Programming in Constraint Nets. PPCP 1993: 293-302

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Oct 9 03:19:44 2003