The following pages link to Ximeng Li (Q826355):
Displaying 11 items.
- Formalization of camera pose estimation algorithm based on Rodrigues formula (Q826358) (← links)
- Formalization of Euler-Lagrange equation set based on variational calculus in HOL light (Q2031406) (← links)
- Formal verification of atomicity requirements for smart contracts (Q2038066) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- Factorization of behavioral integrity (Q2165462) (← links)
- (Q2980974) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality (Q5055995) (← links)
- Formalization of Complex Analysis and Matrix Theory (Q5119159) (← links)
- Disjunctive Information Flow for Communicating Processes (Q5857794) (← links)
- Formalization of the inverse kinematics of three-fingered dexterous hand (Q6156933) (← links)
