Search the dblp DataBase
Bernd Grobauer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bernd Grobauer Cost Recurrences for DML Programs. [Citation Graph (0, 0)][DBLP ] ICFP, 2001, pp:253-264 [Conf ] Bernd Grobauer , Zhe Yang The Second Futamura Projection for Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PEPM, 2000, pp:22-32 [Conf ] Olivier Danvy , Bernd Grobauer , Morten Rhiger A Unifying Approach to Goal-Directed Evaluation. [Citation Graph (0, 0)][DBLP ] SAIG, 2001, pp:108-125 [Conf ] Bernd Grobauer , Olaf Müller From I/O Automata to Timed I/O Automata. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:273-290 [Conf ] Bernd Grobauer , Zhe Yang The Second Futamura Projection for Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:173-219 [Journal ] Olivier Danvy , Bernd Grobauer , Morten Rhiger A Unifying Approach to Goal-directed Evaluation. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 2001, v:20, n:1, pp:53-74 [Journal ] Bernd Grobauer , Julia L. Lawall Partial Evaluation of Pattern Matching in Strings, revisited. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 2001, v:8, n:4, pp:437-462 [Journal ] CarmentiS: A Co-Operative Approach Towards Situation Awareness and Early Warning for the Internet. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs