Lijun Zhang Home Page Coauthor index DBLP Vis pubzone.org

Saarland University, Germany

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Chun Chen, Wei Chen, Jiajun Bu, Deng Cai, Xiaofei He: Convex experimental design using manifold structure for image retrieval. ACM Multimedia 2009: 45-54
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106
2008
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang: A Space-Efficient Probabilistic Simulation Algorithm. CONCUR 2008: 248-263
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Bogdoll, Holger Hermanns, Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Chen, Lijun Zhang, Can Wang, Chun Chen, Jiajun Bu: Pervasive Web News Recommendation for Visually Impaired People. Web Intelligence/IAT Workshops 2008: 119-122
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Logical Methods in Computer Science 4(4): (2008)
2007
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns: Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang: 07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems 2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKangmiao Liu, Wei Chen, Jiajun Bu, Chun Chen, Lijun Zhang: User Modeling for Recommendation in Blogspace. Web Intelligence/IAT Workshops 2007: 79-82
2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaizhan Cheng, Lijun Zhang: Adaptive control of linear Markov jump systems. Int. J. Systems Science 37(7): 477-483 (2006)
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang: Hardware Reliability. Dependability Metrics 2005: 59-103
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, Victor O. K. Li, Zhigang Cao: Non-binary type-II HARQ and its application to an adaptive system. Int. J. Communication Systems 18(2): 97-117 (2005)
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYang Zhang, Lijun Zhang, Zhanhuai Li, Yan Jianfeng: Improving the Performance of Text Classifiers by Using Association Features. ISMIS 2003: 315-319
2000
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie Li, Yannan Zhao, Lijun Zhang, Wuying Xia: A Parallel Multi-layered Pipeline with Feedback Mechanism for Mass Pattern Matching. PDPTA 2000

Coauthor Index

1Jonathan Bogdoll [15]
2Jiajun Bu [7] [14] [22]
3Deng Cai [22]
4Zhigang Cao [3]
5Chun Chen [7] [14] [22]
6Wei Chen [7] [14] [22]
7Daizhan Cheng [6]
8Lucia Cloth [9]
9Pepijn Crouzen [9] [16]
10Friedrich Eisenbrand [8] [12] [13]
11Irene Eusgeld [5]
12Bernhard Fechner [5]
13Matthias Fruth [9]
14Ernst Moritz Hahn [19] [20] [21]
15Tingting Han [9]
16Xiaofei He [22]
17Holger Hermanns [4] [8] [10] [11] [12] [13] [15] [16] [18] [19] [20] [21]
18David N. Jansen [4] [8] [9] [12] [13]
19Yan Jianfeng [2]
20Mark Kattenbelt [9]
21Jie Li [1]
22Victor O. K. Li [3]
23Zhanhuai Li [2]
24Philipp Limbourg [5]
25Kangmiao Liu [7]
26Felix Salfner [5]
27Gerard J. M. Smit [9]
28Björn Wachter [10] [18] [19] [21]
29Max Walter [5]
30Can Wang [14]
31Wuying Xia [1]
32Yang Zhang [2]
33Yannan Zhao [1]

Colors in the list of coauthors

Copyright © Tue Nov 24 16:13:34 2009 by Michael Ley (ley@uni-trier.de)