Jakob Lichtenberg

701 total citations
5 papers, 305 citations indexed

About

Jakob Lichtenberg is a scholar working on Software, Artificial Intelligence and Computational Theory and Mathematics. According to data from OpenAlex, Jakob Lichtenberg has authored 5 papers receiving a total of 305 indexed citations (citations by other indexed papers that have themselves been cited), including 5 papers in Software, 3 papers in Artificial Intelligence and 2 papers in Computational Theory and Mathematics. Recurrent topics in Jakob Lichtenberg's work include Software Testing and Debugging Techniques (5 papers), Security and Verification in Computing (3 papers) and Software Reliability and Analysis Research (2 papers). Jakob Lichtenberg is often cited by papers focused on Software Testing and Debugging Techniques (5 papers), Security and Verification in Computing (3 papers) and Software Reliability and Analysis Research (2 papers). Jakob Lichtenberg collaborates with scholars based in United States, Finland and Germany. Jakob Lichtenberg's co-authors include Sriram K. Rajamani, Byron Cook, Vladimir Levin, Thomas Ball, Henrik Hulgaard, Henrik Rasmus Andersen, Chetan Bansal, Rahul Kumar, Rahul Kumar and Akash Lal and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM SIGOPS Operating Systems Review and Electronic Notes in Theoretical Computer Science.

In The Last Decade

Jakob Lichtenberg

5 papers receiving 284 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Jakob Lichtenberg United States	3	180	141	101	96	76	5	305
Julien Signoles France	9	188 1.0×	152 1.1×	111 1.1×	66 0.7×	77 1.0×	25	313
Virgile Prévosto France	6	150 0.8×	157 1.1×	115 1.1×	48 0.5×	63 0.8×	19	306
David Melski United States	8	233 1.3×	161 1.1×	103 1.0×	72 0.8×	74 1.0×	17	352
Moonjoo Kim United States	8	175 1.0×	139 1.0×	167 1.7×	119 1.2×	81 1.1×	15	345
Sébastien Bardin France	11	131 0.7×	176 1.2×	70 0.7×	40 0.4×	57 0.8×	32	321
Gregory Malecha United States	10	236 1.3×	43 0.3×	128 1.3×	84 0.9×	68 0.9×	23	294
Keith Wansbrough United Kingdom	10	231 1.3×	74 0.5×	109 1.1×	142 1.5×	83 1.1×	21	321
Leonid Ryzhyk Australia	12	215 1.2×	88 0.6×	64 0.6×	227 2.4×	155 2.0×	36	422
Niki Vazou United States	11	272 1.5×	79 0.6×	151 1.5×	57 0.6×	63 0.8×	26	334
Yoav Zibin Israel	7	225 1.3×	200 1.4×	51 0.5×	156 1.6×	97 1.3×	17	443

Countries citing papers authored by Jakob Lichtenberg

Since Specialization

Citations

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

Fields of papers citing papers by Jakob Lichtenberg

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jakob Lichtenberg

This figure shows the co-authorship network connecting the top 25 collaborators of Jakob Lichtenberg. A scholar is included among the top collaborators of Jakob Lichtenberg 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 Jakob Lichtenberg. Jakob Lichtenberg 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:

5 of 5 papers shown

1.

Lahiri, Shuvendu K., Akash Lal, Vladimir Levin, et al.. (2020). Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. reposiTUm (TU Wien). 2 indexed citations

2.

Kumar, Rahul, Chetan Bansal, & Jakob Lichtenberg. (2016). Static Analysis Using the Cloud. SHILAP Revista de lepidopterología. 228. 2–15. 1 indexed citations

3.

Ball, Thomas, et al.. (2006). Thorough static analysis of device drivers. ACM SIGOPS Operating Systems Review. 40(4). 73–85. 55 indexed citations

4.

Ball, Thomas, et al.. (2006). Thorough static analysis of device drivers. 73–85. 232 indexed citations

5.

Lichtenberg, Jakob, et al.. (2001). Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.. Electronic Notes in Theoretical Computer Science. 23(2). 88–107. 15 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