Travelled to:1 × Australia
1 × Austria
1 × Cyprus
1 × India
1 × Italy
1 × Norway
1 × Portugal
1 × Singapore
1 × Spain
1 × Switzerland
2 × China
3 × France
3 × United Kingdom
6 × USA
Collaborated with:H.Hermanns E.M.Hahn R.Jin B.Wachter T.Yang J.Yi L.Song Y.Feng C.Eisentraut A.Turrini J.C.Godskesen B.Wang S.Zhu J.Sack D.N.Jansen M.R.Neuhäußer X.He J.Wang A.K.Jain J.Katoen D.Spieler Y.Chen C.Hong F.He X.Gao P.Buchholz F.Nielson F.Eisenbrand W.Liu Y.Li S.Schewe J.Li Y.Yao G.Pu J.He Q.Qian M.Lin J.Schuster M.Mahdavi Y.Zhou S.Kiefer A.S.Murawski J.Ouaknine J.Worrell Z.She S.Ratschan
Talks about:probabilist (12) model (11) algorithm (6) automata (5) checker (5) markov (5) effici (4) check (4) infinit (3) cluster (3)
Person: Lijun Zhang
DBLP: Zhang:Lijun
Contributed to:
2015
2015
2015
2015
20152014
20142014
2014
2014
20142013
2013201220122011
20112010201020102010200920082007Wrote 33 papers:
- CAV-2015-ChenHWZ #generative #invariant #polynomial
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.
- FM-2015-EisentrautGHS0 #bisimulation #probability
- Probabilistic Bisimulation for Realistic Schedulers (CE, JCG, HH, LS, LZ), pp. 248–264.
- FM-2015-FengHTZ #model checking #named #protocol #quantum #source code
- QPMC: A Model Checker for Quantum Programs and Protocols (YF, EMH, AT, LZ), pp. 265–272.
- ICML-2015-Yang0JZ #bound #fault #set
- An Explicit Sampling Dependent Spectral Error Bound for Column Subset Selection (TY, LZ, RJ, SZ), pp. 135–143.
- ICML-2015-Yang0JZ15a #random #reduction
- Theory of Dual-sparse Regularized Randomized Reduction (TY, LZ, RJ, SZ), pp. 305–314.
- KDD-2015-Yi0YLW #algorithm #clustering #constraints #performance
- An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints (JY, LZ, TY, WL, JW), pp. 1405–1414.
- POPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning
- Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.
- FM-2014-FengZ #automaton #bisimulation #equivalence #probability
- When Equivalence and Bisimulation Join Forces in Probabilistic Automata (YF, LZ), pp. 247–262.
- FM-2014-HahnLSTZ #model checking #named #probability
- iscasMc: A Web-Based Probabilistic Model Checker (EMH, YL, SS, AT, LZ), pp. 312–317.
- FSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability
- Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.
- ICML-c2-2014-0005YJ #algorithm #performance #robust
- Efficient Algorithms for Robust One-bit Compressive Sensing (LZ, JY, RJ), pp. 820–828.
- ICML-c2-2014-Yi0WJJ #algorithm #clustering
- A Single-Pass Algorithm for Efficiently Recovering Sparse Cluster Centers of High-dimensional Data (JY, LZ, JW, RJ, AKJ), pp. 658–666.
- LICS-CSL-2014-KatoenSZ
- Probably safe or live (JPK, LS, LZ), p. 10.
- QAPL-2014-SpielerHZ #markov #model checking #modelling
- Model Checking CSL for Markov Population Models (DS, EMH, LZ), pp. 93–107.
- VMCAI-2014-Song0G #bisimulation #logic #markov #process
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
- ICML-c3-2013-YiZJQJ #clustering #matrix #similarity
- Semi-supervised Clustering by Input Pattern Assisted Pairwise Similarity Matrix Completion (JY, LZ, RJ, QQ, AKJ), pp. 1400–1408.
- ICML-c3-2013-ZhangYJH #optimisation #probability
- O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions (LZ, TY, RJ, XH), pp. 1121–1129.
- ICML-c3-2013-ZhangYJLH #bound #kernel #learning #online
- Online Kernel Learning with a Near Optimal Sparsity Bound (LZ, JY, RJ, ML, XH), pp. 621–629.
- TACAS-2013-EisentrautHST0 #automaton #probability
- The Quest for Minimal Quotients for Probabilistic Automata (CE, HH, JS, AT, LZ), pp. 16–31.
- ICML-2012-YangMJZZ #kernel #learning #multi #probability #programming
- Multiple Kernel Learning from Noisy Labels by Stochastic Programming (TY, MM, RJ, LZ, YZ), p. 21.
- VMCAI-2012-SackZ #framework #probability
- A General Framework for Probabilistic Characterizing Formulae (JS, LZ), pp. 396–411.
- CAV-2011-BuchholzHHZ #algorithm #model checking
- Model Checking Algorithms for CTMDPs (PB, EMH, HH, LZ), pp. 225–242.
- ICALP-v2-2011-KieferMOWZ #algorithm #on the
- On Stabilization in Herman’s Algorithm (SK, ASM, JO, JW, LZ), pp. 466–477.
- ICALP-v2-2011-ZhangJNH #model checking
- Automata-Based CSL Model Checking (LZ, DNJ, FN, HH), pp. 271–282.
- CAV-2010-HahnHWZ #markov #model checking #modelling #named #parametricity
- PARAM: A Model Checker for Parametric Markov Models (EMH, HH, BW, LZ), pp. 660–664.
- CAV-2010-ZhangSRHH #hybrid #probability #safety #verification
- Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
- LICS-2010-EisentrautHZ #automaton #on the #probability
- On Probabilistic Automata in Continuous Time (CE, HH, LZ), pp. 342–351.
- TACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement
- PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.
- TACAS-2010-ZhangN #interactive #markov #model checking
- Model Checking Interactive Markov Chains (LZ, MRN), pp. 53–68.
- VMCAI-2010-WachterZ #probability
- Best Probabilistic Transformers (BW, LZ), pp. 362–379.
- CAV-2009-HahnHWZ #infinity #markov #model checking #named
- INFAMY: An Infinite-State Markov Model Checker (EMH, HH, BW, LZ), pp. 641–647.
- CAV-2008-HermannsWZ #probability
- Probabilistic CEGAR (HH, BW, LZ), pp. 162–175.
- TACAS-2007-ZhangHEJ #algorithm #performance #probability #simulation
- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (LZ, HH, FE, DNJ), pp. 155–169.