 | 2009 |
|---|
| 5 |       | Robin Pope,
Johannes Leitner,
Ulrike Leopold-Wildburger:
Expected utility versus the changes in knowledge ahead.
European Journal of Operational Research 199(3): 892-901 (2009) |
| 2007 |
|---|
| 4 | | 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 | | 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 | | Heiner Micko,
Johannes Leitner:
Network Enabled Decision Support for Civil Emergency Management.
Journal of Decision Systems 15(2-3): 287-308 (2006) |
| 2005 |
|---|
| 1 | | 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) |
