Ximeng Li

Available identifiers

zbMath Open li.ximengMaRDI QIDQ826355

List of research outcomes

Publication	Date of Publication	Type
Formalization of the inverse kinematics of three-fingered dexterous hand	2023-06-19	Paper
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality	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	2021-06-09	Paper
Disjunctive Information Flow for Communicating Processes	2021-04-07	Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula	2021-01-04	Paper
Formalization of Complex Analysis and Matrix Theory	2020-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2980974	2017-05-08	Paper
Hoare Logic for Disjunctive Information Flow	2016-01-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ximeng Li