@misc{LuPyczakKraemeretal., author = {Lu, Zheng and Pyczak, Florian and Kr{\"a}mer, S. and Biermann, H. and Mughrabi, Hael}, title = {Fast and reliable evaluation of lattice distortions from convergent-beam electron diffraction patterns}, series = {The philosophical magazine}, volume = {83}, journal = {The philosophical magazine}, number = {20}, issn = {1478-6443}, pages = {2383 -- 2397}, language = {en} } @article{ChenRettingerSuetal., author = {Chen, Q. and Rettinger, Robert and Su, K. and Sattar, A. and Yue, W. and Lu, G. and Zheng, Xizhong}, title = {Verification of Authentication Protocols for Epistemic Goals via SAT Compilation}, language = {en} }