Ming Xu
Orcid: 0000-0002-9906-5677Affiliations:
- East China Normal University, School of Software Engineering, Department of Computer Science and Technology, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China
According to our database1,
Ming Xu
authored at least 31 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
2023
Inf. Process. Lett., 2023
CoRR, 2023
Proceedings of the 31st ACM International Conference on Multimedia, 2023
2022
Theor. Comput. Sci., 2022
CoRR, 2022
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
Quantum Inf. Process., 2021
Acta Informatica, 2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
2020
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.
Proc. ACM Program. Lang., 2020
J. Autom. Reason., 2020
Inf. Comput., 2020
Proceedings of the 16th International Conference on Mobility, Sensing and Networking, 2020
Revisiting the Fairness and Randomness of Delegated Proof of Stake Consensus Algorithm.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020
2018
J. Symb. Comput., 2018
2016
Theor. Comput. Sci., 2016
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016
2015
J. Symb. Comput., 2015
2014
J. Syst. Sci. Complex., 2014
2013
Inf. Process. Lett., 2013
2010
J. Univers. Comput. Sci., 2010
Int. J. Syst. Sci., 2010
Proceedings of the WALCOM: Algorithms and Computation, 4th International Workshop, 2010
2009
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009