Countries citing papers authored by Helmut Horacek
Since
Specialization
Citations
This map shows the geographic impact of Helmut Horacek's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Helmut Horacek with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Helmut Horacek more than expected).
This network shows the impact of papers produced by Helmut Horacek. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Helmut Horacek. The network helps show where Helmut Horacek may publish in the future.
Co-authorship network of co-authors of Helmut Horacek
This figure shows the co-authorship network connecting the top 25 collaborators of Helmut Horacek.
A scholar is included among the top collaborators of Helmut Horacek based on the total number of
citations received by their joint publications. Widths of edges
represent the number of papers authors have co-authored together.
Node borders
signify the number of papers an author published with Helmut Horacek. Helmut Horacek is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
All Works
20 of 20 papers shown
1.
Horacek, Helmut. (2007). How to Build Explanations of Automated Proofs A Methodology and Requirements on Domain Representations. 34–41.1 indexed citations
2.
Benzmüller, Christoph, et al.. (2006). A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. Language Resources and Evaluation. 1766–1769.9 indexed citations
Horacek, Helmut & Magdalena Wolska. (2005). Fault-tolerant context-based interpretation of mathematical formulas. International Joint Conference on Artificial Intelligence. 1688–1689.
5.
Horacek, Helmut. (2005). Generating Referential Descriptions Under Conditions of Uncertainty..15 indexed citations
6.
Tsovaltzi, Dimitra, Helmut Horacek, & Armin Fiedler. (2004). Building Hint Specifications in an NL Tutorial System for Mathematics. The Florida AI Research Society. 929–934.
7.
Wolska, Magdalena, Vo Nguyen Quoc Bao, Dimitra Tsovaltzi, et al.. (2004). An annotated corpus of tutorial dialogs on mathematical theorem proving. Language Resources and Evaluation.18 indexed citations
8.
Benzmüller, Christoph, Armin Fiedler, Helmut Horacek, et al.. (2003). Towards a Principled Approach to Tutoring Mathematical Proofs. Swinburne Research Bank (Swinburne University of Technology).
9.
Benzmüller, Christoph, Armin Fiedler, Helmut Horacek, et al.. (2003). Tutorial dialogs on mathematical proofs. Swinburne Research Bank (Swinburne University of Technology).24 indexed citations
10.
Horacek, Helmut. (2002). Aggregation with Strong Regularities and Alternatives. 105–112.4 indexed citations
11.
Benzmüller, Christoph, Armin Fiedler, Andreas Franke, et al.. (2000). Adaptive Course Generation and Presentation.5 indexed citations
12.
Siekmann, Jörg H., Helmut Horacek, Michael Kohlhase, et al.. (1998). An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?.2 indexed citations
13.
Horacek, Helmut. (1998). Generating inference-rich discourse through revisions of RST-Trees. National Conference on Artificial Intelligence. 814–820.6 indexed citations
14.
Horacek, Helmut, et al.. (1997). Exploiting the addressee's inferential capabilities in presenting mathematical proofs. International Joint Conference on Artificial Intelligence. 959–964.7 indexed citations
Horacek, Helmut. (1996). A New Algorithm For Generating Referential Descriptions.. European Conference on Artificial Intelligence. 577–581.2 indexed citations
17.
Horacek, Helmut. (1994). How to avoid explaining obvious things (without omitting central information). Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft). 520–524.3 indexed citations
Horacek, Helmut. (1992). Explanations for constraint systems. European Conference on Artificial Intelligence. 500–504.2 indexed citations
20.
Shams, Reza, Hermann Kaindl, & Helmut Horacek. (1991). Using aspiration windows for minimax algorithms. International Joint Conference on Artificial Intelligence. 192–197.2 indexed citations
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.