270
Publications
4,624
Citations
27
h-index
66
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (184)
- Preprint (44)
- Book Chapter (31)
- Review (5)
- Book (3)
Filter by Open Access Type
- Open Access (126)
- Closed Access (144)
Filter by Authors
- Zhé Hóu (270)
- Jin Song Dong (26)
- Vallipuram Muthukkumarasamy (23)
- Alwen Tiu (18)
- Zeli Ju (14)
Filter by Topics
- Formal Methods in Verification (23)
- Blockchain Technology Applications and Security (23)
- Logic, programming, and type systems (22)
- High voltage insulation and dielectric phenomena (20)
- Logic, Reasoning, and Knowledge (17)