Countries citing papers authored by Renate A. Schmidt
Since
Specialization
Citations
This map shows the geographic impact of Renate A. Schmidt'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 Renate A. Schmidt with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Renate A. Schmidt more than expected).
Fields of papers citing papers by Renate A. Schmidt
This network shows the impact of papers produced by Renate A. Schmidt. 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 Renate A. Schmidt. The network helps show where Renate A. Schmidt may publish in the future.
Co-authorship network of co-authors of Renate A. Schmidt
This figure shows the co-authorship network connecting the top 25 collaborators of Renate A. Schmidt.
A scholar is included among the top collaborators of Renate A. Schmidt 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 Renate A. Schmidt. Renate A. Schmidt is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Schmidt, Renate A., et al.. (2019). Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology.. Description Logics.1 indexed citations
3.
Feng, Hao, et al.. (2018). The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.. Description Logics.1 indexed citations
4.
Schmidt, Renate A., et al.. (2016). Forgetting concept and role symbols in ALCOIHµ+(∇, ∩)-ontologies. International Joint Conference on Artificial Intelligence. 1345–1352.3 indexed citations
5.
Schmidt, Renate A., et al.. (2015). Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach.. Research Explorer (The University of Manchester).7 indexed citations
6.
Koopmann, Patrick, Renate A. Schmidt, Diego Calvanese, & Boris Konev. (2015). Saturation-Based Forgetting in the Description Logic SIF. Research Explorer (The University of Manchester).5 indexed citations
7.
Koopmann, Patrick & Renate A. Schmidt. (2015). Uniform interpolation and forgetting for ALC ontologies with a boxes. National Conference on Artificial Intelligence. 175–181.10 indexed citations
8.
Schmidt, Renate A., John G. Stell, & David Rydeheard. (2014). Axiomatic and tableau-based reasoning for Kt(H,R). Research Explorer (The University of Manchester). 478–497.3 indexed citations
9.
Koopmann, Patrick & Renate A. Schmidt. (2014). Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. Research Explorer (The University of Manchester). 245–257.5 indexed citations
10.
Schmidt, Renate A., et al.. (2012). An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. Research Explorer (The University of Manchester). 224–234.1 indexed citations
11.
Schmidt, Renate A., et al.. (2007). Deciding ALBO with tableau. Research Explorer (The University of Manchester). 135–146.3 indexed citations
12.
Schmidt, Renate A., et al.. (2003). Combining Dynamic Logic with Doxastic Modal Logics. Research Explorer (The University of Manchester). 371–392.4 indexed citations
13.
Hustadt, Ullrich & Renate A. Schmidt. (2002). Scientific benchmarking with temporal logic decision procedures. Principles of Knowledge Representation and Reasoning. 533–546.13 indexed citations
14.
Hustadt, Ullrich, et al.. (2001). Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. Research Explorer (The University of Manchester).1 indexed citations
15.
Hustadt, Ullrich & Renate A. Schmidt. (1999). On the Relation of Resolution and Tableaux Proof Systems for Description Logics. Research Explorer (The University of Manchester). 110–115.3 indexed citations
16.
Hustadt, Ullrich & Renate A. Schmidt. (1997). On Evaluating Decision Procedures for Modal Logics. Max Planck Institute for Plasma Physics. 202–207.31 indexed citations
17.
Schmidt, Renate A.. (1997). Resolution is a decision procedure for many propositional modal logics. Max Planck Digital Library. 189–208.11 indexed citations
18.
Hustadt, Ullrich & Renate A. Schmidt. (1997). On evaluating decision procedures for modal logic. Max Planck Digital Library. 202–207.35 indexed citations
19.
Ohlbach, Hans Jürgen, Renate A. Schmidt, & Ullrich Hustadt. (1995). Symbolic Arithmetical Reasoning with Qualified Number Restrictions. Max Planck Institute for Plasma Physics. 89–95.
20.
Hustadt, Ullrich, Manfred Jaeger, Andreas Nonnengart, et al.. (1994). Description Logics for Natural Language Processing. Max Planck Institute for Plasma Physics. 80–84.1 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.