![]() |
other persons with the same name:
| 1996 | ||
|---|---|---|
| 4 | Martin Müller, Thomas Glaß, Karl Stroetmann: Automated Modular Termination Proofs for Real Prolog Programs. SAS 1996: 220-237 | |
| 3 | Martin Müller, Thomas Glaß, Karl Stroetmann: PAN - The Prolog Analyzer. SAS 1996: 387-388 | |
| 2 | S. Muthukrishnan, Martin Müller: Time and Space Efficient Method-Lookup for Object-Oriented Programs (Extended Abstract). SODA 1996: 42-51 | |
| 1994 | ||
| 1 | Ingo Glöchner, Andrea Grieszl, Martin Müller, Marc Ronthaler: TabVer: A Case Study in Table Verbalization. KI 1994: 94-105 | |
| 1 | Thomas Glaß | [3] [4] |
| 2 | Ingo Glöchner | [1] |
| 3 | Andrea Grieszl | [1] |
| 4 | S. Muthukrishnan (S. Muthu Muthukrishnan) | [2] |
| 5 | Marc Ronthaler | [1] |
| 6 | Karl Stroetmann | [3] [4] |