Stephan Falke
- Guidelines for developing optical clocks with 10-18 fractional frequency uncertainty
2019/06/27 by Moustafa Abdel-Hafiz, Piotr Ablewski, Abdel-Hafiz, Moustafa +87 · 5 citations
Decision Sciences · Engineering · Physics and Astronomy · #Advanced Frequency and Time Standards #Advanced Measurement and Metrology Techniques #Atomic Physics (physics.atom-ph) #FOS: Physical sciences #Scientific Measurement and Uncertainty Evaluation
- Analyzing Runtime and Size Complexity of Integer Programs
2016/08/02 by Marc Brockschmidt, Fabian Emmes, Stephan Falke +2 · 3 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques