Publications.

@inproceedings{qian2027linear,
  title = {Linear Axiomatization of Linear Differential Equations},
  author = {Long Qian and André Platzer},
  year = {2027},
  booktitle = {EACSL Annual Conference on Computer Science Logic (CSL)},
  note = {Accepted, to appear}
}

@inproceedings{hellwig2026refinement,
  title = {A Deductive Refinement Calculus for Differential-Algebraic Programs},
  author = {Jonathan Hellwig and Long Qian and André Platzer},
  year = {2026},
  booktitle = {International Joint Conference on Automated Reasoning (IJCAR)},
  pages = {269--285},
  doi = {10.1007/978-3-032-32592-1_16},
  eprint = {2605.10188},
  archivePrefix = {arXiv}
}

@misc{platzer2026robustness,
  title = {Differential Equation Inductive Robustness Axiomatization},
  author = {André Platzer and Long Qian},
  year = {2026},
  eprint = {2606.18685},
  archivePrefix = {arXiv}
}

@article{downey2026geometry,
  title = {The Geometry of Computable Banach Spaces},
  author = {Rod Downey and Noam Greenberg and Long Qian and Ruofei Xie},
  year = {2026},
  journal = {Information and Computation},
  volume = {310},
  pages = {105431},
  doi = {10.1016/j.ic.2026.105431}
}

@inproceedings{hellwig2025zonotopes,
  title = {From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes},
  author = {Jonathan Hellwig and Lukas Schäfer and Long Qian and André Platzer and Matthias Althoff},
  year = {2025},
  booktitle = {International Conference on Integrated Formal Methods (iFM)},
  pages = {248--267},
  doi = {10.1007/978-3-032-10794-7_13},
  eprint = {2509.20301},
  archivePrefix = {arXiv}
}

@article{platzer2025compact,
  title = {Axiomatization of Compact Initial Value Problems: Open Properties},
  author = {André Platzer and Long Qian},
  year = {2025},
  journal = {Journal of the ACM},
  volume = {72},
  number = {6},
  pages = {41:1--41:51},
  doi = {10.1145/3763228},
  eprint = {2410.13836},
  archivePrefix = {arXiv}
}

@inproceedings{subercaseaux2025symmetric,
  title = {Automated Symmetric Constructions in Discrete Geometry},
  author = {Bernardo Subercaseaux and Ethan Mackey and Long Qian and Marijn Heule},
  year = {2025},
  booktitle = {International Conference on Intelligent Computer Mathematics (CICM)},
  pages = {29--47},
  doi = {10.1007/978-3-032-07021-0_3},
  eprint = {2506.00224},
  archivePrefix = {arXiv}
}

@inproceedings{qian2025boxes,
  title = {Unfolding Boxes with Local Constraints},
  author = {Long Qian and Eric Wang and Bernardo Subercaseaux and Marijn J. H. Heule},
  year = {2025},
  booktitle = {International Conference on Automated Deduction (CADE-30)},
  pages = {736--754},
  doi = {10.1007/978-3-031-99984-0_38},
  eprint = {2506.01079},
  archivePrefix = {arXiv}
}

@misc{platzer2025approximate,
  title = {Approximate Axiomatization for Differentially-Defined Functions},
  author = {André Platzer and Long Qian},
  year = {2025},
  eprint = {2506.08233},
  archivePrefix = {arXiv}
}

@inproceedings{downey2024banach,
  title = {Some Open Questions and Recent Results on Computable Banach Spaces},
  author = {Rod Downey and Noam Greenberg and Long Qian},
  year = {2024},
  booktitle = {Computability in Europe (CiE)},
  pages = {10--26},
  doi = {10.1007/978-3-031-64309-5_2}
}

@article{dietrich2022sink,
  title = {Efficient Sink-Reachability Analysis via Graph Reduction},
  author = {Jens Dietrich and Lijun Chang and Long Qian and Lyndon M. Henry and Catherine McCartin and Bernhard Scholz},
  year = {2022},
  journal = {IEEE Transactions on Knowledge and Data Engineering},
  volume = {34},
  number = {11},
  pages = {5321--5335},
  doi = {10.1109/TKDE.2021.3052710}
}

@misc{qian2022asi,
  title = {Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms},
  author = {Long Qian and Felix Weilacher},
  year = {2022},
  eprint = {2206.08426},
  archivePrefix = {arXiv}
}

@mastersthesis{qian2022banach,
  title = {Computability-theoretic complexity of effective Banach spaces},
  author = {Long Qian},
  year = {2022},
  school = {Victoria University of Wellington}
}