In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.
In: Enterprise Modelling and Information Systems Architectures. An International Journal (EMISA), Vol. 20, Pages 0-0, GI e.V. 2025.
Ho Minh Duy Nguyen; Trung Nguyen; Ha Thi Hong Le; Mai Thanh Nhat Truong; TrungTin Nguyen; Nhat Ho; Khoa D Doan; Duy Duong-Tran; Li Shen; Daniel Sonntag; James Zou; Mathias Niepert; Hyojin Kim; Jonathan E Allen
In: 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2025), July 14-18, Copenhagen, Denmark, Pages 1-4, Vol. 2025, ISBN 979-8-3315-8618-8, IEEE Xplore, 7/2025.