Lijun Zhang

Saarland University, Germany

	2009
22		Lijun 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
21		Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647
20		Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106
	2008
19		Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
18		Holger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
17		Lijun Zhang: A Space-Efficient Probabilistic Simulation Algorithm. CONCUR 2008: 248-263
16		Pepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
15		Jonathan Bogdoll, Holger Hermanns, Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52
14		Wei Chen, Lijun Zhang, Can Wang, Chun Chen, Jiajun Bu: Pervasive Web News Recommendation for Visually Impaired People. Web Intelligence/IAT Workshops 2008: 119-122
13		Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
12		Lijun 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
11		Lijun Zhang, Holger Hermanns: Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222
10		Björn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
9		Lucia 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
8		Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
7		Kangmiao Liu, Wei Chen, Jiajun Bu, Chun Chen, Lijun Zhang: User Modeling for Recommendation in Blogspace. Web Intelligence/IAT Workshops 2007: 79-82
	2006
6		Daizhan Cheng, Lijun Zhang: Adaptive control of linear Markov jump systems. Int. J. Systems Science 37(7): 477-483 (2006)
	2005
5		Irene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang: Hardware Reliability. Dependability Metrics 2005: 59-103
4		Lijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
3		Lijun 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
2		Yang Zhang, Lijun Zhang, Zhanhuai Li, Yan Jianfeng: Improving the Performance of Text Classifiers by Using Association Features. ISMIS 2003: 315-319
	2000
1		Jie Li, Yannan Zhao, Lijun Zhang, Wuying Xia: A Parallel Multi-layered Pipeline with Feedback Mechanism for Mass Pattern Matching. PDPTA 2000

Coauthor Index

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

Colors in the list of coauthors