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 |
|---|---|---|
| The Kantorovich metric in computer science: a brief survey | 2025-03-11 | Paper |
| Behavioural pseudometrics for nondeterministic probabilistic systems Scientific Annals of Computer Science | 2024-08-15 | Paper |
| Extensions of the two-phase double-point material point method to simulate the landslide-induced surge process Engineering Analysis with Boundary Elements | 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 Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
| Probabilistic barbed congruence Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Research outcomes over time
This page was built for person: Wenjie Du
