TY - GEN A1 - Lu, Zheng A1 - Pyczak, Florian A1 - Krämer, S. A1 - Biermann, H. A1 - Mughrabi, Hael T1 - Fast and reliable evaluation of lattice distortions from convergent-beam electron diffraction patterns T2 - The philosophical magazine Y1 - 2003 SN - 1478-6443 VL - 83 IS - 20 SP - 2383 EP - 2397 ER - TY - JOUR A1 - Chen, Q. A1 - Rettinger, Robert A1 - Su, K. A1 - Sattar, A. A1 - Yue, W. A1 - Lu, G. A1 - Zheng, Xizhong T1 - Verification of Authentication Protocols for Epistemic Goals via SAT Compilation Y1 - 2006 ER -