Florian Lorenzen

950 citations
7 papers · 684 indexed · 1 hit paper · h-index 4
Topics
Logic, programming, and type systems (5 papers)Software Engineering Research (3 papers)Formal Methods in Verification (3 papers)
Journals
physica status solidi (b)ACM SIGPLAN NoticesData Archiving and Networked Services (DANS)
Partner nations
GermanyFranceSpain

In The Last Decade

Florian Lorenzen

5 papers receiving 671 citations

Hit Papers

octopus:a tool for the application of time‐dependent dens...20062026201220192006200400600

Peers

Florian Lorenzen
Comparison fields: 5 of 57
  • Atomic and Molecular Physics, and Optics 459
  • Materials Chemistry 194
  • Electrical and Electronic Engineering 111
  • Spectroscopy 78
  • Electronic, Optical and Magnetic Materials 68
Replace Mauro Del Ben with:
Mauro Del Ben United States
Joseba Alberdi‐Rodriguez Spain
Elias Rudberg Sweden
Bo Peng United States
Zhengji Zhao United States
Murat Keçeli United States
Alexey Neelov Switzerland
B. Scott Fales United States
Luning Zhao United States
Ondřej Demel Czechia
Florian Lorenzen relative to Mauro Del Ben United States Mauro Del Ben's profile →
Citations per field
00.5×1.5×
Mauro Del Ben · 1×
Citations per year

Countries citing papers authored by Florian Lorenzen

Since Specialization
Citations

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

Fields of papers citing papers by Florian Lorenzen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Florian Lorenzen

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

All Works

7 of 7 papers shown
#WorkIndexed citations
1 16
2 0
3 19
4 2
5
Notes on the Separate Compilation of Modelica
6
6
Constraint functional multicore programming
0
7
octopus:a tool for the application of time‐dependent density functional theorybreakdown →
641

About Florian Lorenzen

Florian Lorenzen is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence, having authored 7 papers that have together received 684 indexed citations. Recurring topics across this work include Logic, programming, and type systems (5 papers), Software Engineering Research (3 papers) and Formal Methods in Verification (3 papers). The work is most often cited by research in Atomic and Molecular Physics, and Optics (459 citations), Physical and Theoretical Chemistry (63 citations) and Spectroscopy (78 citations). Florian Lorenzen has collaborated with scholars based in Germany, France and Spain. Frequent co-authors include Miguel A. L. Marques, Ángel Rubio, Carlo Andrea Rozzi, Alberto Castro, Xavier Andrade, Heiko Appel, E. K. U. Gross, Micael J. T. Oliveira, Sebastian Erdweg and Peter Pepper. Their work appears in journals such as physica status solidi (b), ACM SIGPLAN Notices and Data Archiving and Networked Services (DANS).

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

Rankless by CCL
2026