
Interests / Fields
Computer science Programming language Semantic Web Formal verification Software engineering Formal specification Feature model Domain engineering Artificial intelligence Semantic Web Stack OWL-S Formal methods Data mining Theoretical computer science Ontology Model checking Social Semantic Web Computer-aided software engineering Semantic Web Rule Language Alloy AnalyzerPublication Statistics
105
Total Publications
3
SG+ML Publications
Publications authored while based in Singapore within AI/ML-related areas.
1,013
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).
131
SG+ML Estimated Citations
756
Total Citations
57