Stephan Falke

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider–Kamp et al. · Journal of Automated Reasoning · 2007 · 193 citations

Programming Language Theory, Dependency Analysis, Engineering +9

High Accuracy Correction of Blackbody Radiation Shift in an Optical Lattice Clock

Thomas Middelmann, Stephan Falke, Christian Lisdat et al. · Physical Review Letters · 2012 · 147 citations · Full text

Engineering, Nuclear Physics, Clock Synchronization +18

Potassium ground-state scattering parameters and Born-Oppenheimer potentials from molecular spectroscopy

Stephan Falke, H. Knöckel, J. Friebe et al. · Physical Review A · 2008 · 81 citations · Full text

Localized Excited State, Engineering, Chemistry +18

Ultrastable laser with average fractional frequency drift rate below 5 × 10^−19/s

Christian Hagemann, Christian Grebing, Christian Lisdat et al. · Optics Letters · 2014 · 72 citations · Full text

Tackling the Blackbody Shift in a Strontium Optical Lattice Clock

Thomas Middelmann, Christian Lisdat, Stephan Falke et al. · IEEE Transactions on Instrumentation and Measurement · 2011 · 61 citations

Engineering, Time Dissemination, Clock Recovery +16