In: Nicoletta Calzolari; Min-Yen Kan; Veronique Hoste; Alessandro Lenci; Sakriani Sakti; Nianwen Xue (Hrsg.). Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024). Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING-2024), ELRA and ICCL, 2024.
In: Companion of the 2024 ACM International Joint Conference on Pervasive and Ubiquitous Computing Pervasive and Ubiquitous Computing (UbiComp Companion '24). International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp-2024), October 5-9, Melbourne, Australia, ISBN 979-8-4007-1058-2/24/10, ACM, 2024.
In: Proceedings of the 7th International Symposium on Circular Economy and Urban Mining. International Symposium on Circular Economy and Urban Mining (SUM-2024), May 15-17, Capri, Italy, ISBN 9788862650403, EUROWASTE, Padova, Italy, 5/2024.
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.