S. Falke

发表

Jürgen Giesl, Marc Brockschmidt, Stephan Falke, 2016, ACM Trans. Program. Lang. Syst..

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, 2006, Journal of Automated Reasoning.

Carsten Sinz, Stephan Falke, Florian Merz, 2012, VSTTE.

S. Falke, Florian Merz, C. Sinz, 2011 .

Peter Schneider-Kamp, Stephan Falke, S. Falke, 2003 .

Stephan Falke, S. Falke, Stephan Falke, 2004 .

S. Falke, U. Sterr, C. Lisdat, 2018, Physical Review A.

S. Falke, J. Giesl, René Thiemann, 2003 .

S. Falke, J. Giesl, René Thiemann, 2004 .

S. Falke, E. Tiemann, I. Sherstov, 2006 .

S. Falke, O. Dulieu, E. Tiemann, 2005, physics/0505012.

S. Falke, U. Sterr, C. Lisdat, 2011, 1108.3729.

S. Falke, F. Riehle, N. Lemke, 2012, IEEE Transactions on Instrumentation and Measurement.

S. Falke, E. Tiemann, H. Schnatz, 2006, 2006 Conference on Lasers and Electro-Optics and 2006 Quantum Electronics and Laser Science Conference.

L. Cacciapuoti, M. Schioppo, G. M. Tino, 2010, EFTF-2010 24th European Frequency and Time Forum.

S. Falke, G. Tino, M. Prevedelli, 2012, The Review of scientific instruments.

Carsten Sinz, Stephan Falke, Florian Merz, 2013, VSTTE.

Carsten Sinz, Stephan Falke, Florian Merz, 2010, SSV.

S. Vogt, M. Schioppo, G. M. Tino, 2014, 1409.4572.

Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, 2013 .

Vladislav Gerginov, Uwe Sterr, Burghard Lipphardt, 2013, 1312.3419.

Uwe Sterr, Christian Lisdat, Stephan Falke, 2012, Physical review letters.

Fritz Riehle, Uwe Sterr, Thomas Middelmann, 2010, IEEE Transactions on Instrumentation and Measurement.

S. Falke, F. Riehle, N. Lemke, 2012, IEEE Trans. Instrum. Meas..

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, 2004, RTA.

S. Falke, S. Nagano, C. Grebing, 2014, International Conference on Foundations of Computer Science.

D. Piester, D. Calonico, J. Achkar, 2013, 2013 Joint European Frequency and Time Forum & International Frequency Control Symposium (EFTF/IFC).

H. Schnatz, G. Grosche, S. Weyers, 2011, 1104.4850.

Deepak Kapur, Stephan Falke, D. Kapur, 2012, IJCAR.

Deepak Kapur, Stephan Falke, D. Kapur, 2006, LPAR.

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, 2003, LPAR.

Stephan Falke, S. Falke, Stephan Falke, 2009 .

D. Kapur, S. Falke, M. Subramaniam, 2006 .

Harald Schnatz, Fritz Riehle, Uwe Sterr, 2013, IEEE Transactions on Instrumentation and Measurement.