Ximeng Li

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalization of the inverse kinematics of three-fingered dexterous hand Journal of Logical and Algebraic Methods in Programming	2023-06-19	Paper
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality Programming Languages and Systems	2022-12-09	Paper
Factorization of behavioral integrity	2022-08-19	Paper
Reasoning about iteration and recursion uniformly based on big-step semantics	2022-07-13	Paper
Formal verification of atomicity requirements for smart contracts	2021-07-08	Paper
Formalization of Euler-Lagrange equation set based on variational calculus in HOL light Journal of Automated Reasoning	2021-06-09	Paper
Disjunctive Information Flow for Communicating Processes Trustworthy Global Computing	2021-04-07	Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula Formal Aspects of Computing	2021-01-04	Paper
Formalization of complex analysis and matrix theory	2020-09-03	Paper
A coordination language for databases	2017-05-08	Paper
Hoare logic for disjunctive information flow Programming Languages with Applications to Biology and Security	2016-01-08	Paper

Research outcomes over time

This page was built for person: Ximeng Li