Bernhard Gramlich
Impact in
-
- Formal Methods in Verification
- semigroups and automata theory
- Artificial Intelligence top 10%
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- Security and Verification in Computing
- Natural Language Processing Techniques
Papers in
-
- Logic, programming, and type systems 19
- Logic, Reasoning, and Knowledge 9
- Semantic Web and Ontologies 6
- Natural Language Processing Techniques 4
- Security and Verification in Computing 2
-
- Formal Methods in Verification 11
- semigroups and automata theory 5
- Co-authors
- Salvador Lucas (3 shared papers)Dale Miller (1 shared paper)Ulrike Sattler (1 shared paper)Aart Middeldorp (1 shared paper)Marı́a Alpuente (2 shared papers)Wolfgang Lindner (1 shared paper)Santiago Escobar (1 shared paper)Claude Kirchner (1 shared paper)
In The Last Decade
Bernhard Gramlich
24 papers receiving 164 citations
Peers
Comparison fields: 5 of 21
- Computational Theory and Mathematics 109
- Artificial Intelligence 169
- Software 17
- Information Systems 22
- Theoretical Computer Science 1
Countries citing papers authored by Bernhard Gramlich
This map shows the geographic impact of Bernhard Gramlich'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 Bernhard Gramlich with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bernhard Gramlich more than expected).
Fields of papers citing papers by Bernhard Gramlich
This network shows the impact of papers produced by Bernhard Gramlich. 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 Bernhard Gramlich. The network helps show where Bernhard Gramlich may publish in the future.
Co-authors
The 9 scholars most cited alongside Bernhard Gramlich, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 24 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1995 | 27 | |
| 2 | 1994 | 25 | |
| 3 | Proceedings of the 6th international joint conference on Automated Reasoning | 2012 | 18 |
| 4 | 2002 | 15 | |
| 5 | 2002 | 14 | |
| 6 | 2010 | 13 | |
| 7 | 1995 | 10 | |
| 8 | 1996 | 9 | |
| 9 | 2005 | 9 | |
| 10 | 1994 | 7 | |
| 11 | 2010 | 6 | |
| 12 | 2008 | 6 | |
| 13 | 2012 | 5 | |
| 14 | 2009 | 4 | |
| 15 | 2001 | 3 | |
| 16 | Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications. | 1990 | 2 |
| 17 | 2012 | 2 | |
| 18 | 2010 | 2 | |
| 19 | A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques | 1999 | 2 |
| 20 | Modular aspects of rewrite-based specifications | 1998 | 1 |
About Bernhard Gramlich
Bernhard Gramlich is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Software, Computer Networks and Communications and Information Systems, having authored 24 papers that have together received 184 indexed citations. Recurring topics across this work include Logic, programming, and type systems (19 papers), Formal Methods in Verification (11 papers), Logic, Reasoning, and Knowledge (9 papers), Semantic Web and Ontologies (6 papers), semigroups and automata theory (5 papers), Natural Language Processing Techniques (4 papers), Security and Verification in Computing (2 papers) and Model-Driven Software Engineering Techniques (2 papers). The work is most often cited by research in Computational Theory and Mathematics (109 citations), Artificial Intelligence (169 citations), Software (17 citations), Information Systems (22 citations) and Theoretical Computer Science (1 citation). Bernhard Gramlich has collaborated with scholars based in Austria, Germany and Spain. Frequent co-authors include Salvador Lucas, Dale Miller, Ulrike Sattler, Aart Middeldorp, Marı́a Alpuente, Wolfgang Lindner, Santiago Escobar, Claude Kirchner and Frank Pfenning. Their work appears in journals such as Theoretical Computer Science, The Journal of Logic and Algebraic Programming, Electronic Notes in Theoretical Computer Science, Applicable Algebra in Engineering Communication and Computing and Journal of Symbolic Computation.
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.