Edit Profile (opens in new tab) Li, Wei Co-Author Distance Author ID: li.wei.2 Published as: Li, Wei Homepage: http://ww1.math.nus.edu.sg/staff.aspx?s=matliw External Links: dblp Documents Indexed: 21 Publications since 2013, including 3 Additional arXiv Preprints Co-Authors: 14 Co-Authors with 10 Joint Publications 659 Co-Co-Authors all top 5 Co-Authors 3 single-authored 5 Jain, Sanjay 5 Stephan, Frank 4 Chong, Chi Tat 3 Gao, Ziyuan 3 Khoussainov, Bakhadyr M. 2 Bélanger, David R. 2 Calude, Cristian S. 2 Wang, Wei 2 Yang, Yue 1 Badia, Santiago 1 Friedman, Sy-David 1 Fu, Jing 1 Geng, Keke 1 Gutin, Gregory Z. 1 He, Jizhou 1 Li, Dongyan 1 Li, Yuxue 1 Liang, Xiao 1 Liu, Dianyong 1 Liu, Lu 1 Martín, Alberto F. 1 Melnikov, Alexander G. 1 Nguyen, Anh-Tu 1 Qu, Gangrong 1 Seidel, Karen 1 Shi, Zhicheng 1 Tian, Junfeng 1 Tian, Ruimiao 1 Wang, Shujing 1 Wong, Tin Lok 1 Wu, Lian 1 Xie, Shangzuo 1 Xie, Yu 1 Yeo, Anders 1 Yu, Changdong 1 Zhou, Yacong 1 Zhu, Xiaoyuan all top 5 Serials 1 Israel Journal of Mathematics 1 Journal of the Franklin Institute 1 Advances in Mathematics 1 The Journal of Symbolic Logic 1 Mathematische Nachrichten 1 Proceedings of the American Mathematical Society 1 SIAM Journal on Computing 1 Transactions of the American Mathematical Society 1 Information and Computation 1 Archive for Mathematical Logic 1 International Journal of Robust and Nonlinear Control 1 The Bulletin of Symbolic Logic 1 International Transactions in Operational Research 1 Communications in Nonlinear Science and Numerical Simulation 1 Chinese Journal of Physics (Taipei) all top 5 Fields 7 Mathematical logic and foundations (03-XX) 5 Computer science (68-XX) 3 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Abstract harmonic analysis (43-XX) 1 Numerical analysis (65-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 84 times in 82 Documents Cited by ▼ Year ▼ Deciding parity games in quasipolynomial time. Zbl 1369.68234 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 67 2017 Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098 Chong, C. T.; Li, Wei; Yang, Yue 4 2014 Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory. Zbl 1358.03065 Friedman, Sy-David; Li, Wei; Wong, Tin Lok 3 2016 On the strength of Ramsey’s theorem for trees. Zbl 1444.03012 Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue 3 2020 Deciding parity games in quasi-polynomial time. Zbl 07516621 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 2 2022 The strength of Ramsey’s theorem for pairs over trees. I: Weak König’s lemma. Zbl 1486.03021 Chong, Chi Tat; Li, Wei; Liu, Lu; Yang, Yue 2 2021 On the computability of perfect subsets of sets with positive measure. Zbl 1484.03077 Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue 2 2019 Friedberg numbering in fragments of Peano arithmetic and \(\alpha\)-recursion theory. Zbl 1349.03084 Li, Wei 1 2013 Deciding parity games in quasi-polynomial time. Zbl 07516621 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 2 2022 The strength of Ramsey’s theorem for pairs over trees. I: Weak König’s lemma. Zbl 1486.03021 Chong, Chi Tat; Li, Wei; Liu, Lu; Yang, Yue 2 2021 On the strength of Ramsey’s theorem for trees. Zbl 1444.03012 Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue 3 2020 On the computability of perfect subsets of sets with positive measure. Zbl 1484.03077 Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue 2 2019 Deciding parity games in quasipolynomial time. Zbl 1369.68234 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 67 2017 Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory. Zbl 1358.03065 Friedman, Sy-David; Li, Wei; Wong, Tin Lok 3 2016 Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098 Chong, C. T.; Li, Wei; Yang, Yue 4 2014 Friedberg numbering in fragments of Peano arithmetic and \(\alpha\)-recursion theory. Zbl 1349.03084 Li, Wei 1 2013 all cited Publications top 5 cited Publications all top 5 Cited by 139 Authors 10 Zimmermann, Martín G. 5 Chong, Chi Tat 5 Lehtinen, Karoliina 5 Li, Wei 5 Weinert, Alexander 4 Benerecetti, Massimo 4 Boker, Udi 4 Dell’Erba, Daniele 4 Mogavero, Fabio 4 Neider, Daniel 3 Hausmann, Daniel 3 McKenzie, Zachiri 3 Ohlmann, Pierre 3 Wang, Wei 2 Boros, Endre 2 Chatterjee, Krishnendu 2 Dzhafarov, Damir D. 2 Elbassioni, Khaled M. 2 Enayat, Ali 2 Exibard, Léo 2 Fijalkow, Nathanaël 2 Filiot, Emmanuel 2 Gawrychowski, Paweł 2 Gurvich, Vladimir A. 2 Gutierrez, Julian 2 Jain, Sanjay 2 Jurdziński, Marcin 2 Khalimov, Ayrat 2 Kuperberg, Denis 2 Makino, Kazuhisa 2 Najib, Muhammad 2 Parys, Paweł 2 Patey, Ludovic 2 Perelli, Giuseppe 2 Piterman, Nir 2 Randour, Mickael 2 Raskin, Jean-François 2 Schewe, Sven 2 Schröder, Lutz 2 Stephan, Frank 2 van Dijk, Tom 2 Willemse, Tim A. C. 2 Wooldridge, Michael J. 2 Yang, Yue 1 Alexander, Kozachinskiy 1 Auger, David 1 Avni, Guy 1 Bagnol, Marc 1 Baldan, Paolo 1 Bélanger, David R. 1 Bertrand, Nathalie 1 Bhaskar, Ashwin 1 Brihaye, Thomas 1 Bruyère, Véronique 1 Bruynooghe, Maurice 1 Calude, Cristian S. 1 Carlucci, Lorenzo 1 Cholak, Peter A. 1 Colcombet, Thomas 1 Coucheney, Pierre 1 d’Auriac, Paul-Elliot Anglès 1 Daviaud, Laure 1 Delgrange, Florent 1 Denecker, Marc 1 Dewaskar, Miheer 1 Di Stasio, Antonio 1 Diekert, Volker 1 Dorais, François Gilbert 1 Dorfman, Dani 1 Engeler, Erwin 1 Fearnley, John 1 Fouz, Mahmoud 1 Gao, Ziyuan 1 Gazda, Maciej W. 1 Genest, Blaise 1 Gimbert, Hugo 1 Gouveia, Maria João 1 Greenberg, Noam 1 Hague, Matthew 1 Hautem, Quentin 1 Hella, Lauri T. 1 Henzinger, Thomas A. 1 Hirst, Jeffry Lynn 1 Ibsen-Jensen, Rasmus 1 Kaplan, Haim 1 Khoussainov, Bakhadyr M. 1 König, Barbara 1 Křetínský, Jan 1 Kufleitner, Manfred 1 Kupferman, Orna 1 Kuusisto, Antti 1 Lapauw, Ruben 1 Leroux, Stéphane 1 Li, Zeyong 1 Lijzenga, Oebele 1 Liu, Lu 1 Loho, Georg 1 Main, James C. A. 1 Majumdar, Anirban 1 Manthey, Bodo ...and 39 more Authors all top 5 Cited in 25 Serials 8 Logical Methods in Computer Science 6 Information and Computation 2 Advances in Mathematics 2 The Journal of Symbolic Logic 2 Transactions of the American Mathematical Society 2 Formal Methods in System Design 2 Annals of Mathematics and Artificial Intelligence 1 Acta Informatica 1 Artificial Intelligence 1 Information Processing Letters 1 Israel Journal of Mathematics 1 Journal of Computer and System Sciences 1 Memoirs of the American Mathematical Society 1 Proceedings of the American Mathematical Society 1 SIAM Journal on Computing 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Algorithmica 1 International Journal of Foundations of Computer Science 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 The Electronic Journal of Combinatorics 1 The Bulletin of Symbolic Logic 1 Discrete Optimization 1 Optimization Letters all top 5 Cited in 8 Fields 63 Computer science (68-XX) 33 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 23 Mathematical logic and foundations (03-XX) 9 Combinatorics (05-XX) 3 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Algebraic geometry (14-XX) 1 Convex and discrete geometry (52-XX) Citations by Year