( en | de | ru )

 

Disambiguation of "Falke, Stephan"

Author of the publication

copydeleteadd this publication to your clipboard
Providing 10-16 Short-Term Stability of a 1.5-µm Laser to Optical Clocks.

, , , , , , , , and . IEEE Trans. Instrum. Meas., 62 (6): 1556-1562 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stephan Falke

Stephan Falke

Stephan Falke

Margarete Falke

Ernst Falke

 

Other publications of authors with the same name

When Is a Formula a Loop Invariant?, and . Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 264-286. Springer, (2015)Inductive Decidability Using Implicit Induction., and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 45-59. Springer, (2006)Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures., and . RTA, volume 5117 of Lecture Notes in Computer Science, page 94-109. Springer, (2008)Tackling the Blackbody Shift in a Strontium Optical Lattice Clock., , , , , and . IEEE Trans. Instrumentation and Measurement, 60 (7): 2550-2557 (2011)Providing 10-16 Short-Term Stability of a 1.5-µm Laser to Optical Clocks., , , , , , , , and . IEEE Trans. Instrum. Meas., 62 (6): 1556-1562 (2013)Potassium ground-state scattering parameters and Born-Oppenheimer potentials from molecular spectroscopy, , , , , and . Physical Review A (Atomic, Molecular, and Optical Physics), 78 (1): 012503 (2008)Rewriting Induction + Linear Arithmetic = Decision Procedure., and . IJCAR, volume 7364 of Lecture Notes in Computer Science, page 241-255. Springer, (2012)Dependency Pairs for Rewriting with Non-free Constructors., and . CADE, volume 4603 of Lecture Notes in Computer Science, page 426-442. Springer, (2007)Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures., and . WFLP, volume 5979 of Lecture Notes in Computer Science, page 44-61. Springer, (2009)Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures., and . WRS@RTA, volume 237 of Electronic Notes in Theoretical Computer Science, page 75-90. Elsevier, (2008)