In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.
In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.
In: Nicht bekannt (Hrsg.). MSM '15: Proceedings of the Symposium on Modeling and Simulation in Medicine. Pages 53-60, ISBN 978-1-5108-0102-8, ACM, 4/2015.
In: International Conference on Learning Representations. International Conference on Learning Representations (ICLR-2026), located at ICLR-2026, ICLR, 2026.
In: International Conference on Learning Representations. International Conference on Learning Representations (ICLR-2026), located at ICLR-2026, ICLR, 2026.
In: 2025 IEEE Conference on Standards for Communications and Networking. IEEE Conference on Standards for Communications and Networking (IEEE CSCN-2025), September 15-17, Bologna, Italy, IEEE, 2025.
In: 2025 IEEE 36th International Symposium on Personal, Indoor and Mobile Radio Communications. IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC-2025), September 1-4, Istanbul, Turkey, IEEE, 2025.