Zhendong Ang - Google Scholar

Get my own profile

Cited by

	All	Since 2020
Citations	6	6
h-index	1	1
i10-index	0	0

0

6

3

202420255 1

Co-authors

Umang MathurPresidential Young Professor at National University of SingaporeVerified email at comp.nus.edu.sg

Zhendong Ang

Zhendong Ang

National University of Singapore

Verified email at u.nus.edu - Homepage

Formal methods Programming language Conccurency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Predictive Monitoring against Pattern Regular Languages Z Ang, U Mathur Proceedings of the ACM on Programming Languages 8 (POPL), 2191-2225, 2024	6	2024
Predictive Monitoring with Strong Trace Prefixes Z Ang, U Mathur International Conference on Computer Aided Verification, 182-204, 2024		2024
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic Q Zhao, G Pîrlea, Z Ang, U Mathur, I Sergey Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–3