Lijun Zhang

  1. 2013
  2. Published

    A tighter bound for the self-stabilization time in Hermanʼs algorithm. / Feng, Yuan; Zhang, Lijun.

    In: Information Processing Letters, Vol. 113, No. 13, 2013, p. 486-488.

    Publication: Research - peer-reviewJournal article – Annual report year: 2013

  3. Published

    Bisimulations meet PCTL equivalences for probabilistic automata. / Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming.

    In: Logical Methods in Computer Science, Vol. 9, No. 2, 7, 2013.

    Publication: Research - peer-reviewJournal article – Annual report year: 2013

  4. Published

    Deciding bisimilarities on distributions. / Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun.

    Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer, 2013. p. 72-88 (Lecture Notes in Computer Science, Vol. 8054).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  5. Published

    Model checking conditional CSL for continuous-time Markov chains. / Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun.

    In: Information Processing Letters, Vol. 113, No. 1-2, 2013, p. 44-50.

    Publication: Research - peer-reviewJournal article – Annual report year: 2013

  6. Published

    On the relationship between LTL normal forms and Büchi automata. / Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim.

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer, 2013. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  7. Published

    Revisiting Weak Simulation for Substochastic Markov Chains. / Jansen, David N.; Song, Lei; Zhang, Lijun.

    Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer, 2013. p. 209-224 (Lecture Notes in Computer Science, Vol. 8054).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  8. Published

    The Quest for Minimal Quotients for Probabilistic Automata. / Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun.

    Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, 2013. p. 16-31 (Lecture Notes in Computer Science, Vol. 7795).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  9. 2012
  10. Published

    A General Framework for Probabilistic Characterizing Formulae. / Sack, Joshua; Zhang, Lijun.

    In: Lecture Notes in Computer Science, Vol. 7148, 2012, p. 396-411.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  11. Published

    Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  12. Published

    Efficient CSL Model Checking Using Stratification. / Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger.

    In: Logical Methods in Computer Science, Vol. 8, No. 2, 2012, p. Paper 17.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

Previous 1 2 3 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word