dblp.uni-trier.dewww.uni-trier.de

Lijun Zhang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
18EELijun Zhang, Holger Hermanns, E. Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
17EEHolger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
16EELijun Zhang: A Space-Efficient Probabilistic Simulation Algorithm. CONCUR 2008: 248-263
15EEPepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
14EEJonathan Bogdoll, Holger Hermanns, Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52
13EEWei Chen, Lijun Zhang, Can Wang, Chun Chen, Jiajun Bu: Pervasive Web News Recommendation for Visually Impaired People. Web Intelligence/IAT Workshops 2008: 119-122
12EELijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
2007
11EELijun Zhang, Holger Hermanns: Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222
10EEBjörn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
9EELucia 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
8EELijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
7EEKangmiao Liu, Wei Chen, Jiajun Bu, Chun Chen, Lijun Zhang: User Modeling for Recommendation in Blogspace. Web Intelligence/IAT Workshops 2007: 79-82
2006
6EEDaizhan Cheng, Lijun Zhang: Adaptive control of linear Markov jump systems. Int. J. Systems Science 37(7): 477-483 (2006)
2005
5EEIrene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang: Hardware Reliability. Dependability Metrics 2005: 59-103
4EELijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
3EELijun 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
2EEYang 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)