Countries citing papers authored by Volker Haarslev
Since
Specialization
Citations
This map shows the geographic impact of Volker Haarslev'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 Volker Haarslev with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Volker Haarslev more than expected).
This network shows the impact of papers produced by Volker Haarslev. 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 Volker Haarslev. The network helps show where Volker Haarslev may publish in the future.
Co-authorship network of co-authors of Volker Haarslev
This figure shows the co-authorship network connecting the top 25 collaborators of Volker Haarslev.
A scholar is included among the top collaborators of Volker Haarslev 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 Volker Haarslev. Volker Haarslev 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.
Haarslev, Volker, et al.. (2017). A Consequence-based Algebraic Calculus for SHOQ.. Description Logics.4 indexed citations
2.
Haarslev, Volker, et al.. (2017). Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning.. Description Logics.
3.
Haarslev, Volker, et al.. (2012). A Parallel Reasoner for the Description Logic ALC.. Description Logics.14 indexed citations
4.
Haarslev, Volker, et al.. (2012). Concurrent Classification of OWL Ontologies - An Empirical Evaluation.. Description Logics.6 indexed citations
5.
Haarslev, Volker, et al.. (2009). Algebraic Tableau Algorithm for ALCOQ.. Description Logics.4 indexed citations
6.
Möller, Ralf, Volker Haarslev, & Sebastian Wandelt. (2008). The Revival of Structural Subsumption in Tableau-based Reasoners.. Description Logics.4 indexed citations
7.
Haarslev, Volker, et al.. (2008). A Hybrid Tableau Algorithm for ALCQ. Description Logics. 725–726.9 indexed citations
Haarslev, Volker, et al.. (2005). Fire - Extending Racer by an Engine for SWRL Rules. Description Logics.1 indexed citations
10.
Haarslev, Volker, et al.. (2005). LAS: Extending Racer by a Large ABox Store.. Description Logics.5 indexed citations
11.
Haarslev, Volker, Ralf Möller, Ragnhild Van Der Straeten, & Michael Wessel. (2004). Extended Query Facilities for Racer and an Application to Software Engineering Problems. VUBIR (Vrije Universiteit Brussel).10 indexed citations
12.
Möller, Ralf & Volker Haarslev. (2003). Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems.. Künstliche Intell.. 17. 10.5 indexed citations
13.
Haarslev, Volker, et al.. (2002). Adding ternary complex roles to ALCRP(D).. Description Logics.4 indexed citations
Haarslev, Volker & Ralf Möller. (2001). High performance reasoning with very large knowledge bases: a practical case study. International Joint Conference on Artificial Intelligence. 161–166.69 indexed citations
16.
Haarslev, Volker & Ralf Möller. (2001). Description of the RACER System and its Applications.. Description Logics.175 indexed citations
17.
Haarslev, Volker, et al.. (2001). Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.. Description Logics.16 indexed citations
18.
Wessel, Michael, Volker Haarslev, & Ralf Möller. (2000). ALCRA - ALC with Role Axioms.. Description Logics. 267–276.2 indexed citations
19.
Haarslev, Volker & Ralf Möller. (1999). An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.. Description Logics.15 indexed citations
20.
Haarslev, Volker, et al.. (1997). Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. Description Logics.4 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.