Keyi Shen

Orcid: 0009-0005-5645-759X

According to our database¹, Keyi Shen authored at least 3 papers between 2013 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2013

Reorder user's tweets.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2013

Keyi Shen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...