1. ZDD Boolean Synthesis;Tools and Algorithms for the Construction and Analysis of Systems;2022
2. Non-clausal Redundancy Properties;Automated Deduction – CADE 28;2021
3. Simulating Strong Practical Proof Systems with Extended Resolution;Journal of Automated Reasoning;2020-07-31
4. Quantifying TPC-H choke points and their optimizations;Proceedings of the VLDB Endowment;2020-04
5. Performance Evaluation of Amplitude Coherent Detection over Nakagami-m Fading Channels with Multiple Receiving Antennas;2019 International Conference on Electrical and Computing Technologies and Applications (ICECTA);2019-11