Ximeng Li

From MaRDI portal
Person:826355

Available identifiers

zbMath Open li.ximengMaRDI QIDQ826355

List of research outcomes





PublicationDate of PublicationType
Formalization of the inverse kinematics of three-fingered dexterous hand2023-06-19Paper
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality2022-12-09Paper
Factorization of behavioral integrity2022-08-19Paper
Reasoning about iteration and recursion uniformly based on big-step semantics2022-07-13Paper
Formal verification of atomicity requirements for smart contracts2021-07-08Paper
Formalization of Euler-Lagrange equation set based on variational calculus in HOL light2021-06-09Paper
Disjunctive Information Flow for Communicating Processes2021-04-07Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula2021-01-04Paper
Formalization of Complex Analysis and Matrix Theory2020-09-03Paper
https://portal.mardi4nfdi.de/entity/Q29809742017-05-08Paper
Hoare Logic for Disjunctive Information Flow2016-01-08Paper

Research outcomes over time

This page was built for person: Ximeng Li

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:826355&oldid=7354897"
Powered by MediaWiki