Chuangjie Xu
Orcid: 0000-0001-6838-4221
According to our database1,
Chuangjie Xu
authored at least 16 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
2
1
1
2
1
3
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024
2023
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022
2021
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021
2020
Log. Methods Comput. Sci., 2020
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
2016
Ann. Pure Appl. Log., 2016
2015
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation.
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015
2013
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013