| |
| 2008 | ||
|---|---|---|
| 2 | EE | Mathias Dalheimer, Franz-Josef Pfreundt, Peter Merz: Formal Verification of a Grid Resource Allocation Protocol. CCGRID 2008: 332-339 |
| 2005 | ||
| 1 | EE | Mathias Dalheimer, Franz-Josef Pfreundt, Peter Merz: Agent-Based Grid Scheduling with Calana. PPAM 2005: 741-750 |
| 1 | Peter Merz | [1] [2] |
| 2 | Franz-Josef Pfreundt | [1] [2] |