Christoph Lüth

867 total citations
46 papers, 237 citations indexed

About

Christoph Lüth is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Christoph Lüth has authored 46 papers receiving a total of 237 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. Recurrent topics in Christoph Lüth's work include Logic, programming, and type systems (17 papers), Formal Methods in Verification (12 papers) and Logic, Reasoning, and Knowledge (8 papers). Christoph Lüth is often cited by papers focused on Logic, programming, and type systems (17 papers), Formal Methods in Verification (12 papers) and Logic, Reasoning, and Knowledge (8 papers). Christoph Lüth collaborates with scholars based in Germany, United Kingdom and Austria. Christoph Lüth's co-authors include Neil Ghani, David Aspinall, Rolf Drechsler, Udo Frese, Dennis Walter, Stefan Mohr, Christoph Hertzberg, John Power, Burkhart Wolff and Tim Güneysu and has published in prestigious journals such as SHILAP Revista de lepidopterología, Autonomous Robots and ACM SIGPLAN Notices.

In The Last Decade

Christoph Lüth

39 papers receiving 206 citations

Peers

Countries citing papers authored by Christoph Lüth

Since Specialization

Citations

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

Fields of papers citing papers by Christoph Lüth

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Christoph Lüth

This figure shows the co-authorship network connecting the top 25 collaborators of Christoph Lüth. A scholar is included among the top collaborators of Christoph Lüth 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 Christoph Lüth. Christoph Lüth 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

#	Work	Indexed citations
1	Evaluating an Open-Source Hardware Approach from HDL to GDS for a Security Chip Design - a Review of the Final Stage of Project HEP 2024 ·(unknown), Steffen Reith, Marc Stöttinger, (unknown), (unknown), (unknown), (unknown), Pascal Sasdrich, Christoph Lüth, (unknown), (unknown), Arnd Weber, (unknown), (unknown), (unknown)	0
2	Verified Value Chains, Innovation and Competition 2023 ·Arnd Weber, Sylvain Guilley, (unknown), Marc Stöttinger, Christoph Lüth, (unknown), (unknown), Steffen Reith, (unknown), Jean‐Pierre Seifert, (unknown), (unknown), Gernot Heiser	1
3	AI-driven and automated MRI sequence optimization in scanner-independent MRI sequences formulated by a domain-specific language 2023 ·SHILAP Revista de lepidopterología ·(unknown), (unknown), (unknown), Christoph Lüth, Rolf Drechsler, Matthias Günther	9
4	Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking 2023 ·(unknown), Christoph Lüth, (unknown), Shivesh Kumar, Frank Kirchner	0
5	Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum 2022 ·2022 IEEE 61st Conference on Decision and Control (CDC) ·(unknown), (unknown), Shivesh Kumar, Frank Kirchner, Christoph Lüth	1
6	Towards Automatic Hardware Synthesis from Formal Specification to Implementation 2020 ·(unknown), Christoph Lüth, Robert Wille, Rolf Drechsler	0
7	KI-SIGS: Artificial Intelligence for the Northern German Health Ecosystem 2019 ·(unknown), (unknown), Christoph Lüth, Thomas Martinetz, (unknown), Dirk Nowotka, Frank Steinicke	2
8	Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation 2018 ·Rolf Drechsler, Christoph Lüth, Görschwin Fey, Tim Güneysu	7
9	Real-time collaborative Scala development with Clide 2014 ·(unknown), Christoph Lüth	1
10	Proceedings 10th International Workshop On User Interfaces for Theorem Provers 2013 ·Electronic Proceedings in Theoretical Computer Science ·Cezary Kaliszyk, Christoph Lüth	3
11	Handbuch der Erziehung und Bildung in der Antike 2006 ·publish.UP (University of Potsdam) ·(unknown), Richard Klein, Christoph Lüth	2
12	Proof general/eclipse: a generic interface for interactive proof 2005 ·International Joint Conference on Artificial Intelligence ·(unknown), David Aspinall, Christoph Lüth	6
13	Monads of coalgebras: rational terms and term graphs 2005 ·Mathematical Structures in Computer Science ·Neil Ghani, Christoph Lüth, (unknown)	6
14	Parsing, editing, proving: The PGIP display protocol 2005 ·David Aspinall, Christoph Lüth, (unknown)	3
15	Semantic interrelation of documents via an ontology 2004 ·DeLFI ·Bernd Krieg-Brückner, (unknown), Christoph Lüth, (unknown), George Russell	9
16	Abstracting refinements for transformation 2003 ·Nordic journal of computing ·Einar Broch Johnsen, Christoph Lüth	1
17	Rewriting via coinserters 2003 ·Nordic journal of computing ·Neil Ghani, Christoph Lüth	3
18	Coalgebraic approaches to algebraic terms. 2002 ·Neil Ghani, Christoph Lüth, (unknown)	1
19	Composing monads using coproducts 2002 ·Christoph Lüth, Neil Ghani	36
20	Erziehung der Menschen-Geschlechter: Studien zur Religion, Sozialisation und Bildung in Europa seit der Aufklärung 1996 ·(unknown), Christoph Lüth, Imbke Behnken	0

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