G. Dietl, M. Sciora, G. Zeitler, G. Bauch, and J. Widmer. Proceedings of the 2011 IEEE 74th Vehicular Technology Conference, VTC 2011-Fall, San Francisco, California, USA, (September 2011)
N. Bertrand, M. Lazić, and J. Widder. Verification, Model Checking, and Abstract Interpretation, page 219--239. Springer International Publishing, (2021)
Y. Liu, and R. Bierig. Proceedings of the 5th Information Interaction in Context Symposium on - IIiX '14, Association for Computing Machinery (ACM), (2014)
C. Eisfelder, C. Künzer, and S. Dech. SPIE Remote Sensing 2010, volume Vol. 7831 of Proceedings SPIE Remote Sensing 2010, page 1-8. Toulouse, France, (2010)doi:10.1117/12.868505; Proc. SPIE 7831, Earth Resources and Environmental Remote Sensing/GIS Applications, 78310L.
C. Eisfelder, C. Künzer, and S. Dech. SPIE Remote Sensing 2010, volume Vol. 7831 of Proceedings SPIE Remote Sensing 2010, page 1-8. Toulouse, France, (2010)doi:10.1117/12.868505; Proc. SPIE 7831, Earth Resources and Environmental Remote Sensing/GIS Applications, 78310L.
P. Wittek, S. Darányi, and Y. Liu. Quantum Interaction: 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers, volume 8951 of Lecture Notes in Computer Science, page 78--89. Springer, (2015)