×
Author ID: zhang.lijun Recent zbMATH articles by "Zhang, Lijun"
Published as: Zhang, Lijun
Further Spellings: 张立军
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

61 Publications have been cited 285 times in 188 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
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
13
2013
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
13
2015
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
9
2012
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
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
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
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
7
2013
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
6
2007
Finding polynomial loop invariants for probabilistic programs. Zbl 1495.68042
Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican
6
2017
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133
He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun
5
2015
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
Efficient CSL model checking using stratification. Zbl 1348.68152
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
5
2012
Deciding simulations on probabilistic automata. Zbl 1141.68443
Zhang, Lijun; Hermanns, Holger
5
2007
Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun
4
2013
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
Automata-based CSL model checking. Zbl 1334.68135
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
3
2011
Model checking differentially private properties. Zbl 1519.68137
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
3
2018
On the minimisation of acyclic models. Zbl 1160.68462
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun
3
2008
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2011
Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Zbl 1408.68024
3
2019
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
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
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
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
3
2020
Distribution-based bisimulation for labelled Markov processes. Zbl 1494.68184
Yang, Pengfei; Jansen, David N.; Zhang, Lijun
3
2017
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
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
3
2014
Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2014
Logic and model checking for hidden Markov models. Zbl 1169.68524
Zhang, Lijun; Hermanns, Holger; Jansen, David N.
2
2005
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
2
2015
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
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
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
A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
2
2016
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
2
2014
A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220
Wang, Shuling; Zhan, Naijun; Zhang, Lijun
2
2017
A space-efficient simulation algorithm on probabilistic automata. Zbl 1345.68219
Zhang, Lijun; Jansen, David N.
1
2016
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
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
On the power of unambiguity in Büchi complementation. Zbl 07455748
Li, Yong; Vardi, Moshe Y.; Zhang, Lijun
1
2020
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
On equivalence checking of nondeterministic finite automata. Zbl 1498.68136
Fu, Chen; Deng, Yuxin; Jansen, David N.; Zhang, Lijun
1
2017
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
Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
1
2022
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296
Feng, Yuan; Zhang, Lijun
1
2014
A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428
Feng, Yuan; Zhang, Lijun
1
2013
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
Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun
1
2015
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
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
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
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
3
2020
On the power of unambiguity in Büchi complementation. Zbl 07455748
Li, Yong; Vardi, Moshe Y.; Zhang, Lijun
1
2020
Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Zbl 1408.68024
3
2019
Model checking differentially private properties. Zbl 1519.68137
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
3
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
6
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
On equivalence checking of nondeterministic finite automata. Zbl 1498.68136
Fu, Chen; Deng, Yuxin; Jansen, David N.; Zhang, Lijun
1
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
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
2016
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
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
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
3
2014
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
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
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
7
2013
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
7
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
9
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
Automata-based CSL model checking. Zbl 1334.68135
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
3
2011
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
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 top 5

Cited by 335 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 Remke, Anne
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
...and 235 more Authors

Citations by Year