He Zhu

Available identifiers

zbMath Open zhu.heMaRDI QIDQ1702884

List of research outcomes

Publication	Date of Publication	Type
Effects of online and offline interaction on rumor propagation in activity-driven networks	2022-08-02	Paper
Analysis of SHIR rumor propagation in random heterogeneous networks with dynamic friendships	2022-07-15	Paper
Knowledge diffusion in complex networks by considering time-varying information channels	2022-06-27	Paper
Rumor diffusion in heterogeneous networks by considering the individuals' subjective judgment and diverse characteristics	2022-06-27	Paper
\textsc{Poling}: SMT aided linearizability proofs	2018-03-01	Paper
Learning refinement types	2017-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q2990874	2016-08-10	Paper
Dependent Array Type Inference from Tests	2015-02-04	Paper
Compositional and Lightweight Dependent Type Inference for ML	2014-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q5469766	2006-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q3373945	2006-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q4536920	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536943	2002-06-25	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: He Zhu