Lijun Zhang

2008
18	EE	Lijun Zhang, Holger Hermanns, E. Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
17	EE	Holger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
16	EE	Lijun Zhang: A Space-Efficient Probabilistic Simulation Algorithm. CONCUR 2008: 248-263
15	EE	Pepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
14	EE	Jonathan Bogdoll, Holger Hermanns, Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52
13	EE	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
12	EE	Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
2007
11	EE	Lijun Zhang, Holger Hermanns: Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222
10	EE	Björn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
9	EE	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	EE	Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
7	EE	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	EE	Daizhan Cheng, Lijun Zhang: Adaptive control of linear Markov jump systems. Int. J. Systems Science 37(7): 477-483 (2006)
2005
5	EE	Irene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang: Hardware Reliability. Dependability Metrics 2005: 59-103
4	EE	Lijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
3	EE	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	EE	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	[14]
2	Jiajun Bu	[7] [13]
3	Zhigang Cao	[3]
4	Chun Chen	[7] [13]
5	Wei Chen	[7] [13]
6	Daizhan Cheng	[6]
7	Lucia Cloth	[9]
8	Pepijn Crouzen	[9] [15]
9	Friedrich Eisenbrand	[8] [12]
10	Irene Eusgeld	[5]
11	Bernhard Fechner	[5]
12	Matthias Fruth	[9]
13	E. Moritz Hahn	[18]
14	Tingting Han	[9]
15	Holger Hermanns	[4] [8] [10] [11] [12] [14] [15] [17] [18]
16	David N. Jansen	[4] [8] [9] [12]
17	Yan Jianfeng	[2]
18	Mark Kattenbelt	[9]
19	Jie Li	[1]
20	Victor O. K. Li	[3]
21	Zhanhuai Li	[2]
22	Philipp Limbourg	[5]
23	Kangmiao Liu	[7]
24	Felix Salfner	[5]
25	Gerard J. M. Smit	[9]
26	Björn Wachter	[10] [17] [18]
27	Max Walter	[5]
28	Can Wang	[13]
29	Wuying Xia	[1]
30	Yang Zhang	[2]
31	Yannan Zhao	[1]

Colors in the list of coauthors