| |
| 2007 | ||
|---|---|---|
| 4 | EE | Sabine Glesner, Johannes Leitner, Jan Olaf Blech: Coinductive Verification of Program Optimizations Using Similarity Relations. Electr. Notes Theor. Comput. Sci. 176(3): 61-77 (2007) |
| 3 | EE | Otwin Becker, Johannes Leitner, Ulrike Leopold-Wildburger: Heuristic modeling of expectation formation in a complex experimental information environment. European Journal of Operational Research 176(2): 975-985 (2007) |
| 2006 | ||
| 2 | EE | Heiner Micko, Johannes Leitner: Network Enabled Decision Support for Civil Emergency Management. Journal of Decision Systems 15(2-3): 287-308 (2006) |
| 2005 | ||
| 1 | EE | Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling: Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. Electr. Notes Theor. Comput. Sci. 141(2): 33-51 (2005) |
| 1 | Otwin Becker | [3] |
| 2 | Jan Olaf Blech | [1] [4] |
| 3 | Sabine Glesner | [1] [4] |
| 4 | Ulrike Leopold-Wildburger | [3] |
| 5 | Heiner Micko | [2] |
| 6 | Steffen Mülling | [1] |