101
Publications
864
Citations
16
h-index
26
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (79)
- Book Chapter (12)
- Preprint (9)
- Dissertation (1)
Filter by Open Access Type
- Open Access (41)
- Closed Access (60)
Filter by Authors
- Meng Wang (101)
- Kazutaka Matsuda (22)
- Dan Hao (8)
- Zhenjiang Hu (8)
- Jeremy Gibbons (7)
Filter by Topics
- Logic, programming, and type systems (36)
- Software Engineering Research (31)
- Parallel Computing and Optimization Techniques (17)
- Software Testing and Debugging Techniques (16)
- Advanced Software Engineering Methodologies (12)