Zhendong Ang - Google Scholar

Skapa en profil

Citeras av

	Alla	Sedan 2020
Citat	6	6
h-index	1	1
i10-index	0	0

0

6

3

202420255 1

Medförfattare

Umang MathurPresidential Young Professor at National University of SingaporeVerifierad e-postadress på comp.nus.edu.sg

Zhendong Ang

Zhendong Ang

National University of Singapore

Verifierad e-postadress på u.nus.edu - Startsida

Formal methods Programming language Conccurency


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–3