Arne Meier
Impact in
-
- Formal Methods in Verification
- Advanced Algebra and Logic
- semigroups and automata theory
- Artificial Intelligence top 10%
- Logic, Reasoning, and Knowledge
- Logic, programming, and type systems
- Multi-Agent Systems and Negotiation
- Semantic Web and Ontologies
Papers in
-
- Logic, Reasoning, and Knowledge 30
- Logic, programming, and type systems 17
- Semantic Web and Ontologies 10
- Multi-Agent Systems and Negotiation 4
-
- Formal Methods in Verification 19
- Advanced Algebra and Logic 10
- semigroups and automata theory 6
- Advanced Graph Theory Research 4
- Co-authors
- Heribert Vollmer (15 shared papers)Michael E. Thomas (11 shared papers)Martin Mundhenk (7 shared papers)Olaf Beyersdorff (5 shared papers)Markus Hecher (5 shared papers)Johannes K. Fichte (6 shared papers)Nadia Creignou (4 shared papers)Thomas Schneider (6 shared papers)
In The Last Decade
Arne Meier
32 papers receiving 138 citations
Peers
Comparison fields: 5 of 21
- Computational Theory and Mathematics 111
- Artificial Intelligence 124
- Software 10
- Computer Networks and Communications 20
- Management Information Systems 3
Countries citing papers authored by Arne Meier
This map shows the geographic impact of Arne Meier'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 Arne Meier with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Arne Meier more than expected).
Fields of papers citing papers by Arne Meier
This network shows the impact of papers produced by Arne Meier. 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 Arne Meier. The network helps show where Arne Meier may publish in the future.
Co-authors
The 25 scholars most cited alongside Arne Meier, 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 40 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2009 | 17 | |
| 2 | 2019 | 14 | |
| 3 | 2009 | 14 | |
| 4 | 2016 | 13 | |
| 5 | 2008 | 10 | |
| 6 | 2016 | 7 | |
| 7 | 2011 | 7 | |
| 8 | 2019 | 7 | |
| 9 | 2021 | 6 | |
| 10 | 2012 | 6 | |
| 11 | 2011 | 5 | |
| 12 | 2018 | 4 | |
| 13 | 2009 | 4 | |
| 14 | Complexity of Model Checking for Logics over Kripke models | 2013 | 3 |
| 15 | 2023 | 3 | |
| 16 | 2020 | 3 | |
| 17 | 2019 | 3 | |
| 18 | 2019 | 3 | |
| 19 | 2013 | 2 | |
| 20 | 2015 | 2 |
About Arne Meier
Arne Meier is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Software and Molecular Biology, having authored 40 papers that have together received 150 indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (30 papers), Formal Methods in Verification (19 papers), Logic, programming, and type systems (17 papers), Semantic Web and Ontologies (10 papers), Advanced Algebra and Logic (10 papers), semigroups and automata theory (6 papers), Multi-Agent Systems and Negotiation (4 papers) and Advanced Graph Theory Research (4 papers). The work is most often cited by research in Computational Theory and Mathematics (111 citations), Artificial Intelligence (124 citations), Software (10 citations), Computer Networks and Communications (20 citations) and Management Information Systems (3 citations). Arne Meier has collaborated with scholars based in Germany, Sweden and France. Frequent co-authors include Heribert Vollmer, Michael E. Thomas, Martin Mundhenk, Olaf Beyersdorff, Markus Hecher, Johannes K. Fichte, Nadia Creignou, Thomas Schneider, Lauri Hella and Georg Nickenig. Their work appears in journals such as ACM Transactions on Computational Logic, Journal of Logic and Computation, Algorithmica, Archive for Mathematical Logic and Theory of Computing Systems.
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.