Fabian Emmes
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
- semigroups and automata theory
Papers in
-
- Logic, programming, and type systems 10
- Logic, Reasoning, and Knowledge 3
- Security and Verification in Computing 2
- Semantic Web and Ontologies 2
-
- Formal Methods in Verification 6
- Co-authors
- Jürgen Giesl (11 shared papers)Carsten Fuhs (8 shared papers)Marc Brockschmidt (4 shared papers)Peter Schneider–Kamp (6 shared papers)Thomas Ströder (5 shared papers)Stephan Falke (2 shared papers)René Thiemann (3 shared papers)Carsten Otto (2 shared papers)
- Journals
- Journal of Automated Reasoning (2 papers)ACM Transactions on Programming Languages and Systems (1 paper)Lecture notes in computer science (7 papers)University of Southern Denmark Research Portal (University of Southern Denmark) (1 paper)
- Partner nations
- GermanyUnited KingdomDenmark
In The Last Decade
Fabian Emmes
11 papers receiving 315 citations
Peers
Comparison fields: 5 of 28
- Software 114
- Computational Theory and Mathematics 236
- Hardware and Architecture 61
- Artificial Intelligence 270
- Information Systems 40
Countries citing papers authored by Fabian Emmes
This map shows the geographic impact of Fabian Emmes'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 Fabian Emmes with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Fabian Emmes more than expected).
Fields of papers citing papers by Fabian Emmes
This network shows the impact of papers produced by Fabian Emmes. 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 Fabian Emmes. The network helps show where Fabian Emmes may publish in the future.
Co-authors
The 12 scholars most cited alongside Fabian Emmes, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2016 | 70 | |
| 2 | 2014 | 67 | |
| 3 | 2014 | 45 | |
| 4 | 2016 | 36 | |
| 5 | 2013 | 34 | |
| 6 | 2012 | 19 | |
| 7 | 2008 | 18 | |
| 8 | 2012 | 15 | |
| 9 | 2011 | 13 | |
| 10 | 2012 | 7 | |
| 11 | 2013 | 4 |
About Fabian Emmes
Fabian Emmes is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Information Systems and Hardware and Architecture, having authored 11 papers that have together received 328 indexed citations. Recurring topics across this work include Logic, programming, and type systems (10 papers), Formal Methods in Verification (6 papers), Logic, Reasoning, and Knowledge (3 papers), Software Engineering Research (2 papers), Security and Verification in Computing (2 papers), Parallel Computing and Optimization Techniques (2 papers), Semantic Web and Ontologies (2 papers) and Software System Performance and Reliability (1 paper). The work is most often cited by research in Software (114 citations), Computational Theory and Mathematics (236 citations), Hardware and Architecture (61 citations), Artificial Intelligence (270 citations) and Information Systems (40 citations). Fabian Emmes has collaborated with scholars based in Germany, United Kingdom and Denmark. Frequent co-authors include Jürgen Giesl, Carsten Fuhs, Marc Brockschmidt, Peter Schneider–Kamp, Thomas Ströder, Stephan Falke, René Thiemann, Carsten Otto, Florian Frohn and Cornelius Aschermann. Their work appears in journals such as Journal of Automated Reasoning, ACM Transactions on Programming Languages and Systems, Lecture notes in computer science and University of Southern Denmark Research Portal (University of Southern Denmark).
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.