Wenjie Du

Orcid: 0000-0002-2253-3049

According to our database1, Wenjie Du authored at least 24 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
AdaNovo: Adaptive \emph{De Novo} Peptide Sequencing with Conditional Mutual Information.
CoRR, 2024

Deep Learning for Multivariate Time Series Imputation: A Survey.
CoRR, 2024

MolTC: Towards Molecular Relational Modeling In Language Models.
CoRR, 2024

2023
SAITS: Self-attention-based imputation for time series.
Expert Syst. Appl., June, 2023

Fusing 2D and 3D molecular graphs as unambiguous molecular descriptors for conformational and chiral stereoisomers.
Briefings Bioinform., January, 2023

Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models.
CoRR, 2023

PyPOTS: A Python Toolbox for Data Mining on Partially-Observed Time Series.
CoRR, 2023

Improving efficiency in rationale discovery for Out-of-Distribution molecular representations.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
Sci. Ann. Comput. Sci., 2022

SAITS: Self-Attention-based Imputation for Time Series.
CoRR, 2022

Global 10-m impervious surface area mapping: A big earth data based extraction and updating approach.
Int. J. Appl. Earth Obs. Geoinformation, 2022

2021
Forecasting loss of signal in optical networks with machine learning.
JOCN, 2021

Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020
Verifying Quantum Communication Protocols with Ground Bisimulation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Qsimulation V2.0: An Optimized Quantum Simulator.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019
High-Resolution Urban Land Mapping in China from Sentinel 1A/2 Imagery Based on Google Earth Engine.
Remote. Sens., 2019

2015
能量捕获无线传感网的吞吐量最大化路由 (Throughput-maximized Routing Scheme for Energy Harvesting Wireless Sensor Networks).
计算机科学, 2015

Modal Characterisations of Behavioural Pseudometrics.
CoRR, 2015

2011
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
CoRR, 2011

2009
On Mobility and Communication.
Proceedings of the Fifth International Symposium on Domain Theory, 2009

The Kantorovich Metric in Computer Science: A Brief Survey.
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

A Local Algorithm for Checking Probabilistic Bisimilarity.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

2007
Probabilistic Barbed Congruence.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

2006
Realization of Multilayer Occlusion between Real and Virtual Scenes in Augmented Reality.
Proceedings of the 10th International Conference on CSCW in Design, 2006


  Loading...