Wenjie Du

Available identifiers

zbMath Open du.wenjieMaRDI QIDQ1660764

List of research outcomes

Publication	Date of Publication	Type
Behavioural pseudometrics for nondeterministic probabilistic systems	2024-08-15	Paper
Extensions of the two-phase double-point material point method to simulate the landslide-induced surge process	2021-12-07	Paper
Verifying quantum communication protocols with ground bisimulation	2021-10-18	Paper
Qsimulation V2.0: an optimized quantum simulator	2021-07-08	Paper
Behavioural pseudometrics for nondeterministic probabilistic systems	2018-08-16	Paper
On Mobility and Communication	2016-08-01	Paper
Probabilistic barbed congruence	2014-01-17	Paper

Research outcomes over time

This page was built for person: Wenjie Du