| 1997 | ACL | Planning Reference Choices for Argumentative Texts. | Xiaorong Huang |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |
| 1997 | IJCAI | Proof Verbalization as an Application of NLG. | Xiaorong Huang, Armin Fiedler |
| 1996 | CADE | Presenting Machine-Found Proofs. | Xiaorong Huang, Armin Fiedler |
| 1996 | INLG | Paraphrasing and Aggregating Argumentative Texts Using Text Structure. | Xiaorong Huang, Armin Fiedler |
| 1996 | PRICAI | Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. | Xiaorong Huang |
| 1994 | CADE | Reconstruction Proofs at the Assertion Level. | Xiaorong Huang |
| 1994 | CADE | Omega-MKRP: A Proof Development Environment. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | KEIM: A Toolkit for Automated Deduction. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | COLING | Planning Argumentative Texts. | Xiaorong Huang |
| 1994 | INLG | Planning Reference CHoices for Argumentative Texts. | Xiaorong Huang |
| 1994 | KI | Adapting Methods to Novel Tasks in Proof Planning. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jrn Richts |
| 1992 | AIMSA | Applications of Assertions as Elementary Tactics in Proof Planning. | Xiaorong Huang |
| 1992 | KI | An Explanatory Framework for Human Theorem Proving. | Xiaorong Huang |
| 1989 | KI | Proof Transformation Towards Human Reasoning Style. | Xiaorong Huang |