Edit Profile (opens in new tab) Zhang, Lijun Co-Author Distance Author ID: zhang.lijun Published as: Zhang, Lijun Further Spellings: 张立军 External Links: ORCID Documents Indexed: 74 Publications since 2005, including 2 Additional arXiv Preprints 7 Contributions as Editor Co-Authors: 82 Co-Authors with 77 Joint Publications 2,708 Co-Co-Authors all top 5 Co-Authors 1 single-authored 19 Hermanns, Holger 13 Turrini, Andrea 12 Jansen, David N. 11 Li, Yong 8 Hahn, Ernst Moritz 8 Schewe, Sven 8 Vardi, Moshe Ya’akov 7 Eisentraut, Christian 7 Pu, Geguang 6 Song, Lei 5 Godskesen, Jens Chr. 5 Li, Jianwen 5 Liu, Depeng 5 Wang, Bow-Yaw 5 Zhan, Naijun 4 Feng, Yuan 4 He, Jifeng 4 Wachter, Björn 4 Yang, Pengfei 3 Chen, Yu-Fang 3 Huang, Chengchao 3 Nielson, Flemming 3 Xu, Ming 2 Eisenbrand, Friedrich 2 Fearnley, John 2 Feng, Weizhi 2 Finkbeiner, Bernd 2 Fu, Chen 2 Gao, Yang 2 Katoen, Joost-Pieter 2 Li, Renjue 2 Pang, Jun 2 Rabe, Markus N. 2 Schuster, Johann Christoph 2 Sun, Xuechao 2 Vojnar, Tomáš 2 Wang, Shuling 2 Xue, Bai 2 Zhu, Shufang 1 Cai, Shaowei 1 Chen, Liqian 1 Cheng, James 1 Crouzen, Pepijn 1 Cui, Bing 1 Dai, Ting 1 Deng, Yuxin 1 Duan, Kaiqiang 1 Feng, Yijun 1 Fränzle, Martin 1 Fu, Jianling 1 Gao, Xiaowei 1 He, Fei 1 Hong, Chih-Duo 1 Jiao, Licheng 1 Kiefer, Stefan 1 Krämer, Julia 1 Larsen, Kim Guldstrand 1 Li, Guangyuan 1 Li, Xie 1 Li, Yi 1 Li, Yongjian 1 Liu, Hongying 1 Liu, Jiangchao 1 Liu, Wanwei 1 Lü, Wanli 1 Lv, Jidong 1 Lv, Yi 1 Mei, Jingyi 1 Murawski, Andrzej S. 1 Neuhäußer, Martin R. 1 Ouaknine, Joel O. 1 Parma, Augusto 1 Peng, Yu 1 Ratschan, Stefan 1 Ren, Dejin 1 Sack, Joshua 1 Segala, Roberto 1 Shang, Fanhua 1 She, Zhikun 1 Shen, Ganghui 1 Sun, Bing 1 Sun, Jun 1 Tao, Dacheng 1 Tsang, Ivor Wai-Hung 1 Tsay, Yih-Kuen 1 Wang, Jingyi 1 Wang, Zheng 1 Wolovick, Nicolás 1 Worrell, James B. 1 Xia, Bican 1 Xia, Yuanqing 1 Yang, Zongyuan 1 Zhang, Jinhui 1 Zhou, Kaiwen 1 Zhu, Huibiao all top 5 Serials 6 Information and Computation 4 Lecture Notes in Computer Science 3 Information Processing Letters 3 Theoretical Computer Science 3 Formal Aspects of Computing 3 Logical Methods in Computer Science 2 Acta Informatica 2 Journal of Computer and System Sciences 1 Journal of Logic and Computation 1 Distributed Computing 1 International Journal of Robust and Nonlinear Control 1 Formal Methods in System Design 1 European Journal of Control 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 77 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 7 General and overarching topics; collections (00-XX) 5 Probability theory and stochastic processes (60-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Systems theory; control (93-XX) 3 Operations research, mathematical programming (90-XX) 1 Approximations and expansions (41-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 59 Publications have been cited 276 times in 181 Documents Cited by ▼ Year ▼ Probabilistic logical characterization. Zbl 1210.68072 Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun 24 2011 Probabilistic CEGAR. Zbl 1155.68438 Hermanns, Holger; Wachter, Björn; Zhang, Lijun 18 2008 Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170 Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun 17 2011 Concurrency and composition in a stochastic world. Zbl 1287.68132 Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun 15 2010 Lazy probabilistic model checking without determinisation. Zbl 1374.68290 Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 13 2015 A semantics for every GSPN. Zbl 1381.68199 Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun 13 2013 Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473 Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. 11 2008 Model checking interactive Markov chains. Zbl 1284.68420 Zhang, Lijun; Neuhäußer, Martin R. 8 2010 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 8 2017 Safety verification for probabilistic hybrid systems. Zbl 1291.93294 Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz 8 2012 A general framework for probabilistic characterizing formulae. Zbl 1326.68176 Sack, Joshua; Zhang, Lijun 7 2012 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 7 2013 The quest for minimal quotients for probabilistic automata. Zbl 1381.68115 Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun 7 2013 Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326 Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. 6 2007 On stabilization in Herman’s algorithm. Zbl 1333.68038 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 Deciding bisimilarities on distributions. Zbl 1398.68364 Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun 6 2013 Deciding simulations on probabilistic automata. Zbl 1141.68443 Zhang, Lijun; Hermanns, Holger 5 2007 Efficient CSL model checking using stratification. Zbl 1348.68152 Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger 5 2012 Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213 Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun 5 2009 Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133 He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun 5 2015 Finding polynomial loop invariants for probabilistic programs. Zbl 1495.68042 Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican 5 2017 Best probabilistic transformers. Zbl 1273.68244 Wachter, Björn; Zhang, Lijun 4 2010 A space-efficient probabilistic simulation algorithm. Zbl 1160.68432 Zhang, Lijun 4 2008 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125 Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 4 2013 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2011 Automata-based CSL model checking. Zbl 1334.68135 Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger 3 2011 Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049 Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun 3 2015 Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143 Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan 3 2016 Distribution-based bisimulation for labelled Markov processes. Zbl 1494.68184 Yang, Pengfei; Jansen, David N.; Zhang, Lijun 3 2017 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015 Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun 3 2016 Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2014 On the minimisation of acyclic models. Zbl 1160.68462 Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun 3 2008 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 3 2021 Congruence relations for Büchi automata. Zbl 1521.68074 Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun 3 2021 Improving neural network verification through spurious region guided refinement. Zbl 1467.68096 Yang, Pengfei; Li, Renjue; Li, Jianlin; Huang, Cheng-Chao; Wang, Jingyi; Sun, Jun; Xue, Bai; Zhang, Lijun 3 2021 Probably safe or live. Zbl 1394.68231 Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun 2 2014 Logic and model checking for hidden Markov models. Zbl 1169.68524 Zhang, Lijun; Hermanns, Holger; Jansen, David N. 2 2005 \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177 Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220 Wang, Shuling; Zhan, Naijun; Zhang, Lijun 2 2017 Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193 Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun 2 2015 A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 2 2016 Finite-time cooperative attitude control for leader-follower spacecraft with fixed-time observer. Zbl 1525.93404 Zhang, Lijun; Xia, Yuanqing; Cui, Bing; Zhang, Jinhui; Shen, Ganghui 2 2020 Model checking differentially private properties. Zbl 1519.68137 Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun 2 2018 Divide-and-conquer determinization of Büchi automata based on SCC decomposition. Zbl 1514.68108 Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun 2 2022 Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374 Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. 2 2018 An automatic proving approach to parameterized verification. Zbl 1407.68295 Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei 2 2018 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165 Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun 1 2011 A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296 Feng, Yuan; Zhang, Lijun 1 2014 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264 Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 1 2017 A space-efficient simulation algorithm on probabilistic automata. Zbl 1345.68219 Zhang, Lijun; Jansen, David N. 1 2016 On the power of unambiguity in Büchi complementation. Zbl 07455748 Li, Yong; Vardi, Moshe Y.; Zhang, Lijun 1 2020 On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim 1 2013 An efficient synthesis algorithm for parametric Markov chains against linear time properties. Zbl 1393.68107 Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun 1 2016 Probabilistic verification of neural networks against group fairness. Zbl 1521.68159 Sun, Bing; Sun, Jun; Dai, Ting; Zhang, Lijun 1 2021 Enhancing robustness verification for deep neural networks via symbolic propagation. Zbl 1519.68228 Yang, Pengfei; Li, Jianlin; Liu, Jiangchao; Huang, Cheng-Chao; Li, Renjue; Chen, Liqian; Huang, Xiaowei; Zhang, Lijun 1 2021 A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428 Feng, Yuan; Zhang, Lijun 1 2013 Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng 1 2018 Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104 Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun 1 2022 Divide-and-conquer determinization of Büchi automata based on SCC decomposition. Zbl 1514.68108 Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun 2 2022 Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104 Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun 1 2022 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 3 2021 Congruence relations for Büchi automata. Zbl 1521.68074 Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun 3 2021 Improving neural network verification through spurious region guided refinement. Zbl 1467.68096 Yang, Pengfei; Li, Renjue; Li, Jianlin; Huang, Cheng-Chao; Wang, Jingyi; Sun, Jun; Xue, Bai; Zhang, Lijun 3 2021 Probabilistic verification of neural networks against group fairness. Zbl 1521.68159 Sun, Bing; Sun, Jun; Dai, Ting; Zhang, Lijun 1 2021 Enhancing robustness verification for deep neural networks via symbolic propagation. Zbl 1519.68228 Yang, Pengfei; Li, Jianlin; Liu, Jiangchao; Huang, Cheng-Chao; Li, Renjue; Chen, Liqian; Huang, Xiaowei; Zhang, Lijun 1 2021 Finite-time cooperative attitude control for leader-follower spacecraft with fixed-time observer. Zbl 1525.93404 Zhang, Lijun; Xia, Yuanqing; Cui, Bing; Zhang, Jinhui; Shen, Ganghui 2 2020 On the power of unambiguity in Büchi complementation. Zbl 07455748 Li, Yong; Vardi, Moshe Y.; Zhang, Lijun 1 2020 Model checking differentially private properties. Zbl 1519.68137 Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun 2 2018 Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374 Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. 2 2018 An automatic proving approach to parameterized verification. Zbl 1407.68295 Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei 2 2018 Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng 1 2018 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098 Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 8 2017 Finding polynomial loop invariants for probabilistic programs. Zbl 1495.68042 Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican 5 2017 Distribution-based bisimulation for labelled Markov processes. Zbl 1494.68184 Yang, Pengfei; Jansen, David N.; Zhang, Lijun 3 2017 A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220 Wang, Shuling; Zhan, Naijun; Zhang, Lijun 2 2017 Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 1 2017 Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143 Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan 3 2016 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015 Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun 3 2016 A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 2 2016 A space-efficient simulation algorithm on probabilistic automata. Zbl 1345.68219 Zhang, Lijun; Jansen, David N. 1 2016 An efficient synthesis algorithm for parametric Markov chains against linear time properties. Zbl 1393.68107 Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun 1 2016 Lazy probabilistic model checking without determinisation. Zbl 1374.68290 Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 13 2015 Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133 He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun 5 2015 Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049 Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun 3 2015 Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193 Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun 2 2015 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264 Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2014 Probably safe or live. Zbl 1394.68231 Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun 2 2014 \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177 Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296 Feng, Yuan; Zhang, Lijun 1 2014 A semantics for every GSPN. Zbl 1381.68199 Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun 13 2013 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 7 2013 The quest for minimal quotients for probabilistic automata. Zbl 1381.68115 Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun 7 2013 Deciding bisimilarities on distributions. Zbl 1398.68364 Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun 6 2013 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125 Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 4 2013 On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435 Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim 1 2013 A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428 Feng, Yuan; Zhang, Lijun 1 2013 Safety verification for probabilistic hybrid systems. Zbl 1291.93294 Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz 8 2012 A general framework for probabilistic characterizing formulae. Zbl 1326.68176 Sack, Joshua; Zhang, Lijun 7 2012 Efficient CSL model checking using stratification. Zbl 1348.68152 Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger 5 2012 Probabilistic logical characterization. Zbl 1210.68072 Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun 24 2011 Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170 Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun 17 2011 On stabilization in Herman’s algorithm. Zbl 1333.68038 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2011 Automata-based CSL model checking. Zbl 1334.68135 Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger 3 2011 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165 Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun 1 2011 Concurrency and composition in a stochastic world. Zbl 1287.68132 Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun 15 2010 Model checking interactive Markov chains. Zbl 1284.68420 Zhang, Lijun; Neuhäußer, Martin R. 8 2010 Best probabilistic transformers. Zbl 1273.68244 Wachter, Björn; Zhang, Lijun 4 2010 Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213 Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun 5 2009 Probabilistic CEGAR. Zbl 1155.68438 Hermanns, Holger; Wachter, Björn; Zhang, Lijun 18 2008 Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473 Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. 11 2008 A space-efficient probabilistic simulation algorithm. Zbl 1160.68432 Zhang, Lijun 4 2008 On the minimisation of acyclic models. Zbl 1160.68462 Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun 3 2008 Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326 Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. 6 2007 Deciding simulations on probabilistic automata. Zbl 1141.68443 Zhang, Lijun; Hermanns, Holger 5 2007 Logic and model checking for hidden Markov models. Zbl 1169.68524 Zhang, Lijun; Hermanns, Holger; Jansen, David N. 2 2005 all cited Publications top 5 cited Publications all top 5 Cited by 313 Authors 30 Zhang, Lijun 15 Katoen, Joost-Pieter 14 Hermanns, Holger 11 Baier, Christel 8 Turrini, Andrea 7 Deng, Yuxin 7 Hahn, Ernst Moritz 7 Li, Yong 7 Schewe, Sven 7 Vardi, Moshe Ya’akov 6 Bernardo, Marco 6 Kwiatkowska, Marta Z. 5 Feng, Yuan 5 Jansen, David N. 5 Loreti, Michele 4 Crafa, Silvia 4 De Nicola, Rocco 4 Eisentraut, Christian 4 Gebler, Daniel E. 4 Junges, Sebastian 4 Liu, Depeng 4 Ranzato, Francesco 4 Silva, Alexandra 4 Sokolova, Ana 4 Stoelinga, Mariëlle 4 Tini, Simone 4 Xu, Ming 4 Zhan, Naijun 3 Bartocci, Ezio 3 Becker, Bernd 3 Bonchi, Filippo 3 Castiglioni, Valentina 3 Chen, Taolue 3 D’Argenio, Pedro Rubén 3 Dubslaff, Clemens 3 Godskesen, Jens Chr. 3 Jansen, Nils 3 Jantsch, Simon 3 Kiefer, Stefan 3 Klein, Joachim 3 Klüppelholz, Sascha 3 Kovács, Laura Ildikó 3 Larsen, Kim Guldstrand 3 Lochbihler, Andreas 3 Müller, David I. 3 Perez, Mateo 3 Somenzi, Fabio 3 Song, Lei 3 Stankovič, Miroslav 3 Trivedi, Ashutosh 3 Wimmer, Ralf D. 3 Wojtczak, Dominik 3 Worrell, James B. 2 Abate, Alessandro 2 Ábrahám, Erika 2 An, Jie 2 Angluin, Dana 2 Bruni, Roberto 2 Buchholz, Peter 2 Cao, Yongzhi 2 Chen, Guangke 2 Chen, Mingshuai 2 Chen, Yu-Fang 2 Cimatti, Alessandro 2 Dehnert, Christian 2 Feng, Weizhi 2 Ferrer Fioriti, Luis María 2 Fisman, Dana 2 Forejt, Vojtěch 2 Griggio, Alberto 2 Grosu, Radu 2 Guck, Dennis 2 Hashemi, Vahid 2 Hatefi, Hassan 2 Hennessy, Matthew C. B. 2 Huang, Chengchao 2 Klink, Daniel 2 Lanotte, Ruggero 2 Li, Jianwen 2 Malik, Avinash 2 Mazzocchi, Nicolas 2 Melgratti, Hernán 2 Milazzo, Paolo 2 Montanari, Ugo G. 2 Murawski, Andrzej S. 2 Norman, Gethin 2 Ouaknine, Joel O. 2 Pu, Geguang 2 Quatmann, Tim 2 Rabe, Markus N. 2 Redondi, Gianluca 2 Schuster, Johann Christoph 2 Song, Fu 2 Sproston, Jeremy 2 Tarasyuk, Igor’ Valer’evich 2 Timmer, Mark 2 Tsay, Yih-Kuen 2 van de Pol, Jan Cornelis 2 Viswanathan, Mahesh 2 Wang, Bow-Yaw ...and 213 more Authors all top 5 Cited in 32 Serials 18 Theoretical Computer Science 14 Information and Computation 10 Formal Methods in System Design 9 Formal Aspects of Computing 6 Logical Methods in Computer Science 6 Journal of Logical and Algebraic Methods in Programming 5 Acta Informatica 2 Fuzzy Sets and Systems 2 Journal of Computer and System Sciences 2 European Journal of Control 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Information Processing Letters 1 Journal of the Franklin Institute 1 Automatica 1 Computing 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Journal of Cryptology 1 MSCS. Mathematical Structures in Computer Science 1 Numerical Algorithms 1 Distributed Computing 1 Archives of Control Sciences 1 The Journal of Artificial Intelligence Research (JAIR) 1 Computer Science Journal of Moldova 1 Mathematical Problems in Engineering 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Nonlinear Analysis. Hybrid Systems 1 Algorithms 1 Vestnik Tomskogo Gosudarstvennogo Universiteta. Matematika i Mekhanika 1 EURO Journal on Computational Optimization all top 5 Cited in 14 Fields 163 Computer science (68-XX) 31 Mathematical logic and foundations (03-XX) 23 Probability theory and stochastic processes (60-XX) 18 Operations research, mathematical programming (90-XX) 16 Systems theory; control (93-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Information and communication theory, circuits (94-XX) 4 Category theory; homological algebra (18-XX) 3 Biology and other natural sciences (92-XX) 2 Combinatorics (05-XX) 2 Numerical analysis (65-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year