Ralf Treinen

About

Ralf Treinen is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Ralf Treinen has authored 23 papers receiving a total of 163 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 6 papers in Information Systems. Recurrent topics in Ralf Treinen’s work include Logic, programming, and type systems (8 papers), semigroups and automata theory (8 papers) and Formal Methods in Verification (6 papers). Ralf Treinen is often cited by papers focused on Logic, programming, and type systems (8 papers), semigroups and automata theory (8 papers) and Formal Methods in Verification (6 papers). Ralf Treinen collaborates with scholars based in France, Germany and Switzerland. Ralf Treinen's co-authors include Stefano Zacchiroli, Pietro Abate, Joachim Niehren, Inês Lynce and Joachim Niehren and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Lecture notes in computer science.

In The Last Decade

Fields of papers citing papers by Ralf Treinen

Since Specialization

EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

This network shows the specialization of papers citing the papers produced by Ralf Treinen. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Ralf Treinen may publish in the future.

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).

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Harry Ritter Breakdown of academic impact, for papers by Reuben Kirkham Breakdown of academic impact, for papers by Noor Naemah Abdul Rahman Breakdown of academic impact, for papers by Sopark Jantarit Breakdown of academic impact, for papers by Safiah Omar Breakdown of academic impact, for papers by Elisabeth Kaufmann Breakdown of academic impact, for papers by Alicia Latham Breakdown of academic impact, for papers by Hafiz Imtiaz