Lee Zheng Han

Orcid: 0009-0000-7130-2493

According to our database¹, Lee Zheng Han authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Fixed Parameter Tractable Linearizability Monitoring for Stack, Queue and Anagram Agnostic Data Types.

[DOI]

CoRR, September, 2025

Efficient Decrease-and-Conquer Linearizability Monitoring.

[DOI]

Proc. ACM Program. Lang., 2025

2024

Efficient Linearizability Monitoring for Sets, Stacks, Queues and Priority Queues.

[DOI]

CoRR, 2024