Three Selected Case Studies in Verification. - Thomas Fuchß; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (KORSO Book, 1995)

Eine temporale Logik der Prozesse. - Thomas Fuchß (Shaker, 1998)

Security Certificates as a Tool for Measuring Efficiency and Creating Transparency - A Software Vendors View. - Thomas Fuchß; Lothar Fritsch (Datenschutz und Datensicherheit, 2000)

Erfahrungen mit der ITSEC E4/hoch-Zertifizierung - Ist bewiesene Sicherheit bezahlbar? Erfahrungsbericht eines Softwarehauses. - Thomas Fuchß; Lothar Fritsch (Datenschutz und Datensicherheit, 2000)

Anomaly Detection for Automotive Diagnostic Applications Based on N-Grams. - Marcel Rumez; Jinghua Lin; Thomas Fuchß; Reiner Kriesten; Eric Sax (COMPSAC, 2020)

Large-Scale Assessment of Binding Free Energy Calculations in Active Drug Discovery Projects. - Christina E. M. Schindler; Hannah M. Baumann; Andreas Blum; Dietrich Böse; Hans-Peter Buchstaller; Lars Burgdorf; Daniel Cappel; Eugene Chekler; Paul Czodrowski; Dieter Dorsch; Merveille K. I. Eguida; Bruce Follows; et al. (J. Chem. Inf. Model., 2020)

Towards Automatic Support of Software Model Evolution with Large Language Models. - Christof Tinnes; Thomas Fuchß; Uwe Hohenstein; Sven Apel (CoRR, 2023)