Andreas Abel

2.5k total citations
70 papers, 976 citations indexed

About

Andreas Abel is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Andreas Abel has authored 70 papers receiving a total of 976 indexed citations (citations by other indexed papers that have themselves been cited), including 51 papers in Artificial Intelligence, 40 papers in Computational Theory and Mathematics and 9 papers in Computer Networks and Communications. Recurrent topics in Andreas Abel's work include Logic, programming, and type systems (47 papers), Logic, Reasoning, and Knowledge (36 papers) and Formal Methods in Verification (23 papers). Andreas Abel is often cited by papers focused on Logic, programming, and type systems (47 papers), Logic, Reasoning, and Knowledge (36 papers) and Formal Methods in Verification (23 papers). Andreas Abel collaborates with scholars based in Germany, Sweden and United Kingdom. Andreas Abel's co-authors include Wolfgang Schwarz, Brigitte Pientka, Jan Reineke, Marco Götz, Thorsten Altenkirch, Anton Setzer, Anders Mörtberg, Elías Cueto, Francisco Chinesta and Thierry Coquand and has published in prestigious journals such as SHILAP Revista de lepidopterología, Proceedings of the IEEE and SAE technical papers on CD-ROM/SAE technical paper series.

In The Last Decade

Andreas Abel

63 papers receiving 931 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Andreas Abel Germany	18	566	448	198	166	126	70	976
Timon Gehr Switzerland	11	899 1.6×	117 0.3×	42 0.2×	64 0.4×	131 1.0×	18	1.0k
Raphaël M. Jungers Belgium	19	179 0.3×	463 1.0×	116 0.6×	300 1.8×	102 0.8×	174	1.4k
Erika Ábrahám Germany	13	231 0.4×	351 0.8×	29 0.1×	229 1.4×	45 0.4×	86	748
Thang Nguyen Bui United States	13	269 0.5×	246 0.5×	77 0.4×	370 2.2×	328 2.6×	19	863
Chuchu Fan United States	14	229 0.4×	132 0.3×	26 0.1×	43 0.3×	85 0.7×	69	634
Suresh Rai United States	15	244 0.4×	114 0.3×	30 0.2×	542 3.3×	211 1.7×	53	1.0k
Guillaume Melquiond France	13	206 0.4×	624 1.4×	35 0.2×	47 0.3×	165 1.3×	32	781
Dipankar Maity United States	12	340 0.6×	230 0.5×	28 0.1×	122 0.7×	69 0.5×	53	646
Satish Rao United States	14	122 0.2×	607 1.4×	25 0.1×	466 2.8×	156 1.2×	30	956
Albert M. K. Cheng United States	18	294 0.5×	281 0.6×	22 0.1×	735 4.4×	125 1.0×	198	1.4k

Countries citing papers authored by Andreas Abel

Since Specialization

Citations

This map shows the geographic impact of Andreas Abel'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 Andreas Abel with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Andreas Abel more than expected).

Fields of papers citing papers by Andreas Abel

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Andreas Abel. 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 Andreas Abel. The network helps show where Andreas Abel may publish in the future.

Co-authorship network of co-authors of Andreas Abel

This figure shows the co-authorship network connecting the top 25 collaborators of Andreas Abel. A scholar is included among the top collaborators of Andreas Abel 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 Andreas Abel. Andreas Abel is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Blochwitz, Torsten, et al.. (2025). Modelica as Model Aggregator for Holistic Architecture Validation of Electric Vehicles. Linköping electronic conference proceedings. 207. 145–154.

Abel, Andreas, et al.. (2024). A Profiling-Based Benchmark Suite for Warehouse-Scale Computers. 325–327. 2 indexed citations

Abel, Andreas & Thierry Coquand. (2020). Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality. SHILAP Revista de lepidopterología. 4 indexed citations

Abel, Andreas, et al.. (2020). From ROM of Electrochemistry to AI-Based Battery Digital and Hybrid Twin. Archives of Computational Methods in Engineering. 28(3). 979–1015. 64 indexed citations

Abel, Andreas, et al.. (2019). POPLMark reloaded: Mechanizing proofs by logical relations. Journal of Functional Programming. 29. 12 indexed citations

Abel, Andreas, et al.. (2018). Decidability of Conversion for Type Theory in Type Theory. 5 indexed citations

Abel, Andreas, Bor-Yuh Evan Chang, & Frank Pfenning. (2018). Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic. Figshare. 1 indexed citations

Abel, Andreas & Brigitte Pientka. (2016). Well-founded recursion with copatterns and sized types. Journal of Functional Programming. 26. 17 indexed citations

Abel, Andreas & Jan Reineke. (2015). MEMIN: SAT-based exact minimization of incompletely specified Mealy machines. 94–101. 5 indexed citations

10.

Abel, Andreas & Brigitte Pientka. (2013). Wellfounded recursion with copatterns. Chalmers Research (Chalmers University of Technology). 185–196. 29 indexed citations

11.

Abel, Andreas & Jan Reineke. (2013). Measurement-based modeling of the cache replacement policy. 65–74. 19 indexed citations

12.

Rätsep, Tõnu, Andreas Abel, & Ülla Linnamägi. (2013). Patient involvement in surgical treatment decisions and satisfaction with the treatment results after lumbar intervertebral discectomy. European Spine Journal. 23(4). 873–881. 9 indexed citations

13.

Abel, Andreas, et al.. (2012). On Irrelevance and Algorithmic Equality in Predicative Type Theory. Logical Methods in Computer Science. Volume 8, Issue 1. 25 indexed citations

14.

Abel, Andreas, et al.. (2011). A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance. Logical Methods in Computer Science. Volume 7, Issue 2. 5 indexed citations

15.

Abel, Andreas. (2009). Type-based termination of generic programs. Science of Computer Programming. 74(8). 550–567. 5 indexed citations

16.

Abel, Andreas, Thierry Coquand, & Peter Dybjer. (2008). On the algebraic foundation of proof assistants for intuitionistic type theory. 3–13. 2 indexed citations

17.

Abel, Andreas. (2008). Semi-continuous Sized Types and Termination. Logical Methods in Computer Science. Volume 4, Issue 2. 10 indexed citations

18.

Abel, Andreas, Ralph Matthes, & Tarmo Uustalu. (2004). Iteration and coiteration schemes for higher-order and nested datatypes. Theoretical Computer Science. 333(1-2). 3–66. 25 indexed citations

19.

Abel, Andreas & Ralph Matthes. (2003). (Co-)Iteration for Higher-Order Nested Datatypes. 1 indexed citations

20.

Abel, Andreas, et al.. (2001). Betrachtungen zur "Schaffung" oder "Abbildung" von Realitäten beispielhaft anhand eines E-Commerce-Projektes.. GI Jahrestagung (2). 1220. 770–775. 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.

Explore authors with similar magnitude of impact