In: Alexander Dudin; Koen De Turck (Hrsg.). Analytical and Stochastic Modeling Techniques and Applications. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), 20th International Conference, ASMTA 2013, July 8-10, Gent, Belgium, Pages 380-395, ISBN 9783642394089, Springer Berlin Heidelberg, Heidelberg, 7/2013.
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: Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics. International Joint Conference on Natural Language Processing & Asia-Pacific Chapter of the Association for Computational Linguistics (IJCNLP-AACL-2025), December 20-24, Mumbai, India, The Asian Federation of Natural Language Processing and The Association for Computational Linguistics, 12/2025.
In: Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics. International Joint Conference on Natural Language Processing & Asia-Pacific Chapter of the Association for Computational Linguistics (IJCNLP-AACL-2025), December 20-24, Mumbai, India, The Asian Federation of Natural Language Processing and The Association for Computational Linguistics, Mumbai, India, 12/2025.