BibSLEIGH — Jian

Travelled to:

1 × Brazil
1 × Finland
1 × Italy
1 × Japan
1 × Norway
1 × Sweden
1 × Switzerland
1 × Taiwan
1 × Turkey
15 × USA
2 × China
2 × Germany
7 × Canada

Collaborated with:

Y.Yang Z.Zhang S.Liu R.Jin C.Chen M.S.E.Vogeley X.Jia R.Yan J.Feigenbaum F.Ma B.Kisiel B.Chen R.Yang A.G.Hauptmann H.Zhang X.Liu J.Yan T.Wu X.Deng J.Yan J.Y.0009 Y.Zhao D.Li Y.Shen Z.Miao X.Liu H.Liu M.Palatucci M.Zhao R.J.O.Figueiredo C.Xu X.Wang Z.Cao F.Ma J.S.Dai P.Gaillardon L.G.Amarù G.D.Micheli S.Huang L.Wang Z.Xu Z.Xu J.Wang W.Kusakunniran Q.Wu H.Li R.Lu S.Yoo J.G.Carbonell C.Jin W.Zhu Y.C.0001 L.Cao J.Liu D.Guo Y.Cui C.Zhao C.Guo Y.Zhang T.H.Thi L.Cheng L.Wang S.Satoh S.Kannan A.McGregor S.Suri J.Liu X.Ma Y.Li X.Zhu R.Yan Y.Gu W.Zhang G.Zhang Y.Wang H.Di B.Wang W.Liang Y.Jia J.Gao E.Xun M.Zhou C.Huang J.Nie B.Wüthrich D.Permunetilleke S.Leung V.Cho W.Lam P.Wang A.Salerno A.Bhatla O.V.Lyulko A.Dutta G.Garty N.Simaan G.R.Pehrson Y.L.Yao D.J.Brenner J.Nie

Talks about:

model (9) base (7) analysi (6) data (5) use (5) constraint (4) system (4) static (4) method (4) detect (4)

Person: Jian Zhang

DBLP: Zhang:Jian

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2007

2006

2005

2004

2003

2002

2001

1998

1996

2016

2007

2016

2018

2019

Wrote 46 papers:

FM-2015-ZhuYGZZZ #data flow #graph #model checking #scheduling: Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (XZ, RY, YLG, JZ, WZ, GZ), pp. 551–569.
CASE-2014-CaoMDZ #detection #performance #visual notation: A gabor based fast interest point detector for image-based robot visual servo control (ZC, FM, JSD, JZ), pp. 883–888.
DATE-2014-GaillardonAZM #design: Advanced system on a chip design based on controllable-polarity FETs (PEG, LGA, JZ, GDM), pp. 1–6.
ICPR-2014-GuoZLCZ #clustering #kernel #learning #multi: Multiple Kernel Learning Based Multi-view Spectral Clustering (DG, JZ, XL, YC, CZ), pp. 3774–3779.
ICPR-2014-HuangZLW #distance #feature model: A Method of Discriminative Information Preservation and In-Dimension Distance Minimization Method for Feature Selection (SH, JZ, XL, LW), pp. 1615–1620.
ICPR-2014-WangDWLZJ: Depth Super-resolution by Fusing Depth Imaging and Stereo Vision with Structural Determinant Information Inference (YW, HD, BW, WL, JZ, YJ), pp. 4212–4217.
ISSTA-2014-XuZXW #c #named #source code: Canalyze: a static bug-finding tool for C programs (ZX, JZ, ZX, JW), pp. 425–428.
ASE-2013-GuoZYZZ #android #detection: Characterizing and detecting resource leaks in Android applications (CG, JZ, JY, ZZ, YZ), pp. 389–398.
DHM-HB-2013-ZhaoLZ #analysis #higher-order #statistics: Higher Order Statistics Analyses Based on the Mathematical Model of Surface Electromyography (YZ, DL, JZ), pp. 402–408.
ICPR-2012-ShenMZ #analysis #graph #learning #online: Unsupervised online learning trajectory analysis based on weighted directed graph (YS, ZM, JZ), pp. 1306–1309.
ICST-2012-ZhangLZ #combinator #testing: Combinatorial Testing on ID3v2 Tags of MP3 Files (ZZ, XL, JZ), pp. 587–590.
SAT-2012-ZhangMZ #constraints #identification #interactive #optimisation #theorem proving: Faulty Interaction Identification via Constraint Solving and Optimization (JZ, FM, ZZ), pp. 186–199.
DUXU-v2-2011-ZhangCV #case study #experience #modelling: Modeling Users’ Data Usage Experiences from Scientific Literature (JZ, CC, MSEV), pp. 337–346.
ICSE-2011-ChenZ #combinator #metric #testing #tuple: Tuple density: a new metric for combinatorial test suites (BC, JZ), pp. 876–879.
ICSE-2011-LiuZ #program analysis: Program analysis: from qualitative analysis to quantitative analysis (SL, JZ), pp. 956–959.
ISSTA-2011-ZhangZ #adaptation #interactive #parametricity #testing: Characterizing failure-causing parameter interactions by adaptive testing (ZZ, JZ), pp. 331–341.
ICPR-2010-KusakunniranWZL #multi #recognition #using: Multi-view Gait Recognition Based on Motion Regression Using Multilayer Perceptron (WK, QW, JZ, HL), pp. 2186–2189.
ICPR-2010-ThiCZWS #modelling #recognition #using: Weakly Supervised Action Recognition Using Implicit Shape Models (THT, LC, JZ, LW, SS), pp. 3517–3520.
SAC-2010-JiaLLZ #satisfiability: Local lemma: a new strategy of pruning in SAT solvers (XJ, RL, SL, JZ), pp. 2071–2072.
CADE-2009-MaLZ #constraints #linear: Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.
HCI-VAD-2009-ChenZV #collaboration #design: Reflections on the Interdisciplinary Collaborative Design of Mapping the Universe (CC, JZ, MSEV), pp. 693–702.
ICML-2009-LiuPZ #coordination #multi #semantics: Blockwise coordinate descent procedures for the multi-task lasso, with applications to neural semantic basis discovery (HL, MP, JZ), pp. 649–656.
CASE-2007-SalernoZBLDGSPYBN #automation #design: Design Considerations for a Minimally Invasive High-Throughput Automation System for Radiation Biodosimetry (AS, JZ, AB, OVL, AD, GG, NS, GRP, YLY, DJB, JN), pp. 846–852.
ICML-2007-ZhangY #classification #consistency #constraints #on the: On the value of pairwise constraints in classification and consistency (JZ, RY), pp. 1111–1118.
CIKM-2006-ZhangF #correlation: Finding highly correlated pairs efficiently with powerful pruning (JZ, JF), pp. 152–161.
ICPR-v4-2006-ZhangY06a #recognition: Insulators Recognition for 220kv/330kv High-voltage Live-line Cleaning Robot (JZ, RY), pp. 630–633.
IJCAR-2006-JiaZ #finite #morphism: A Powerful Technique to Eliminate Isomorphism in Finite Model Search (XJ, JZ), pp. 318–331.
ICML-2005-JinZ #algorithm #probability #using: A smoothed boosting algorithm using probabilistic output codes (RJ, JZ), pp. 361–368.
SIGIR-2005-YangYZK #adaptation #benchmark #evaluation #robust: Robustness of adaptive filtering methods in a cross-benchmark evaluation (YY, SY, JZ, BK), pp. 98–105.
HPDC-2004-ZhaoZF #distributed #file system #grid #virtual machine: Distributed File System Support for Virtual Machines in Grid Computing (MZ, JZ, RJOF), pp. 202–211.
ICALP-2004-FeigenbaumKMSZ #graph #on the #problem: On Graph Problems in a Semi-streaming Model (JF, SK, AM, SS, JZ), pp. 531–543.
ICML-2004-ZhangY #estimation #probability: Probabilistic score estimation with piecewise logistic regression (JZ, YY).
SEFM-2004-ZhangXW #constraints #execution #generative #symbolic computation #testing #theorem proving #using: Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques (JZ, CX, XW), pp. 242–250.
ICML-2003-JinYZH #algorithm #exponential #performance #scalability: A Faster Iterative Scaling Algorithm for Conditional Exponential Model (RJ, RY, JZ, AGH), pp. 282–289.
ICML-2003-ZhangJYH #approximate #categorisation #scalability: Modified Logistic Regression: An Approximation to SVM and Its Applications in Large-Scale Text Categorization (JZ, RJ, YY, AGH), pp. 888–895.
SIGIR-2003-YangZK #analysis #categorisation #classification #scalability: A scalability analysis of classifiers in text categorization (YY, JZ, BK), pp. 96–103.
SIGIR-2003-ZhangY #categorisation #classification #linear #robust: Robustness of regularized linear classification methods in text categorization (JZ, YY), pp. 190–197.
KDD-2002-YangZCJ #detection #topic: Topic-conditioned novelty detection (YY, JZ, JGC, CJ), pp. 688–693.
SIGIR-2001-GaoXZHNZ #information retrieval #modelling #query #statistics #using: Improving Query Translation for Cross-Language Information Retrieval Using Statistical Models (JG, EX, MZ, CH, JYN, JZ), pp. 96–104.
KDD-1998-WuthrichPLCZL #predict: Daily Prediction of Major Stock Indices from Textual WWW Data (BW, DP, SL, VC, JZ, WL), pp. 364–368.
CADE-1996-ZhangZ #generative #modelling: System Description: Generating Models by SEM (JZ, HZ), pp. 308–312.
ASE-2016-WuLDYZ #android #detection #effectiveness #named #static analysis: Relda2: an effective static analysis tool for resource leak detection in Android apps (TW, JL, XD, JY, JZ), pp. 762–767.
JCDL-2007-ChenZZV: Delineating the citation impact of scientific discoveries (CC, JZ, WZ, MSEV), pp. 19–28.
FSE-2016-CaiZCL #concurrent #detection: A deployable sampling strategy for data race detection (YC0, JZ, LC, JL), pp. 810–821.
ASE-2018-YanDWW0Z #android #identification #process: Characterizing and identifying misexposed activities in Android applications (JY, XD, PW, TW, JY0, JZ), pp. 691–701.
ASE-2019-MaYLYZ #c++ #fault #named #pointer #source code #static analysis: SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs (XM, JY, YL, JY0, JZ), pp. 1122–1125.