| 2008 |
|---|
| 11 | EE | Holger Hermanns,
Björn Wachter,
Lijun Zhang:
Probabilistic CEGAR.
CAV 2008: 162-175 |
| 10 | EE | Jonathan Bogdoll,
Holger Hermanns,
Lijun Zhang:
An Experimental Evaluation of Probabilistic Simulation.
FORTE 2008: 37-52 |
| 2007 |
|---|
| 9 | EE | Lijun Zhang,
Holger Hermanns:
Deciding Simulations on Probabilistic Automata.
ATVA 2007: 207-222 |
| 8 | EE | Björn Wachter,
Lijun Zhang,
Holger Hermanns:
Probabilistic Model Checking Modulo Theories.
QEST 2007: 129-140 |
| 7 | 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 |
| 6 | EE | Lijun Zhang,
Holger Hermanns,
Friedrich Eisenbrand,
David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.
TACAS 2007: 155-169 |
| 5 | 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 |
|---|
| 4 | EE | Daizhan Cheng,
Lijun Zhang:
Adaptive control of linear Markov jump systems.
Int. J. Systems Science 37(7): 477-483 (2006) |
| 2005 |
|---|
| 3 | EE | Lijun Zhang,
Holger Hermanns,
David N. Jansen:
Logic and Model Checking for Hidden Markov Models.
FORTE 2005: 98-112 |
| 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 |
