D. Aspinall, S. Autexier, C. Lüth, and M. Wagner. UITP@TPHOLs, volume 226 of Electronic Notes in Theoretical Computer Science, page 3-21. Elsevier, (2008)
A. Schairer, S. Autexier, and D. Hutter. STRATEGIES@IJCAR, volume 58 of Electronic Notes in Theoretical Computer Science, page 203-216. Elsevier, (2001)
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, volume 6463 of Lecture Notes in Computer Science, page 54-80. Springer, (2010)
S. Autexier, S. Merz, L. van der Torre, R. Wilhelm, and P. Wolper. Trustworthy Software, volume 3 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
R. Drechsler, S. Autexier, and C. Lüth. Dynamics in Logistics: Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, chapter 1, Springer, Cham, (2017)
S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. OMDoc – An Open Markup Format for Mathematical Documents version 1.2, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)
S. Autexier, and T. Mossakowski. Frontiers of Combining Systems, 4th International Workshop, volume 2309 of Lecture Notes in Computer Science, page 2--17. Springer Verlag, London, (2002)
T. Mossakowski, P. Hoffman, S. Autexier, and D. Hutter. CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
T. Mossakowski, S. Autexier, and D. Hutter. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 269--283. Springer Verlag, London, (2001)
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)
S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, page 495--502. Springer Verlag, London, (2002)