Mao, Hua

5 publications

AAAI 2025 Cross-View Graph Consistency Learning for Invariant Graph Representations Jie Chen, Hua Mao, Wai Lok Woo, Chuanbin Liu, Xi Peng
ICCV 2023 Deep Multiview Clustering by Contrasting Cluster Assignments Jie Chen, Hua Mao, Wai Lok Woo, Xi Peng
MLJ 2016 Learning Deterministic Probabilistic Automata from a Model Checking Perspective Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
ACML 2012 Learning and Model-Checking Networks of I/O Automata Hua Mao, Manfred Jaeger
AAAI 2011 Utilizing Partial Policies for Identifying Equivalence of Behavioral Models Yifeng Zeng, Prashant Doshi, Yinghui Pan, Hua Mao, Muthukumaran Chandrasekaran, Jian Luo