He Zhu

From MaRDI portal
Person:1702884

Available identifiers

zbMath Open zhu.heMaRDI QIDQ1702884

List of research outcomes





PublicationDate of PublicationType
A novel incremental iterative force recovery method for second-order beam-column elements in plastic hinge analysis of steel frames2024-05-07Paper
Effects of online and offline interaction on rumor propagation in activity-driven networks2022-08-02Paper
Analysis of SHIR rumor propagation in random heterogeneous networks with dynamic friendships2022-07-15Paper
Rumor diffusion in heterogeneous networks by considering the individuals' subjective judgment and diverse characteristics2022-06-27Paper
Knowledge diffusion in complex networks by considering time-varying information channels2022-06-27Paper
\textsc{Poling}: SMT aided linearizability proofs2018-03-01Paper
Learning refinement types2017-05-10Paper
https://portal.mardi4nfdi.de/entity/Q29908742016-08-10Paper
Dependent Array Type Inference from Tests2015-02-04Paper
Compositional and Lightweight Dependent Type Inference for ML2014-11-03Paper
https://portal.mardi4nfdi.de/entity/Q54697662006-05-26Paper
https://portal.mardi4nfdi.de/entity/Q33739452006-03-09Paper
https://portal.mardi4nfdi.de/entity/Q45369202002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q45369432002-06-25Paper

Research outcomes over time

This page was built for person: He Zhu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1702884&oldid=6350286"
Powered by MediaWiki