We stand with Ukraine  

Chenglin Wang

Orcid: 0000-0002-1930-4771

Affiliations:
  • Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong


According to our database1, Chenglin Wang authored at least 3 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches.
[BibTeX]
[DOI]
Chenglin Wang
,
Fangzhen Lin
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case.
[BibTeX]
[DOI]
Chenglin Wang
,
Fangzhen Lin
Proc. ACM Program. Lang., April, 2023

2020
Query Answering with Guarded Existential Rules under Stable Model Semantics.
[BibTeX]
[DOI]
Hai Wan
,
Guohui Xiao
,
Chenglin Wang
,
Xianqiao Liu
,
Junhong Chen
,
Zhe Wang
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020


  Loading...