| On incorrectness logic and Kleene algebra with top and tests C Zhang, AA de Amorim, M Gaboardi Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 16 | 2022 |
| Lexos 2017: Building reliable software in Python C Zhang, W Feng, E Steffens, A de Landaluce, S Kleinman, MD LeBlanc Journal of Computing Sciences in Colleges 33 (6), 124-134, 2018 | 5 | 2018 |
| Developing a Dependently Typed Language with Runtime Proof Search M Lemay, C Zhang, W Blair Workshop on Type-Driven Development, 2020 | 1 | 2020 |
| Domain Reasoning in TopKAT C Zhang, AA de Amorim, M Gaboardi arXiv preprint arXiv:2404.18417, 2024 | | 2024 |
| Domain Reasoning in TopKAT MG Cheng Zhang, Arthur Azevedo de Amorim https://arxiv.org/abs/2404.18417, 2024 | | 2024 |
| Kleene algebra with commutativity conditions is undecidable AA de Amorim, M Gaboardi, C Zhang | | 2024 |
| Kings in generalized tournaments. C Zhang Wheaton College (MA)., 2018 | | 2018 |
Arthur Azevedo de AmorimRochester Institute of TechnologyVerified email at rit.edu
