Yicong Zhu
According to our database1,
Yicong Zhu
authored at least 6 papers
between 2021 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Improved Parameterized Algorithms for Scheduling with Precedence Constraints and Time Windows.
Proceedings of the Computing and Combinatorics, 2025
2023
Comput. Phys. Commun., June, 2023
2022
J. Supercomput., 2022
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction.
CoRR, 2022
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction.
Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022
2021
Enabling AI-Accelerated Multiscale Modeling of Thrombogenesis at Millisecond and Molecular Resolutions on Supercomputers.
Proceedings of the High Performance Computing - 36th International Conference, 2021