Jicheng Gu

Orcid: 0000-0003-2982-1964

According to our database¹, Jicheng Gu authored at least 3 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems.

[DOI]

Formal Aspects Comput., March, 2026

2024

Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of Reentry Mechanisms and Adaptive Algorithm Development.

[DOI]

Proceedings of the 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2024

2022

Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators.

[DOI]

Proceedings of the 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2022