Presenting Machine-Found Proofs. - Xiaorong Huang; Armin Fiedler (CADE, 1996)

Paraphrasing and Aggregating Argumentative Texts Using Text Structure. - Xiaorong Huang; Armin Fiedler (INLG (1), 1996)

Omega: Towards a Mathematical Assistant. - Christoph Benzmüller; Lassaad Cheikhrouhou; Detlef Fehrer; Armin Fiedler; Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Wolf Schaarschmidt; Jörg H. Siekmann; et al. (CADE, 1997)

Proof Verbalization as an Application of NLG. - Xiaorong Huang; Armin Fiedler (IJCAI (2), 1997)

Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs. - Armin Fiedler (INLG, 1998)

Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. - Armin Fiedler (IJCAI, 1999)

L<Omega>UI: Lovely <Omega>MEGA User Interface. - Jörg H. Siekmann; Stephan M. Hess; Christoph Benzmüller; Lassaad Cheikhrouhou; Armin Fiedler; Helmut Horacek; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Martin Pollet; Volker Sorge (Formal Aspects Comput., 1999)

P.rex: An Interactive Proof Explainer. - Armin Fiedler (IJCAR, 2001)

Argumentation in Explanations to Logical Problems. - Armin Fiedler; Helmut Horacek (International Conference on Computational Science (1), 2001)

Dialog-driven Adaptation of Explanations of Proofs. - Armin Fiedler (IJCAI, 2001)

User-adaptive proof explanation. - Armin Fiedler (2001)

Proof Development with OMEGA. - Jörg H. Siekmann; Christoph Benzmüller; Vladimir Brezhnev; Lassaad Cheikhrouhou; Armin Fiedler; Andreas Franke 001; Helmut Horacek; Michael Kohlhase; Andreas Meier 002; Erica Melis; Markus Moschner; Immanuel Normann; et al. (CADE, 2002)

Proof Development with Omega-MEGA: sqrt(2) Is Irrational. - Jörg H. Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Meier 002; Martin Pollet (LPAR, 2002)

Assertion-level Proof Representation with Under-Specification. - Serge Autexier; Christoph Benzmüller; Armin Fiedler; Helmut Horacek; Quoc Bao Vo (MKM Symposium, 2003)

Building Hint Specifications in an NL Tutorial System for Mathematics. - Dimitra Tsovaltzi; Helmut Horacek; Armin Fiedler (FLAIRS, 2004)

A Multi-dimensional Taxonomy for Automating Hinting. - Dimitra Tsovaltzi; Armin Fiedler; Helmut Horacek (Intelligent Tutoring Systems, 2004)

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. - Magdalena Wolska; Quoc Bao Vo; Dimitra Tsovaltzi; Ivana Kruijff-Korbayová; Elena Karagjosova; Helmut Horacek; Armin Fiedler; Christoph Benzmüller (LREC, 2004)

Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting. - Armin Fiedler; Dimitra Tsovaltzi (AIED, 2005)

Natural Language Proof Explanation. - Armin Fiedler (Mechanizing Mathematical Reasoning, 2005)

Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. - Serge Autexier; Armin Fiedler (MKM, 2005)

Omega. - Christoph Benzmüller; Armin Fiedler; Andreas Meier 002; Martin Pollet; Jörg H. Siekmann (The Seventeen Provers of the World, 2006)

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. - Serge Autexier; Armin Fiedler; Thomas Neumann 006; Marc Wagner 001 (Calculemus/MKM, 2007)

Argumentation within deductive reasoning. - Armin Fiedler; Helmut Horacek (Int. J. Intell. Syst., 2007)

Ein hybrider Projektmanagementansatz für das regulierte Umfeld. - Katja Lorenz; Armin Fiedler; Tom Thaler (PVM, 2016)

Acquisition of Data on Kinematic Responses to Unpredictable Gait Perturbations: Collection and Quality Assurance of Data for Use in Machine Learning Algorithms for (Near-)Fall Detection. - Moritz Schneider 004; Kevin Reich; Ulrich Hartmann; Ingo Hermanns; Mirko Kaufmann; Annette Kluge; Armin Fiedler; Udo Frese; Rolf P. Ellegast (Sensors, 2024)