Instruction list verification using a Petri net semantics. - Monika Heiner; Thomas Menzel (SMC, 1998)

Das österreichische Signaturgesetz - Umsetzung des EG-Richtlinienvorschlages in einem österreichischen Signaturgesetz. - Thomas Menzel; Erich Schweighofer (Datenschutz und Datensicherheit, 1999)

Methods and tools to the verification of safety-related control software. - Thomas Mertke; Thomas Menzel (SMC, 2000)

E-Commerce: Neueste Normen für das Internationale Privatrecht? - Thomas Menzel; Helmut Ofner (GI Jahrestagung (2), 2001)

Feature Extraction for Advanced Control of Flexible Forming Processes. - Angelika Hutterer; Thomas Menzel; Andreas Otto; Georg Müller (VMV, 2001)

The Role of Citizen Cards in e-Government. - Thomas Menzel; Peter Reichstädter (EGOV, 2002)

Virtual Optimization of Machine Tools and Production Processes. - Jochen Bretschneider; Thomas Menzel (Int. J. Autom. Technol., 2007)

Overpotential-Based Battery End-of-Life Indication in WSN Nodes. - Thomas Menzel; Adam Wolisz (S-CUBE, 2013)

Meeting IoT platform requirements with open pub/sub solutions. - Daniel Happ; Niels Karowski; Thomas Menzel; Vlado Handziski; Adam Wolisz (Ann. des Télécommunications, 2017)

Software-defined LiFi - RF network for Industry 4.0 applications. - Anagnostis Paraskevopoulos; Michael Schlosser 001; Warunee Pluemakarapunya; Dominic Schulz; Peter Hellwig; Julian Hohmann; Mathias Bohge; Thomas Menzel; Hagen Woesner; Volker Jungnickel (IECON, 2022)