Hongyu Sun

Available identifiers

zbMath Open sun.hongyuMaRDI QIDQ1947733

List of research outcomes

Publication	Date of Publication	Type
Detecting API missing-check bugs through complete cross checking of erroneous returns	2023-08-21	Paper
ECG signal detection and classification of heart rhythm diseases based on ResNet and LSTM	2022-01-06	Paper
Predicting truncated multiple recursive generators with unknown parameters	2020-05-21	Paper
Bulk velocity extraction for nano-scale Newtonian flows	2013-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q2917193	2012-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q3170699	2011-09-29	Paper
Model Checking Timed Systems with Urgencies	2008-09-04	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: Hongyu Sun