| 2006 |
|---|
| 8 | | Bernd Grobauer,
Jens Ingo Mehlau,
Jürgen Sander:
CarmentiS: A Co-Operative Approach Towards Situation Awareness and Early Warning for the Internet.
IMF 2006: 55-66 |
| 2001 |
|---|
| 7 | | Bernd Grobauer:
Cost Recurrences for DML Programs.
ICFP 2001: 253-264 |
| 6 | EE | Olivier Danvy,
Bernd Grobauer,
Morten Rhiger:
A Unifying Approach to Goal-Directed Evaluation.
SAIG 2001: 108-125 |
| 5 | | Bernd Grobauer,
Zhe Yang:
The Second Futamura Projection for Type-Directed Partial Evaluation.
Higher-Order and Symbolic Computation 14(2-3): 173-219 (2001) |
| 4 | | Olivier Danvy,
Bernd Grobauer,
Morten Rhiger:
A Unifying Approach to Goal-directed Evaluation.
New Generation Comput. 20(1): 53-74 (2001) |
| 3 | EE | Bernd Grobauer,
Julia L. Lawall:
Partial Evaluation of Pattern Matching in Strings, revisited.
Nord. J. Comput. 8(4): 437-462 (2001) |
| 2000 |
|---|
| 2 | EE | Bernd Grobauer,
Zhe Yang:
The Second Futamura Projection for Type-Directed Partial Evaluation.
PEPM 2000: 22-32 |
| 1999 |
|---|
| 1 | EE | Bernd Grobauer,
Olaf Müller:
From I/O Automata to Timed I/O Automata.
TPHOLs 1999: 273-290 |
