He Zhu

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
A novel incremental iterative force recovery method for second-order beam-column elements in plastic hinge analysis of steel frames International Journal of Structural Stability and Dynamics	2024-05-07	Paper
Effects of online and offline interaction on rumor propagation in activity-driven networks Physica A	2022-08-02	Paper
Analysis of SHIR rumor propagation in random heterogeneous networks with dynamic friendships Physica A	2022-07-15	Paper
Rumor diffusion in heterogeneous networks by considering the individuals' subjective judgment and diverse characteristics Physica A	2022-06-27	Paper
Knowledge diffusion in complex networks by considering time-varying information channels Physica A	2022-06-27	Paper
\textsc{Poling}: SMT aided linearizability proofs	2018-03-01	Paper
Learning refinement types Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Single machine scheduling with deteriorating jobs under deteriorating maintenance consideration	2016-08-10	Paper
Dependent array type inference from tests Lecture Notes in Computer Science	2015-02-04	Paper
Compositional and lightweight dependent type inference for ML Lecture Notes in Computer Science	2014-11-03	Paper
scientific article; zbMATH DE number 5027073 (Why is no real title available?)	2006-05-26	Paper
scientific article; zbMATH DE number 5010303 (Why is no real title available?)	2006-03-09	Paper
scientific article; zbMATH DE number 1759999 (Why is no real title available?)	2002-06-25	Paper
scientific article; zbMATH DE number 1760018 (Why is no real title available?)	2002-06-25	Paper

Research outcomes over time

This page was built for person: He Zhu