Publications

• Th. Fuchß
  Informatik-Trends und Herausforderungen für Forschung und Lehre. Magazin der Hochschule Karlsruhe (65). Hochschule Karlsruhe, 2012.

• Th. Fuchß
  Mobile Computing - Grundlagen und Konzepte für mobile Anwendungen. Hanser Fachbuchverlag, 2009.

• Th. Fuchß
  C#.
  In P. A. Henning and H. Vogelsang, editors, Handbuch Programmiersprachen. Hanser Fachbuchverlag, 2007.

• Th. Fuchß
  C#.
  In P. A. Henning and H. Vogelsang, editors, Taschenbuch Programmiersprachen, 2. Auflage. Hanser Fachbuchverlag, 2007.

• Th. Fuchß
  C#.
  In P. A. Henning and H. Vogelsang, editors, Taschenbuch Programmiersprachen. Hanser Fachbuchverlag, 2004.

• Th. Fuchß and L. Fritsch.
  Effective Business Processes Online - A Platform for Secure Online Business Transactions with Electronic Signatures.
  In Online 2002, Düsseldorf, January 2002. ONLINE GmbH Kongresse und Messen für Technische Kommunikation.

• Th. Fuchß and L. Fritsch.
  Sicherheit im Mobile Banking.
  Mobile Computer & Kommunikation, 10:66 ff., 2001.

• Th. Fuchß and L. Fritsch.
  Endgeräte für den M-Commerce: Defizite und Aussichten.
  KES - Journal for Communication and IT Security, 1:6 ff., 2001.

• Th. Fuchß and L. Fritsch.
  Erfahrungen mit der ITSEC E4/Hoch-Zertifizierung.
  DuD - Datenschutz und Datensicherheit, 10:583 ff., 2000.
  Held at the Forschungs-Workshop Sicherheit und Electronic Commerce WSSEC 2000, Darmstadt, Germany, 23-24 März 2000.

• Th. Fuchß and L. Fritsch.
  M-Commerce Security.
  In ISSE 2000, Barcelona, 27-29 September 2000. EEMA - The European Forum for Electronic Business.

• Th. Fuchß and L. Fritsch.
  Security Certificates as a tool for reliably software engineering.
  DuD - Datenschutz und Datensicherheit, 9:514 ff., 2000.

• Th. Fuchß and L. Fritsch.
  Experience with E4/High Evaluation.
  In Infosec 2000, Paris, May 2000. MCI - Manifestations & Communications Internationales.

• Th. Fuchß.
  Eine temporale Logik der Prozesse.
  PhD thesis, Fakultät für Informatik, Universität Karlsruhe, 76128 Karlsruhe, Juni 1998.
  Shaker Verlag Aachen, 1998.

• Th. Fuchß.
  Integrating Processes in Temporal Logic.
  Technical Report 22/97, Fakultät für Informatik,Universität Karlsruhe, 76128 Karlsruhe, Germany, 1997.
  Held at the workshop "Topics in Polymodal Logic" at ESSLLI'97.

• Th. Fuchß, W. Reif, G. Schellhorn, and K. Stenzel.
  Three Selected Case Studies in Verification.
  In M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, volume 1009 of Lecture Notes in Computer Science. Springer, 1995.

• Th. Fuchß.
  Translating E/R-diagrams into Consistent Database Specifications.
  Technical Report 2/94, Fakultät für Informatik,Universität Karlsruhe, 76128 Karlsruhe, Germany, January 1994.

• Th. Fuchß.
  Bilattices und ihre Anwendung auf logische Programme.
  Master's thesis, Fakultät für Informatik, Universität Karlsruhe, 76128 Karlsruhe, Germany, 1992.

• J. Dix, A. Dold, Th. Fuchß, and M. Müller.
  Theorist und MVL: Erfahrungen und Hinweise im Umgang mit nichtmonotonen Beweissystemen.
  Technical report, Fakultät für Informatik, Universität Karlsruhe, 76128 Karlsruhe, Germany, Institut für Logik, Komplexität und Deduktionssysteme, July 1990.