dblp.uni-trier.de

Yan Zhang

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

2007
168EEYan Zhang, Mircea R. Stan: Temperature-aware circuit design using adaptive body biasing. ACM Great Lakes Symposium on VLSI 2007: 84-89
167EEYan Zhang, Laurence Tianruo Yang, Jianhua Ma, Jun Zheng, Mingtuo Zhou, Shaoqiu Xiao: Quantitative Analysis of Location Management and QoS in Wireless Mobile Networks. AINA 2007: 573-579
166EEHuansheng Ning, Yu Cong, Z.-Q. Xu, T. Hong, J.-C. Zhao, Yan Zhang: Performance Evaluation of RFID Anti-Collision Algorithm with FPGA Implementation. AINA Workshops (2) 2007: 153-158
165EEYizhen Zhu, Mingda Wu, Yan Zhang, Xiaoming Li: Promotional Ranking of Search Engine Results: Giving New Web Pages a Chance to Prove Their Values. APWeb/WAIM 2007: 503-510
164EEShunying Lü, Wei Wang, Yan Zhang: Bayesian Method Based Trusted Overlay for Information Retrieval over Networks. APWeb/WAIM Workshops 2007: 168-173
163EEJason Cong, Guojie Luo, Jie Wei, Yan Zhang: Thermal-Aware 3D IC Placement Via Transformation. ASP-DAC 2007: 780-785
162EEYan Zhang, Yan Jia, Xiaobin Huang, Bin Zhou, Jian Gu: A Scalable Method for Efficient Grid Resource Discovery. CDVE 2007: 97-103
161EEYan Zhang, Yan Jia, Xiaobin Huang, Bin Zhou, Jian Gu: A Grid Resource Discovery Method Based on Adaptive k -Nearest Neighbors Clustering. COCOA 2007: 171-181
160EEShihui Wang, Yan Zhang, Wei Wang: Reliable Self-Clustering P2P Overlay Networks. COMPSAC (1) 2007: 105-108
159EEYulin Ding, Yan Zhang: System Modification Case Studies. COMPSAC (2) 2007: 355-360
158EEYan Zhang, Sudhanva Gurumurthi, Mircea R. Stan: SODA: Sensitivity Based Optimization of Disk Architecture. DAC 2007: 865-870
157EEXiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li: Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218
156EEYan Zhang, Masato Uchida, Masato Tsuru, Yuji Oie: Can Scheduling with Error Rate Consideration Support TCP Performance Comparable to Packet Combining HARQ in Evolved UTRA and UTRAN Networks? ECUMN 2007: 135-144
155EEKhaled M. Elbassioni, René Sitters, Yan Zhang: A Quasi-PTAS for Profit-Maximizing Pricing on Line Graphs. ESA 2007: 451-462
154EEYan Zhang, Yan Jia, Xiaobin Huang, Bin Zhou, Jian Gu: An Adaptive k -Nearest Neighbors Clustering Algorithm for Complex Distribution Dataset. ICIC (2) 2007: 398-407
153EEYan Zhang: Epistemic Reasoning in Logic Programs. IJCAI 2007: 647-653
152EEYan Zhang, Wei Wang, Shunying Lü: Simulating Trust Overlay in P2P Networks. International Conference on Computational Science (1) 2007: 632-639
151EERobert Capra, Gary Marchionini, Jung Sun Oh, Frederic Stutzman, Yan Zhang: Effects of structure and interaction style on distinct search tasks. JCDL 2007: 442-451
150EEYi Zhou, Fangzhen Lin, Yan Zhang: General Default Logic. LPNMR 2007: 241-253
149EEShengyang Yu, Yan Zhang, Yonggang Wang, Jie Yang: Color-Texture Image Segmentation by Combining Region and Photometric Invariant Edge Information. MCAM 2007: 286-294
148EEDapeng Wang, Kai Liu, Lianzhen Cheng, Yan Zhang: A Novel Multiple Access Protocol with QoS Support for Mobile Ad Hoc Networks. NPC 2007: 260-266
147EEJun Zheng, Yan Zhang, Ling Wang, Jinlin Chen: Adaptive location update area design for wireless cellular networks under 2D Markov walk model. Computer Communications 30(9): 2060-2069 (2007)
146EEYan Zhang, Paul H. Siegel, Laurence B. Milstein: Approaching V-BLAST Capacity With Adaptive Modulation and LDPC Encoding. IEEE Transactions on Communications 55(7): 1439-1439 (2007)
145EEXiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li: A model-driven development framework for enterprise Web services. Information Systems Frontiers 9(4): 391-409 (2007)
144EEShujing Wang, Yan Zhang: Handling distributed authorization with delegation through answer set programming. Int. J. Inf. Sec. 6(1): 27-46 (2007)
143EEYan Zhang, Zhifeng Chen, Yuanyuan Zhou: Efficient Execution of Multiple Queries on Deep Memory Hierarchy. J. Comput. Sci. Technol. 22(2): 273-279 (2007)
142EEMordecai J. Golin, Yan Zhang: The two-median problem on Manhattan meshes. Networks 49(3): 226-233 (2007)
2006
141 Dongmo Zhang, Yan Zhang: A Computational Model of Logic-Based Negotiation. AAAI 2006
140EEWenbiao Zhou, Yan Zhang, Zhigang Mao: Pareto based Multi-objective Mapping IP Cores onto NoC Architectures. APCCAS 2006: 331-334
139EEJason Cong, Ashok Jagannathan, Yuchun Ma, Glenn Reinman, Jie Wei, Yan Zhang: An automated design flow for 3D microarchitecture evaluation. ASP-DAC 2006: 384-389
138EEDongmo Zhang, Yan Zhang: Logical Properties of Belief-Revision-Based Bargaining Solution. Australian Conference on Artificial Intelligence 2006: 79-89
137EEYi Zhang, Lei Zhang, Yan Zhang, Xiaoming Li: XRank: Learning More fromWeb User Behaviors. CIT 2006: 36
136EELei Zhang, Yi Zhang, Yan Zhang, Xiaoming Li: Exploring both Content and Link Quality for Anti-Spamming. CIT 2006: 37
135EEZhijian Lu, Yan Zhang, Mircea R. Stan, John Lach, Kevin Skadron: Procrastinating voltage scheduling with discrete frequency sets. DATE 2006: 456-461
134EEYan Zhang, Jussi Roivainen, Aarne Mämmelä: Clock-Gating in FPGAs: A Novel and Comparative Evaluation. DSD 2006: 584-590
133 Yulin Ding, Yan Zhang: CTL Model Update: Semantics, Computations and Implementation. ECAI 2006: 362-366
132EEXinyou Zhao, Mitsuji Matsumoto, Yan Zhang: A Real-time Interactive Instructor Framework for Distance Education. ECBS 2006: 489-490
131EEXiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li: A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84
130EEMaode Ma, Jialing Zheng, Yan Zhang, Zhenhai Shao, Masayuki Fujise: A Power-Controlled Rate-Adaptive MAC Protocol to Support Differentiated Service in Wireless Ad Hoc Networks. GLOBECOM 2006
129EEYan Zhang, Wei Qu, Anna Liu: Adaptive Self-Configuration Architecture for J2EE-Based Middleware Systems. HICSS 2006
128EEJiguo Zeng, Yan Zhang, Chen Liu, Shouyi Zhan: Fast Modeling of Curved Object from Two Images. HIS 2006: 22
127EEXinyou Zhao, Yan Zhang: An Instructor-Oriented Prototype System for Virtual Classroom. ICALT 2006: 200-204
126EEYan Zhang, Zhengxing Sun, Wenhui Li: Creating Dynamic Panorama Using Particle Swarm Optimization. ICAT 2006: 676-685
125EECui-xiang Liu, Yi-cai Sun, Ming Yu, Yan Zhang, Cun-da Yuan: Face Recognition Based on Polynomial Fuzzy Matching. ICAT Workshops 2006: 387-390
124EEYan Zhang, Xingquan Zhu, Xindong Wu: Corrective Classification: Classifier Ensembling with Corrective and Diverse Base Learners. ICDM 2006: 1199-1204
123EEYan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225
122EETao Zhang, Yan Zhang, Xijian Ping, Mingwu Song: Detection of LSB Steganography based on Image Smoothness. ICME 2006: 1377-1380
121EEYan Zhang, Qing Xu, Tao Wang, Lei Sun: Limited Recurrent Neural Network for Superresolution Image Reconstruction. ICONIP (2) 2006: 304-313
120EETao Wang, Yan Zhang, Yong Sheng Zhang: SuperResolution Image Reconstruction Using a Hybrid Bayesian Approach. ICONIP (2) 2006: 412-419
119EEYan Zhang, Masato Uchida, Masato Tsuru, Yuji Oie: Scheduling algorithms with error rate consideration in HSDPA networks. IWCMC 2006: 1241-1246
118 Yan Zhang: Computational Properties of Epistemic Logic Programs. KR 2006: 308-317
117EEYulin Ding, Yan Zhang: A Case Study for CTL Model Update. KSEM 2006: 88-101
116EEWolfgang W. Bein, Mordecai J. Golin, Lawrence L. Larmore, Yan Zhang: The Knuth-Yao quadrangle-inequality speedup is a consequence of total-monotonicity. SODA 2006: 31-40
115EEJiguo Zeng, Yan Zhang, Shouyi Zhan, Chen Liu: Reconstructing Symmetric Curved Surfaces from a Single Image and Its Application. VSMM 2006: 204-213
114EEYan Zhang, Zhifeng Chen, Yuanyuan Zhou: MiniTasking: Improving Cache Performance for Multiple Query Workloads. WAIM 2006: 287-299
113EEAmotz Bar-Noy, Mordecai J. Golin, Yan Zhang: Online Dynamic Programming Speedups. WAOA 2006: 43-54
112EEYan Zhang: Logic program-based updates. ACM Trans. Comput. Log. 7(3): 421-472 (2006)
111EERudolf Fleischer, Mordecai J. Golin, Yan Zhang: Online Maintenance of k-Medians and k-Covers on a Line. Algorithmica 45(4): 549-567 (2006)
110EEYan Zhang, Norman Y. Foo: Solving logic program conflict through strong and weak forgettings. Artif. Intell. 170(8-9): 739-778 (2006)
109EEYan Zhang, Jun Zheng, Lili Zhang, Yifan Chen, Maode Ma: Modeling location management in wireless networks with generally distributed parameters. Computer Communications 29(12): 2386-2395 (2006)
108EEYan Zhang, Boon-Hee Soong, Miao Ma: A dynamic channel assignment scheme for voice/data integration in GPRS networks. Computer Communications 29(8): 1163-1173 (2006)
107EEYan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Deriving Available Behavior All Out from Incompatible Component Compositions. Electr. Notes Theor. Comput. Sci. 160: 349-361 (2006)
106EEJianwen Chen, Yan Zhang: A rule based knowledge transaction model for mobile environments. Inf. Sci. 176(18): 2642-2672 (2006)
105EEVino Fernando Crescini, Yan Zhang: PolicyUpdater: a system for dynamic access control. Int. J. Inf. Sec. 5(3): 145-165 (2006)
104EEPeng Liu, Yan Zhang, Zhigang Mao: A Restoration Algorithm for Images Contaminated by Impulse Noise. Journal of Computer Research and Development 43(11): 1939-1946 (2006)
2005
103 Yan Zhang, Norman Y. Foo: A Unified Framework for Representing Logic Program Updates. AAAI 2005: 707-713
102EEShujing Wang, Yan Zhang: A Formalization of Distributed Authorization with Delegation. ACISP 2005: 303-315
101EEJason Cong, Yan Zhang: Thermal-driven multilevel routing for 3-D ICs. ASP-DAC 2005: 121-126
100EEYan Zhang: Architecture and performance comparison of a statistic-based lottery arbiter for shared bus on chip. ASP-DAC 2005: 1313-1316
99EEShujing Wang, Yan Zhang: Answer Set Programming for Distributed Authorization: The Language, Computations, and Application. Australian Conference on Artificial Intelligence 2005: 1191-1194
98EEYulin Ding, Yan Zhang: Model Updating CTL Systems. Australian Conference on Artificial Intelligence 2005: 5-16
97EEYan Zhang, Xiangdong Qin: Effectively Maintaining Multiple View Consistency in Web Warehouses. CIT 2005: 187-193
96EEYan Zhang, Xiangdong Qin: Effectively Maintaining Single View Consistency in Web Warehouses. CIT 2005: 199-205
95EEYan Zhang, Zhijian Lu, John Lach, Kevin Skadron, Mircea R. Stan: Optimal procrastinating voltage scheduling for hard real-time systems. DAC 2005: 905-908
94EEJun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng: Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. EUC 2005: 395-404
93 Jason Cong, Yan Zhang: Thermal via planning for 3-D ICs. ICCAD 2005: 745-752
92EEYan Zhang, Zhanli Sun: A general introduction to the research and legislation of Chinese electronic commerce law. ICEC 2005: 864-870
91EEJim M. Ng, Yan Zhang: A Mobility Model with Group Partitioning for Wireless Ad Hoc Networks. ICITA (2) 2005: 289-294
90EEYan Zhang, Wenhui Li, Yu Meng, Haixu Chen, Tong Wang: Intelligent Mosaics Algorithm of Overlapping Images. ICNC (3) 2005: 938-942
89EEJun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng: Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops 2005: 240-247
88EEYan Zhang, Xingquan Zhu, Xindong Wu, Jeffrey P. Bond: ACE: An Aggressive Classifier Ensemble with Error Detection, Correction, and Cleansing. ICTAI 2005: 310-317
87EEYan Zhang, Norman Y. Foo, Kewen Wang: Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI 2005: 627-634
86EEYan Zhang, Travis Blalock, Mircea R. Stan: A three-level toggle-avoid bus signaling scheme. ISCAS (2) 2005: 1843-1846
85EEYulin Ding, Yan Zhang: A Logic Approach for LTL System Modification. ISMIS 2005: 435-444
84EEYulin Ding, Yan Zhang: Algorithms for CTL System Modification. KES (2) 2005: 1000-1006
83EEShujing Wang, Yan Zhang: Specifying Distributed Authorization with Delegation Using Logic Programming. KES (2) 2005: 761-767
82EEKewen Wang, Yan Zhang: Nested Epistemic Logic Programs. LPNMR 2005: 279-290
81EEZhifeng Chen, Yan Zhang, Yuanyuan Zhou, Heidi Scott, Berni Schiefer: Empirical evaluation of multi-level buffer cache collaboration for storage systems. SIGMETRICS 2005: 145-156
80EEYan Zhang, Xiangdong Qin: State Transfer Graph: An Efficient Tool for Webview Maintenance. WAIM 2005: 513-525
79EEYan Zhang, Wei Qu, Anna Liu: Automatic Performance Tuning for J2EE Application Server Systems. WISE 2005: 520-527
78EEChitta Baral, Yan Zhang: Knowledge updates: Semantics and complexity issues. Artif. Intell. 164(1-2): 209-243 (2005)
77EEYan Zhang, Vadim N. Gladyshev: An algorithm for identification of bacterial selenocysteine insertion sequence elements and selenoprotein genes. Bioinformatics 21(11): 2580-2589 (2005)
76EELiwei Wang, Yan Zhang, Jufu Feng: On the Euclidean Distance of Images. IEEE Trans. Pattern Anal. Mach. Intell. 27(8): 1334-1339 (2005)
75EEJason Cong, Jie Fang, Min Xie, Yan Zhang: MARS-a multilevel full-chip gridless routing system. IEEE Trans. on CAD of Integrated Circuits and Systems 24(3): 382-394 (2005)
74EEYan Zhang, Laurence B. Milstein, Paul H. Siegel: Tradeoff between diversity gain and interference suppression in a MIMO MC-CDMA system. IEEE Transactions on Communications 53(4): 623-631 (2005)
73EEShaoyuan Li, Yan Zhang, Quanmin Zhu: Nash-optimization enhanced distributed model predictive control applied to the Shell benchmark problem. Inf. Sci. 170(2-4): 329-349 (2005)
72EEYun Bai, Yan Zhang, Vijay Varadharajan: On the sequence of authorization policy transformations. Int. J. Inf. Sec. 4(1-2): 120-131 (2005)
2004
71EEVino Fernando Crescini, Yan Zhang: A Logic Based Approach for Dynamic Access Control. Australian Conference on Artificial Intelligence 2004: 623-635
70EENorman Y. Foo, Pavlos Peppas, Yan Zhang: Constraints from STRIPS - Preliminary Report. Australian Conference on Artificial Intelligence 2004: 670-680
69EEJianwen Chen, Yan Zhang: An extended logic programming based multi-agent system formalization in mobile environments. CIKM 2004: 166-167
68EEYan Zhang, Shiwei Tang, Dongqing Yang: Efficient View Maintenance in a Large-Scale Web Warehouse. CIT 2004: 992-997
67EEYingmin Li, Dharmesh Parikh, Yan Zhang, Karthik Sankaranarayanan, Mircea R. Stan, Kevin Skadron: State-Preserving vs. Non-State-Preserving Leakage Control in Caches. DATE 2004: 22-29
66EEHai Huang, Shaofeng Wang, Yan Zhang, Wei Wu: Resource Discovery Mechanism for Large-Scale Distributed Simulation Oriented Data Grid. GCC 2004: 431-439
65EERena Ding, Yan Zhang: Dual space drawing methods for cones. GRAPHITE 2004: 148-154
64EEJason Cong, Jie Wei, Yan Zhang: A thermal-driven floorplanning algorithm for 3D ICs. ICCAD 2004: 306-313
63 Vino Fernando Crescini, Yan Zhang, Weiyuan Wang: Web server authorisation with the policyupdater access control system. ICWI 2004: 945-948
62EEJianwen Chen, Yan Zhang: A Multi-Agent System for Mobile Environments. Intelligent Information Processing 2004: 11-22
61 Kaile Su, Guanfeng Lv, Yan Zhang: Reasoning about Knowledge by Variable Forgetting. KR 2004: 576-586
60EEMircea R. Stan, Yan Zhang: Perfect 3-Limited-Weight Code for Low Power I/O. PATMOS 2004: 79-89
59EERudolf Fleischer, Mordecai J. Golin, Yan Zhang: Online Maintenance of k-Medians and k-Covers on a Line. SWAT 2004: 102-113
58EEYan Zhang, David A. Eberhard, Gretchen D. Frantz, Patrick Dowd, Thomas D. Wu, Yan Zhou, Colin K. Watanabe, Shiuh-Ming Luoh, Paul Polakis, Kenneth J. Hillan, William I. Wood, Zemin Zhang: GEPIS - quantitative gene expression profiling in normal and cancer tissues. Bioinformatics 20(15): 2390-2398 (2004)
57EEYan Zhang, Boon-Hee Soong: Handoff counting in hierarchical cellular system with overflow scheme. Computer Networks 46(4): 541-554 (2004)
56EEDharmesh Parikh, Kevin Skadron, Yan Zhang, Mircea R. Stan: Power-Aware Branch Prediction: Characterization and Design. IEEE Trans. Computers 53(2): 168-186 (2004)
55EEYun Bai, Yan Zhang: Artificial Intelligence In Database Security. IJPRAI 18(1): 3-17 (2004)
2003
54EEYan Zhang, Anna Liu, Wei Qu: Comparing Industry Benchmarks for J2EE Application Server : IBM's Trade2 vs Sun's ECperf. ACSC 2003: 199-206
53EEYan Zhang, Jufu Feng: Eliminating Variation of Face Images Using Face Symmetry. AVBPA 2003: 523-530
52 Rena Ding, Yan Zhang: The Dual Drawing Method of the Hyperbolic Paraboloid and the Screen Representation of the Ruling. CISST 2003: 410-415
51 Chun Ruan, Vijay Varadharajan, Yan Zhang: Evaluation of Authorization with Delegation and Negation. IIS 2003: 547-551
50 Yan Zhang: Minimal Change and Maximal Coherence for Epistemic Logic Program Updates. IJCAI 2003: 112-120
49EEChun Ruan, Vijay Varadharajan, Yan Zhang: A Logic Model for Temporal Authorization Delegation with Negation. ISC 2003: 310-324
48EEYan Zhang, Yun Bai: The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. ISMIS 2003: 349-356
47EEFabian Kuhn, Roger Wattenhofer, Yan Zhang, Aaron Zollinger: Geometric ad-hoc routing: of theory and practice. PODC 2003: 63-72
46 Chun Ruan, Vijay Varadharajan, Yan Zhang: Delegatable Authorization Program and Its Application. Security and Management 2003: 267-273
45EEYan Zhang: Experimental comparison of superquadric fitting objective functions. Pattern Recognition Letters 24(14): 2185-2193 (2003)
44 Yan Zhang: Two results for prioritized logic programming. TPLP 3(2): 223-242 (2003)
43 Yan Zhang: Handling defeasibilities in action domains. TPLP 3(3): 329-376 (2003)
2002
42EEYan Zhang, Bo Xu, Chengqing Zong: Chinese Syntactic Parsing Based on Extended GLR Parsing Algorithm with PCFG*. COLING 2002
41EEDharmesh Parikh, Kevin Skadron, Yan Zhang, Marco Barcella, Mircea R. Stan: Power Issues Related to Branch Prediction. HPCA 2002: 233-
40EEJason Cong, Min Xie, Yan Zhang: An enhanced multilevel routing system. ICCAD 2002: 51-58
39 SangKyu Kang, Joon Ki Paik, Besma R. Abidi, Yan Zhang, Joon Ki Paik, Andreas Koschan, Mongi A. Abidi: Hierarchical approach to enhanced active shape model for color video tracking. ICIP (1) 2002: 888-891
38 Yan Zhang, Joon Ki Paik, Andreas Koschan, Mongi A. Abidi, David Gorsich: Simple and efficient algorithm for part decomposition of 3-D triangulated models based on curvature analysis. ICIP (3) 2002: 273-276
37EEYan Zhang, Joon Ki Paik, Andreas Koschan, Mongi A. Abidi: 3-D Object Representation from Multi-View Range Data Applying Deformable Superquadrics. ICPR (3) 2002: 611-614
36EEYan Zhang, John Lach, Kevin Skadron, Mircea R. Stan: Odd/even bus invert with two-phase transfer for buses with coupling. ISLPED 2002: 80-83
35EEChun Ruan, Vijay Varadharajan, Yan Zhang: Logic-Based Reasoning on Delegatable Authorizations. ISMIS 2002: 185-193
34 Chitta Baral, Yan Zhang: The Complexity of Model Checking for Knowledge Update. KR 2002: 82-96
33EEYan Zhang, Norman Y. Foo: Representing Actions over Dynamic Domains. PRICAI 2002: 60-69
32EEYan Zhang: Two results for proiritized logic programming CoRR cs.AI/0203007: (2002)
31EEYan Zhang: Handling Defeasibilities in Action Domains CoRR cs.AI/0206003: (2002)
2001
30EEYan Zhang, Vijay Varadharajan: A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols. ACSC 2001: 215-222
29EEYan Zhang: The Complexity of Logic Program Updates. Australian Joint Conference on Artificial Intelligence 2001: 631-642
28EEYun Bai, Yan Zhang: On the Computational Aspect of Rule Based Database Updates. IEA/AIE 2001: 71-81
27 Chitta Baral, Yan Zhang: On the Semantics of Knowledge Update. IJCAI 2001: 97-102
26EENorman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo: Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR 2001: 240-253
25EEYan Zhang, Cheng-Min Wu, Yun Bai: Implementing prioritized logic programming. AI Commun. 14(4): 183-196 (2001)
24 Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang: Apparent Nondeterminism in Actions. Journal of Research and Practice in Information Technology 33(4): 360-368 (2001)
2000
23 Hongxue Wang, Vijay Varadharajan, Yan Zhang: Towards a Generic Logic for Analysing Network Protocols. ICDCS Workshop on Internet 2000: A19-A26
22EESai Kiran Lakkaraju, Yan Zhang: Rule Based Abduction. ISMIS 2000: 525-533
21 Yan Zhang, Yiyong Sun, Hamed Sari-Sarraf, Mongi A. Abidi: Impact of Intensity Edge map on Segmentation of Noisy Range Images. Three-Dimensional Image Capture and Applications 2000: 260-269
20 Yan Zhang, Norman Y. Foo: Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. Computational Intelligence 16(1): 29-52 (2000)
1999
19 Yan Zhang, Chi Chi Hung, Yi Ding: Optimization of Multi-Layer Feed-forward Neural Network Through Second Degree Superposition. Applied Informatics 1999: 32-35
18 Sai Kiran Lakkaraju, Yan Zhang: A Procedural Approach for Rule Based Update. Australian Joint Conference on Artificial Intelligence 1999: 467-468
17 Yan Zhang: Monotonicity in Rule Based Update. ICLP 1999: 471-485
16 Cheng-Min Wu, Yan Zhang: Implementing Prioritized Logic Programming. ISMIS 1999: 85-93
15EEYan Zhang: Specifying Causality in Action Theories: A Default Logic Approach. Theor. Comput. Sci. 220(2): 489-513 (1999)
1998
14 Yan Zhang: Representing Defeasible Constraints and Observations in Action Theories. Australian Joint Conference on Artificial Intelligence 1998: 309-320
13 Yan Zhang, Norman Y. Foo: Updating Logic Programs. ECAI 1998: 403-407
12EEHongxue Wang, Vijay Varadharajan, Yan Zhang: A Secure Communication Scheme for Multiagent Systems. PRIMA 1998: 174-185
1997
11 Norman Y. Foo, Pavlos Peppas, Yan Zhang: Inductive Properties of States. Australian Joint Conference on Artificial Intelligence 1997: 227-235
10 Yan Zhang: Disjunctive Update, Minimal Change, and Default Reasoning. ECSQARU-FAPR 1997: 600-613
9 Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang: Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) 1997: 549-554
8 Yan Zhang, Norman Y. Foo: Towards Generalized Rule-based Updates. IJCAI (1) 1997: 82-88
7 Yan Zhang, Norman Y. Foo: Answer Sets for Prioritized Logic Programs. ILPS 1997: 69-83
6 Yan Zhang: Constraints, Causal Rules and Minimal Change in Model-based Update. ISMIS 1997: 609-618
5 Yan Zhang, Norman Y. Foo: Deriving Invariants and Constraints from Action Theories. Fundam. Inform. 30(1): 109-123 (1997)
1996
4 Yan Zhang, Norman Y. Foo: Updating Knowledge Bases with Disjunctive Information. AAAI/IAAI, Vol. 1 1996: 562-568
3 Yan Zhang: Semantical Considerations for Knowledge Base Updates. ISMIS 1996: 88-97
1995
2 Yan Zhang, Norman Y. Foo: Applying the persistent set approach in temporal reasoning. Ann. Math. Artif. Intell. 14(1): (1995)
1993
1 Yan Zhang, Norman Y. Foo: Reasoning About Persistence: A Theory of Actions. IJCAI 1993: 718-723

