Search the dblp DataBase

Publications of Author

1. Matthias Anlauff
   XASM - An Extensible, Component-Based ASM Language. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:69-90 [Conf]
   
2. Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
   Tool Support for Language Design and Prototyping with Montages. [Citation Graph (0, 0)][DBLP]
   CC, 1999, pp:296-299 [Conf]
   
3. Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
   Enhanced Control Flow Graphs in Montages. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 1999, pp:40-53 [Conf]
   
4. Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül
   Using Domain-Specific Languages for the Realization of Component Composition. [Citation Graph (0, 0)][DBLP]
   FASE, 2000, pp:112-126 [Conf]
   
5. Matthias Anlauff, Stefan Jähnichen, Martin Simons
   An experimental support system for formal mathematical reasoning. [Citation Graph (0, 0)][DBLP]
   FME, 1994, pp:421-440 [Conf]
   
6. Matthias Anlauff, Martin Beyer, Thomas Santen
   Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung, 1993, pp:247-252 [Conf]
   
7. Matthias Anlauff, Asuman Sünbül
   Deploying Localization Services in Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
   ICDCS Workshops, 2004, pp:782-787 [Conf]
   
8. Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
   Montages/Gem-Mex: A Meta Visual Programming Generator. [Citation Graph (0, 0)][DBLP]
   VL, 1998, pp:304-305 [Conf]
   
9. Matthias Anlauff, Asuman Sünbül
   Towards component based systems: refining connectors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
10. Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele
    Generating an action notation environment from Montages descriptions. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:4, pp:431-455 [Journal]