F. Baader, P. Koopmann, F. Kriegel, und A. Nuradiansyah. LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
F. Baader, P. Koopmann, F. Kriegel, und A. Nuradiansyah. Proceedings of the 19th Extended Semantic Web Conference, ESWC 2022, Hersonissos, Greece, May 29 -- June 2, 2022, Volume 13261 von Lecture Notes in Computer Science, Seite 130--146. Springer, (2022)
F. Baader, F. Kriegel, und A. Nuradiansyah. Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, Volume 14589 von Lecture Notes in Computer Science, Seite 3--22. Springer, (2024)
T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, und M. Steinmetz. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, Seite 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
F. Falakh, S. Rudolph, und K. Sauerwald. Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), Volume 13752 von LNCS, Seite 95--110. Springer, (September 2022)
G. Guzman, P. Stadler, und A. Fujita. Journal of Complex Networks, 10 (5):
cnac040(August 2022)\_eprint: https://academic.oup.com/comnet/article-pdf/10/5/cnac040/45499049/cnac040.pdf.
M. Reckziegel, S. Jänicke, und G. Scheuermann. 11th Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2016, Krakow, Poland, July 11-16, 2016, Conference Abstracts, Seite 869--871. Alliance of Digital Humanities Organizations (ADHO), (2016)
