Weizhi Feng

Orcid: 0000-0003-0710-223X

According to our database1, Weizhi Feng authored at least 6 papers between 2020 and 2024.

Collaborative distances:

Timeline

2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023
On the power of finite ambiguity in Büchi complementation.
Inf. Comput., June, 2023

2022
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".
Dataset, May, 2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".
Dataset, May, 2022

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020
Modelling and Implementation of Unmanned Aircraft Collision Avoidance.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020


  Loading...