2
publications
4
citations
Interests / Fields
Computer science Complex systems Model checking Stateful firewall Timed automaton Scalability Real-time computing Automaton Distributed computing Finite-state machine Usability Semantics Operator Programming language Equivalence Denotational semantics Probabilistic logic Analytics Communications protocol Implementation
Publication Statistics
12
Total Publications
2
SG+ML Publications
Publications authored while based in Singapore within AI/ML-related areas.
99
Total Estimated Citations
Estimated citations uses a statistical model that leverages both local statistics of the publication and global statistics of the entire academic graph (from MAG).
4
SG+ML Estimated Citations
72
Total Citations
4