In: Ahmed Bouajjani; Oded Maler. International Conference on Computer Aided Verification. Pages 337-352, ISBN 9783642026584, Springer Berlin Heidelberg, Heidelberg, 6/2009.
In: Proceedings of the 24th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-2025), 24th European Conference on Cyber Warfare and Security, located at ECCWS-2025, June 26-27, Kaiserslautern, Germany, Academic Conferences & Publishing International, 2025.
In: European Academy of Forensic Science Conference 2025. European Academy of Forensic Science Conference (EAFS-2025), located at EAFS-2025, May 26-30, Dublin, Ireland, Forensic Science Ireland, 2025.
In: 2026 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW). IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) (IEEEVR-2026), March 21-25, Daegu, Korea, Republic of, IEEE, 3/2026.
In: 2026 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW). IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) (IEEEVR-2026), March 21-25, Daegu, Korea, Republic of, IEEE, 3/2026.