Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). - Matthias Anlauff; Martin Beyer; Thomas Santen (GI Jahrestagung, 1993)

An experimental support system for formal mathematical reasoning. - Matthias Anlauff; Stefan Jähnichen; Martin Simons 001 (FME, 1994)

Rechnerunterstützung formaler Beweissprachen. - Matthias Anlauff (Oldenbourg, 1995)

Montages/Gem-Mex: A Meta Visual Programming Generator. - Matthias Anlauff; Philipp W. Kutter; Alfonso Pierantonio (VL, 1998)

Tool Support for Language Design and Prototyping with Montages. - Matthias Anlauff; Philipp W. Kutter; Alfonso Pierantonio (CC, 1999)

Enhanced Control Flow Graphs in Montages. - Matthias Anlauff; Philipp W. Kutter; Alfonso Pierantonio (Ershov Memorial Conference, 1999)

XASM - An Extensible, Component-Based ASM Language. - Matthias Anlauff (Abstract State Machines, 2000)

Using Domain-Specific Languages for the Realization of Component Composition. - Matthias Anlauff; Philipp W. Kutter; Alfonso Pierantonio; Asuman Sünbül (FASE, 2000)

Generating an action notation environment from Montages descriptions. - Matthias Anlauff; Samarjit Chakraborty; Philipp W. Kutter; Alfonso Pierantonio; Lothar Thiele (Int. J. Softw. Tools Technol. Transf., 2001)

Towards component based systems: refining connectors. - Matthias Anlauff; Asuman Sünbül (Refine, 2002)

Deploying Localization Services in Wireless Sensor Networks. - Matthias Anlauff; Asuman Sünbül (ICDCS Workshops, 2004)

Deriving Secure Network Protocols for Enterprise Services Architectures. - Matthias Anlauff; Dusko Pavlovic; Asuman Suenbuel (ICC, 2006)