Coauthor Index

1Besma R. Abidi [39]
2Mongi A. Abidi [21] [37] [38] [39]
3Yun Bai [25] [28] [48] [55] [72]
4Amotz Bar-Noy [113]
5Chitta Baral [27] [34] [78]
6Marco Barcella [41]
7Wolfgang W. Bein [116]
8Travis Blalock [86]
9Jeffrey P. Bond [88]
10Robert G. Capra (Robert Capra) [151]
11Haixu Chen [90]
12Jianwen Chen [62] [69] [106]
13Jinlin Chen [147]
14Yifan Chen [109]
15Zhifeng Chen [81] [114] [143]
16Lianzhen Cheng [148]
17Samir Chopra [26]
18Jason Cong [40] [64] [75] [93] [101] [139] [163]
19Yu Cong [166]
20Vino Fernando Crescini [63] [71] [105]
21Rena Ding [52] [65]
22Yi Ding [19]
23Yulin Ding [84] [85] [98] [117] [133] [159]
24Patrick Dowd [58]
25David A. Eberhard [58]
26Khaled M. Elbassioni [155]
27Jie Fang [75]
28Jufu Feng [53] [76]
29Rudolf Fleischer [59] [111]
30Norman Y. Foo [1] [2] [4] [5] [7] [8] [9] [11] [13] [20] [24] [26] [33] [70] [87] [103] [110]
31Gretchen D. Frantz [58]
32Masayuki Fujise [130]
33Vadim N. Gladyshev [77]
34Mordecai J. Golin [59] [111] [113] [116] [142]
35David Gorsich [38]
36Jian Gu [154] [161] [162]
37Sudhanva Gurumurthi [158]
38Kenneth J. Hillan [58]
39T. Hong [166]
40Jun Hu [89] [94] [107] [123] [131] [145]
41Hai Huang [66]
42Xiaobin Huang [154] [161] [162]
43Chi Chi Hung [19]
44Ashok Jagannathan [139]
45Yan Jia [154] [161] [162]
46SangKyu Kang [39]
47Andreas Koschan [37] [38] [39]
48Fabian Kuhn [47]
49Rex Bing Hung Kwok [24]
50John Lach [36] [95] [135]
51Sai Kiran Lakkaraju [18] [22]
52Lawrence L. Larmore [116]
53Shaoyuan Li [73]
54Wenhui Li [90] [126]
55Xiaoming Li [136] [137] [165]
56Xuandong Li [89] [94] [107] [123] [131] [145] [157]
57Yingmin Li [67]
58Fangzhen Lin [150]
59Anna Liu [54] [79] [129]
60Chen Liu [115] [128]
61Cui-xiang Liu [125]
62Kai Liu [148]
63Peng Liu [104]
64Shunying Lü [152] [164]
65Zhijian Lu [95] [135]
66Guojie Luo [163]
67Shiuh-Ming Luoh [58]
68Guanfeng Lv [61]
69Jianhua Ma [167]
70Maode Ma [109] [130]
71Miao Ma [108]
72Yuchun Ma [139]
73Aarne Mämmelä [134]
74Zhigang Mao [104] [140]
75Gary Marchionini [151]
76Mitsuji Matsumoto [132]
77Yu Meng [90]
78Laurence B. Milstein [74] [146]
79Abhaya C. Nayak [9]
80Jim M. Ng [91]
81Huansheng Ning [166]
82Jung Sun Oh [151]
83Yuji Oie [119] [156]
84Maurice Pagnucco [9]
85Joon Ki Paik [37] [38] [39]
86Dharmesh Parikh [41] [56] [67]
87Pavlos Peppas [9] [11] [70]
88Xijian Ping [122]
89Paul Polakis [58]
90Xiangdong Qin [80] [96] [97]
91Wei Qu [54] [79] [129]
92Glenn Reinman [139]
93Jussi Roivainen [134]
94Chun Ruan [35] [46] [49] [51]
95Karthik Sankaranarayanan [67]
96Hamed Sari-Sarraf [21]
97Berni Schiefer [81]
98Heidi Scott [81]
99Zhenhai Shao [130]
100Paul H. Siegel [74] [146]
101René Sitters (René A. Sitters) [155]
102Kevin Skadron [36] [41] [56] [67] [95] [135]
103Mingwu Song [122]
104Boon-Hee Soong [57] [108]
105Mircea R. Stan [36] [41] [56] [60] [67] [86] [95] [135] [158] [168]
106Frederic Stutzman [151]
107Kaile Su [61]
108Lei Sun [121]
109Yi-cai Sun [125]
110Yiyong Sun [21]
111Zhanli Sun [92]
112Zhengxing Sun [126]
113Shiwei Tang (Shi-Wei Tang) [68]
114Masato Tsuru [119] [156]
115Masato Uchida [119] [156]
116Vijay Varadharajan [12] [23] [30] [35] [46] [49] [51] [72]
117Quoc Bao Vo [26]
118Dapeng Wang [148]
119Hongxue Wang [12] [23]
120Kewen Wang [82] [87]
121Ling Wang [147]
122Linzhang Wang [89] [131] [145] [157]
123Liwei Wang [76]
124Shaofeng Wang [66]
125Shihui Wang [160]
126Shujing Wang [83] [99] [102] [144]
127Tao Wang [120] [121]
128Tong Wang [90]
129Wei Wang [152] [160] [164]
130Weiyuan Wang [63]
131Yonggang Wang [149]
132Colin K. Watanabe [58]
133Roger Wattenhofer [47]
134Jie Wei [64] [139] [163]
135William I. Wood [58]
136Cheng-Min Wu [16] [25]
137Mingda Wu [165]
138Thomas D. Wu [58]
139Wei Wu [66]
140Xindong Wu [88] [124]
141Shaoqiu Xiao [167]
142Min Xie [40] [75]
143Bo Xu [42]
144Qing Xu [121]
145Z.-Q. Xu [166]
146Dongqing Yang [68]
147Jie Yang [149]
148Laurence Tianruo Yang [167]
149Ming Yu [125]
150Shengyang Yu [149]
151Xiaofeng Yu [89] [94] [107] [123] [131] [145] [157]
152Cun-da Yuan [125]
153Jiguo Zeng [115] [128]
154Shouyi Zhan [115] [128]
155Dongmo Zhang [26] [138] [141]
156Lei Zhang [136] [137]
157Lili Zhang [109]
158Tao Zhang [122]
159Tian Zhang [89] [94] [107] [123] [131] [145] [157]
160Yi Zhang [136] [137]
161Yong Sheng Zhang [120]
162Zemin Zhang [58]
163J.-C. Zhao [166]
164Jianhua Zhao [131] [145] [157]
165Xinyou Zhao [127] [132]
166Guoliang Zheng [89] [94] [107] [123] [157]
167Jialing Zheng [130]
168Jun Zheng [109] [147] [167]
169Bin Zhou [154] [161] [162]
170Mingtuo Zhou [167]
171Wenbiao Zhou [140]
172Yan Zhou [58]
173Yi Zhou [150]
174Yuanyuan Zhou [81] [114] [143]
175Quanmin Zhu [73]
176Xingquan Zhu [88] [124]
177Yizhen Zhu [165]
178Aaron Zollinger [47]
179Chengqing Zong [42]

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences<