Weixiong Zhang

Weixiong Zhang: Flexible and Approximate Computation through State-Space Reduction. CoRR abs/1301.7418 (2013)

Dongxiao He, Dayou Liu, Weixiong Zhang, Di Jin, Bo Yang: Discovering link communities in complex networks by exploiting link dynamics. CoRR abs/1303.4699 (2013)

Yanglan Gan, Jihong Guan, Shuigeng Zhou, Weixiong Zhang: Structural features based genome-wide characterization and prediction of nucleosome organization. BMC Bioinformatics 13: 49 (2012)

Gerold Jäger, Weixiong Zhang: An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem. J. Artif. Intell. Res. (JAIR) 39: 663-687 (2010)

Yun Zheng, Weixiong Zhang: Animal microRNA Target Prediction Using Diverse Sequence-Specific determinants. J. Bioinformatics and Computational Biology 8(4): 763-788 (2010)

Ruoyun Huang, Yixin Chen, Weixiong Zhang: A Novel Transition Based Encoding Scheme for Planning as Satisfiability. AAAI 2010

Sharlee Climer, Alan R. Templeton, Weixiong Zhang: SplittingHeirs: inferring haplotypes by optimizing resultant dense graphs. BCB 2010: 127-136

Xuefeng Zhou, Jianhua Ruan, Weixiong Zhang: Promoter prediction based on a multiple instance learning scheme. BCB 2010: 295-301

Gerold Jäger, Weixiong Zhang: A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem. CSR 2010: 216-227

Yixin Chen, Ruoyun Huang, Zhao Xing, Weixiong Zhang: Long-distance mutual exclusion for planning. Artif. Intell. 173(2): 365-391 (2009)

Sharlee Climer, Gerold Jäger, Alan R. Templeton, Weixiong Zhang: How frugal is mother nature with haplotypes? Bioinformatics 25(1): 68-74 (2009)

Ruoyun Huang, Yixin Chen, Weixiong Zhang: An Optimal Temporally Expressive Planner: Initial Results and Application to P2P Network Optimization. ICAPS 2009

Gerold Jäger, Sharlee Climer, Weixiong Zhang: Complete Parsimony Haplotype Inference Problem and Algorithms. ESA 2009: 337-348

Yixin Chen, Ruoyun Huang, Weixiong Zhang: Fast Planning by Search in Domain Transition Graph. AAAI 2008: 886-891

Yunpen Xu, Xuefeng Zhou, Weixiong Zhang: MicroRNA prediction with a novel ranking algorithm based on random walks. ISMB 2008: 50-58

Huazong Zeng, Lijun Luo, Weixiong Zhang, Jie Zhou, Zuofeng Li, Hongyan Liu, Tiansheng Zhu, Xiangqian Feng, Yang Zhong: PlantQTL-GE: a database system for identifying candidate genes in rice and Arabidopsis by gene expression and QTL information. Nucleic Acids Research 35(Database-Issue): 879-882 (2007)

Xuefeng Zhou, Jianhua Ruan, Guandong Wang, Weixiong Zhang: Characterization and Identification of MicroRNA Core Promoters in Four Model Species. PLoS Computational Biology 3(3) (2007)

Monika Ray, Sekhar Dharmarajan, Johannes Freudenberg, G. Alexander Patterson, Weixiong Zhang: Gene expression profiling and machine learning to understand and predict primary graft dysfunction. BIBE 2007: 1076-1080

Jianhua Ruan, Weixiong Zhang: An Efficient Spectral Algorithm for Network Community Discovery and Its Applications to Biological and Social Networks. ICDM 2007: 643-648

Yixin Chen, Zhao Xing, Weixiong Zhang: Long-Distance Mutual Exclusion for Propositional Planning. IJCAI 2007: 1840-1845

Sharlee Climer, Weixiong Zhang: Cut-and-solve: An iterative search strategy for combinatorial optimization problems. Artif. Intell. 170(8-9): 714-738 (2006)

Jianhua Ruan, Weixiong Zhang: A bi-dimensional regression tree approach to the modeling of gene expression regulation. Bioinformatics 22(3): 332-340 (2006)

Sharlee Climer, Weixiong Zhang: Rearrangement Clustering: Pitfalls, Remedies, and Applications. Journal of Machine Learning Research 7: 919-943 (2006)

Jianhua Ruan, Weixiong Zhang: Identification and Evaluation of Weak Community Structures in Networks. AAAI 2006: 470-475

Zhao Xing, Yixin Chen, Weixiong Zhang: Optimal STRIPS Planning by Maximum Satisfiability and Accumulative Learning. ICAPS 2006: 442-446

Zhao Xing, Yixin Chen, Weixiong Zhang: An Efficient Hybrid Strategy for Temporal Planning. CPAIOR 2006: 273-287

Weixiong Zhang: Data Mining Methods for Modeling Gene Expression Regulation and Their Applications. ICDM 2006: 7

Jianhua Ruan, Weixiong Zhang: Identification and Evaluation of Functional Modules in Gene Co-expression Networks. Systems Biology and Computational Proteomics 2006: 57-76

Weixiong Zhang, Guandong Wang, Zhao Xing, Lars Wittenburg: Distributed stochastic search and distributed breakout: properties, comparison and applications to constraint optimization problems in sensor networks. Artif. Intell. 161(1-2): 55-87 (2005)

Zhao Xing, Weixiong Zhang: MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability. Artif. Intell. 164(1-2): 47-80 (2005)

Weixiong Zhang, Jianhua Ruan, Tuan-hua David Ho, Youngsook You, Taotao Yu, Ralph S. Quatrano: Cis-regulatory element based targeted gene finding: genome-wide identification of abscisic acid- and abiotic stress-responsive genes in Arabidopsis thaliana. Bioinformatics 21(14): 3074-3081 (2005)

Jianhua Ruan, Weixiong Zhang: CAGER: classification analysis of gene expression regulation using multiple information sources. BMC Bioinformatics 6: 114 (2005)

Richard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald: Frontier search. J. ACM 52(5): 715-748 (2005)

Guandong Wang, Taotao Yu, Weixiong Zhang: WordSpy: identifying transcription factor binding motifs by building a dictionary and learning a grammar. Nucleic Acids Research 33(Web-Server-Issue): 412-416 (2005)

Weixiong Zhang, Moshe Looks: A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits Backbones. IJCAI 2005: 343-350

Guandong Wang, Weixiong Zhang: Build a Dictionary, Learn a Grammar, Decipher Stegoscripts, and Discover Genomic Regulatory Elements. Systems Biology and Regulatory Genomics 2005: 80-94

Xuefeng Zhou, Jianhua Ruan, Guandong Wang, Weixiong Zhang: Computational Characterization and Identification of Core Promoters of MicroRNA Genes in C. elegans , H. sapiens and A. thaliana. Systems Biology and Regulatory Genomics 2005: 235-248

Anup K. Sen, Amitava Bagchi, Weixiong Zhang: Average-case analysis of best-first search in two representative directed acyclic graphs. Artif. Intell. 155(1-2): 183-206 (2004)

Weixiong Zhang: Configuration landscape analysis and backbone guided local search: Part I: Satisfiability and maximum satisfiability. Artif. Intell. 158(1): 1-26 (2004)

Jianhua Ruan, Gary D. Stormo, Weixiong Zhang: An Iterated loop matching approach to the prediction of RNA secondary structures with pseudoknots. Bioinformatics 20(1): 58-66 (2004)

Weixiong Zhang: Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem. J. Artif. Intell. Res. (JAIR) 21: 471-497 (2004)

Jianhua Ruan, Gary D. Stormo, Weixiong Zhang: ILM: a web server for predicting RNA secondary structures with pseudoknots. Nucleic Acids Research 32(Web-Server-Issue): 146-149 (2004)

Weixiong Zhang, Xiaotao Zhang: An Improved Integer Local Search for Complex Scheduling Problems. ICAPS 2004: 83-91

Sharlee Climer, Weixiong Zhang: A Linear Search Strategy using Bounds. ICAPS 2004: 132-141

Zhao Xing, Weixiong Zhang: Efficient Strategies for (Weighted) Maximum Satisfiability. CP 2004: 690-705

Sharlee Climer, Weixiong Zhang: Take a walk and cluster genes: a TSP-based approach to optimal rearrangement clustering. ICML 2004

Weixiong Zhang, Xiaotao Zhang: An Improved Integer Local Search for Complex Scheduling Problems. KR 2004: 692-700

Jeremy Buhler, Richard Souvenir, Weixiong Zhang, Rob Mitra: Design of a High-Throughput Assay for Alternative Splicing Using Polymerase Colonies. Pacific Symposium on Biocomputing 2004: 5-16

Weixiong Zhang, Zhao Xing, Guandong Wang, Lars Wittenburg: An analysis and application of distributed constraint satisfaction and optimization algorithms in sensor networks. AAMAS 2003: 185-192

Lars Wittenburg, Weixiong Zhang: Distributed breakout algorithm for distributed constraint optimization problems -- DBArelax. AAMAS 2003: 1158-1159

Jianhua Ruan, Gary D. Stormo, Weixiong Zhang: An Iterative Loop Matching Approach to the Prediction of RNA Secondary Stru. CSB 2003: 519-520

Weixiong Zhang: Phase Transitions, Backbones and Heuristic Search. ICTAI 2003

Weixiong Zhang, Ananda Rangan, Moshe Looks: Backbone Guided Local Search for Maximum Satisfiability. IJCAI 2003: 1179-1186

Weixiong Zhang: Phase Transitions of the Asymmetric Traveling Salesman. IJCAI 2003: 1202-1210

Richard Souvenir, Jeremy Buhler, Gary D. Stormo, Weixiong Zhang: Selecting Degenerate Multiplex PCR Primers. WABI 2003: 512-526

Weixiong Zhang, Lars Wittenburg: Distributed Breakout Revisited. AAAI/IAAI 2002: 352-358

Sharlee Climer, Weixiong Zhang: Searching for Backbones and Fat: A Limit-Crossing Approach with Applications. AAAI/IAAI 2002: 707-712

Anup K. Sen, Amitava Bagchi, Weixiong Zhang: An Average-Case Analysis of Graph Search. AAAI/IAAI 2002: 757-763

Weixiong Zhang, Zhidong Deng, Guandong Wang, Lars Wittenburg, Zhao Xing: Distributed problem solving in sensor networks. AAMAS 2002: 988-989

Weixiong Zhang: Iterative state-space reduction for flexible computation. Artif. Intell. 126(1-2): 109-138 (2001)

Weixiong Zhang, Rina Dechter, Richard E. Korf: Heuristic search in artificial intelligence. Artif. Intell. 129(1-2): 1-4 (2001)

Jill Cirasella, David S. Johnson, Lyle A. McGeoch, Weixiong Zhang: The Asymmetric Traveling Salesman Problem: Algorithms, Instance Generators, and Tests. ALENEX 2001: 32-59

Weixiong Zhang: Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT. CP 2001: 153-167

Milind Tambe, Weixiong Zhang: Towards Flexible Teamwork in Persistent Teams: Extended Report. Autonomous Agents and Multi-Agent Systems 3(2): 159-183 (2000)

David J. Musliner, Barney Pell, Wolff Dobson, Kai Goebel, Gautam Biswas, Sheila A. McIlraith, Giuseppina C. Gini, Sven Koenig, Shlomo Zilberstein, Weixiong Zhang: Reports on the AAAI Spring Symposia (March 1999). AI Magazine 21(2): 79-84 (2000)

Richard E. Korf, Weixiong Zhang: Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment. AAAI/IAAI 2000: 910-916

Weixiong Zhang: Depth-First Branch-and-Bound versus Local Search: A Case Study. AAAI/IAAI 2000: 930-935

Weixiong Zhang, Randal W. Hill Jr.: A template-based and pattern-driven approach to situation awareness and assessment in virtual humans. Agents 2000: 116-123

Weixiong Zhang: Association-Based Multiple Imputation in Multivariate Datasets: A Summary. ICDE 2000: 310

Hyuckchul Jung, Milind Tambe, Weixiong Zhang, Wei-Min Shen: Towards Large-Scale Conflict Resolution: Initial Results. ICMAS 2000: 403-404

Weixiong Zhang: State-space search - algorithms, complexity, extensions, and applications. Springer 1999, isbn 978-0-387-98832-0, pp. I-XVI, 1-201

Weixiong Zhang: Complete Anytime Beam Search. AAAI/IAAI 1998: 425-430

Yigal Arens, Weixiong Zhang, Yongwon Lee, Jon Dukes-Schlossberg, Marc Zev: Warfighter's Information Packager. AAAI/IAAI 1998: 1095-1100

Milind Tambe, Weixiong Zhang: Towards Flexible Teamwork in Persistent Teams. ICMAS 1998: 277-284

Weixiong Zhang, Richard E. Korf: A Study of Complexity Transitions on the Asymmetric Traveling Salesman Problem. Artif. Intell. 81(1-2): 223-239 (1996)

Joseph C. Pemberton, Weixiong Zhang: Epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems. Artif. Intell. 81(1-2): 297-325 (1996)

Weixiong Zhang: Forward Estimation for Game-Tree Search. AAAI/IAAI, Vol. 1 1996: 240-245

Weixiong Zhang, Richard E. Korf: Performance of Linear-Space Search Algorithms. Artif. Intell. 79(2): 241-292 (1995)

Weixiong Zhang, Richard E. Korf: Parallel Heap Operations on an EREW PRAM. J. Parallel Distrib. Comput. 20(2): 248-255 (1994)

Weixiong Zhang, Joseph C. Pemberton: Epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems Initial Results. AAAI 1994: 895-900

Weixiong Zhang, Richard E. Korf: Depth-First vs. Best-First Search: New Results. AAAI 1993: 769-775

Weixiong Zhang, Richard E. Korf: An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results. AAAI 1992: 545-550

Weixiong Zhang, Richard E. Korf: Parallel Heap Operations on EREW PRAM: Summary of Results. IPPS 1992: 315-318

Weixiong Zhang, Nageswara S. V. Rao: Optimal Parallel Quicksort on Erew Pram. BIT 31(1): 69-74 (1991)

Nageswara S. V. Rao, Weixiong Zhang: Building Heaps in Parallel. Inf. Process. Lett. 37(6): 355-358 (1991)

Weixiong Zhang: A Software System for Robot Programming. IAS 1989: 219-229