Lijun Zhang

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

2008
11EEHolger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
10EEJonathan Bogdoll, Holger Hermanns, Lijun Zhang: An Experimental Evaluation of Probabilistic Simulation. FORTE 2008: 37-52
2007
9EELijun Zhang, Holger Hermanns: Deciding Simulations on Probabilistic Automata. ATVA 2007: 207-222
8EEBjörn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
7EELucia 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
6EELijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
5EEKangmiao Liu, Wei Chen, Jiajun Bu, Chun Chen, Lijun Zhang: User Modeling for Recommendation in Blogspace. Web Intelligence/IAT Workshops 2007: 79-82
2006
4EEDaizhan Cheng, Lijun Zhang: Adaptive control of linear Markov jump systems. Int. J. Systems Science 37(7): 477-483 (2006)
2005
3EELijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
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 [10]
2Jiajun Bu [5]
3Chun Chen [5]
4Wei Chen [5]
5Daizhan Cheng [4]
6Lucia Cloth [7]
7Pepijn Crouzen [7]
8Friedrich Eisenbrand [6]
9Matthias Fruth [7]
10Tingting Han [7]
11Holger Hermanns [3] [6] [8] [9] [10] [11]
12David N. Jansen [3] [6] [7]
13Yan Jianfeng [2]
14Mark Kattenbelt [7]
15Jie Li [1]
16Zhanhuai Li [2]
17Kangmiao Liu [5]
18Gerard J. M. Smit [7]
19Björn Wachter [8] [11]
20Wuying Xia [1]
21Yang Zhang [2]
22Yannan Zhao [1]

Colors in the list of coauthors

Copyright © Thu Aug 7 17:01:52 2008 by Michael Ley (ley@uni-trier.de)