{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. Informal Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), page 119--134. QUT, Brisbane, Australia, (2007)
{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), volume 4937 of Lecture Notes in Computer Science, page 139--153. Springer-Verlag, Berlin, (2008)
{. Aalst, A. Mooij, C. Stahl, and K. Wolf. Formal Methods for Web Services, volume 5569 of Lecture Notes in Computer Science, page 42--88. Springer-Verlag, Berlin, (2009)
{. Aalst, C. Stahl, and W. Westergaard. Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII), volume 7480 of Lecture Notes in Computer Science, page 6--55. Springer-Verlag, Berlin, (2013)
M. Alshomary, and M. Stahl. Proceedings of the 9th Workshop on Argument Mining, page 111–114. International Conference on Computational Linguistics, (2022)
S. Alzubi, F. Stahl, and M. Gaber. ECMS, page 35-41. European Council for Modeling and Simulation, (2021)Communications of the ECMS, Volume 35, Issue 1, June 2021.
K. Bach, K. Althoff, R. Newo, and A. Stahl. Case-based Reasoning in Research and Development, Proceedings of the 19th International Conference on Case-Based Reasoning (ICCBR-11), LNAI, page 363--377. Springer, (September 2011)
K. Baukus, S. Bensalem, Y. Lakhnech, and K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, page 188--203. London, UK, Springer-Verlag, (2000)