YS

Ying Sheng

Palo Alto University

18

Publications

1,475

Citations

6

h-index

3

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (7)
Preprint (7)
Book Chapter (4)

Filter by Open Access Type

Open Access (4)
Closed Access (14)

Filter by Authors

Ying Sheng (18)
Clark Barrett (11)
Yoni Zohar (9)
Christophe Ringeissen (7)
Cesare Tinelli (5)

Filter by Topics

Formal Methods in Verification (8)
Logic, programming, and type systems (6)
Software Engineering Research (5)
Software Testing and Debugging Techniques (4)
Parallel Computing and Optimization Techniques (3)