Ralf Treinen

964 total citations
31 papers, 214 citations indexed

About

Ralf Treinen is a scholar working on Artificial Intelligence, Computer Networks and Communications and Information Systems. According to data from OpenAlex, Ralf Treinen has authored 31 papers receiving a total of 214 indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Artificial Intelligence, 11 papers in Computer Networks and Communications and 10 papers in Information Systems. Recurrent topics in Ralf Treinen's work include Logic, programming, and type systems (10 papers), semigroups and automata theory (7 papers) and Natural Language Processing Techniques (6 papers). Ralf Treinen is often cited by papers focused on Logic, programming, and type systems (10 papers), semigroups and automata theory (7 papers) and Natural Language Processing Techniques (6 papers). Ralf Treinen collaborates with scholars based in France, Germany and Switzerland. Ralf Treinen's co-authors include Stefano Zacchiroli, Pietro Abate, Roberto Di Cosmo, Joachim Niehren, Hubert Comon, Joachim Niehren, Denis Lugiez, Pascal Lafourcade, Martín Müller and Michaël Lienhardt and has published in prestigious journals such as Theoretical Computer Science, Journal of Computer and System Sciences and Journal of Systems and Software.

In The Last Decade

Ralf Treinen

27 papers receiving 198 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Ralf Treinen France 10 154 96 88 85 27 31 214
Rok Strniša United Kingdom 7 230 1.5× 101 1.1× 76 0.9× 46 0.5× 62 2.3× 9 259
Janis Voigtländer Germany 12 318 2.1× 88 0.9× 172 2.0× 66 0.8× 52 1.9× 38 348
Stefan Brass Germany 9 217 1.4× 54 0.6× 62 0.7× 68 0.8× 29 1.1× 18 278
Nicolas Wu United Kingdom 9 211 1.4× 77 0.8× 110 1.3× 56 0.7× 48 1.8× 49 250
Josef Svenningsson Sweden 8 153 1.0× 45 0.5× 74 0.8× 59 0.7× 28 1.0× 17 211
Amin Shali Iran 7 137 0.9× 64 0.7× 98 1.1× 125 1.5× 67 2.5× 10 265
Didier Rémy France 8 268 1.7× 68 0.7× 110 1.3× 108 1.3× 39 1.4× 12 296
Shin-Cheng Mu Taiwan 7 127 0.8× 63 0.7× 46 0.5× 68 0.8× 60 2.2× 26 181
Olivier Ridoux France 7 97 0.6× 68 0.7× 66 0.8× 46 0.5× 29 1.1× 32 169
Mark Shields United States 9 349 2.3× 106 1.1× 156 1.8× 80 0.9× 44 1.6× 11 363

Countries citing papers authored by Ralf Treinen

Since Specialization
Citations

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

Fields of papers citing papers by Ralf Treinen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Ralf Treinen

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

All Works

20 of 20 papers shown
1.
Marché, Claude, et al.. (2022). The CoLiS platform for the analysis of maintainer scripts in Debian software packages. International Journal on Software Tools for Technology Transfer. 24(5). 717–733.
2.
Niehren, Joachim, et al.. (2019). Logics for unordered trees with data constraints. Journal of Computer and System Sciences. 104. 149–164.
3.
Niehren, Joachim, et al.. (2016). Automata for unordered trees. Information and Computation. 253. 304–335. 1 indexed citations
4.
Abate, Pietro, et al.. (2013). Learning from the future of component repositories. Science of Computer Programming. 90. 93–115. 3 indexed citations
5.
Abate, Pietro, Roberto Di Cosmo, Ralf Treinen, & Stefano Zacchiroli. (2012). A modular package manager architecture. Information and Software Technology. 55(2). 459–474. 9 indexed citations
6.
Kremer, Steve, et al.. (2010). Reducing Equational Theories for the Decision of Static Equivalence. Journal of Automated Reasoning. 48(2). 197–217. 2 indexed citations
7.
Dershowitz, Nachum & Ralf Treinen. (2010). The RTA List of Open Problems.
8.
Lynce, Inês & Ralf Treinen. (2010). Proceedings First International Workshop on Logics for Component Configuration. Electronic Proceedings in Theoretical Computer Science. 29. 1 indexed citations
9.
Treinen, Ralf. (2009). Proceedings of the 20th International Conference on Rewriting Techniques and Applications. 10 indexed citations
10.
Delaune, Stéphanie, Pascal Lafourcade, Denis Lugiez, & Ralf Treinen. (2007). Symbolic protocol analysis for monoidal equational theories. Information and Computation. 206(2-4). 312–351. 7 indexed citations
11.
Lafourcade, Pascal, Denis Lugiez, & Ralf Treinen. (2007). Intruder deduction for the equational theory of Abelian groups with distributive encryption. Information and Computation. 205(4). 581–623. 9 indexed citations
12.
Delaune, Stéphanie, et al.. (2006). Symbolic protocol analysis in presence of a homomorphism operator and Exclusive Or. HAL (Le Centre pour la Communication Scientifique Directe).
13.
Su, Zhendong, et al.. (2002). The first-order theory of subtyping constraints. Publications of the UdS (Saarland University). 203–216. 15 indexed citations
14.
15.
Treinen, Ralf, et al.. (2001). Constraints in computational logics: theory and applications. Springer eBooks. 6 indexed citations
16.
Treinen, Ralf. (1998). The first-order theory of linear one-step rewriting is undecidable. Theoretical Computer Science. 208(1-2). 179–190. 6 indexed citations
17.
Comon, Hubert & Ralf Treinen. (1997). The first-order theory of lexicographic path orderings is undecidable. Theoretical Computer Science. 176(1-2). 67–87. 11 indexed citations
18.
Treinen, Ralf. (1997). Feature trees over arbitrary structures. 206. 185–211. 6 indexed citations
19.
Smolka, Gert & Ralf Treinen. (1994). Records for logic programming. The Journal of Logic Programming. 18(3). 229–258. 2 indexed citations
20.
Treinen, Ralf. (1992). A new method for undecidability proofs of first order theories. Journal of Symbolic Computation. 14(5). 437–457. 18 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

Breakdown of academic impact, for papers by Rok Strniša Breakdown of academic impact, for papers by Janis Voigtländer Breakdown of academic impact, for papers by Stefan Brass Breakdown of academic impact, for papers by Nicolas Wu Breakdown of academic impact, for papers by Josef Svenningsson Breakdown of academic impact, for papers by Amin Shali Breakdown of academic impact, for papers by Didier Rémy Breakdown of academic impact, for papers by Shin-Cheng Mu Breakdown of academic impact, for papers by Olivier Ridoux Breakdown of academic impact, for papers by Mark Shields
Rankless by CCL
2026