dblp.uni-trier.dewww.uni-trier.de

Martin Müller

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Thomas Glaß [3] [4]
2Ingo Glöchner [1]
3Andrea Grieszl [1]
4S. Muthukrishnan (S. Muthu Muthukrishnan) [2]
5Marc Ronthaler [1]
6Karl Stroetmann [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)