 | 2011 |
|---|
| 8 |       | Johannes Leitner,
Ulrike Leopold-Wildburger:
Experiments on forecasting behavior with several sources of information - A review of the literature.
European Journal of Operational Research 213(3): 459-469 (2011) |
| 7 | | Vera Hofer,
Johannes Leitner:
Should European gamblers play lotto in the USA?
European Journal of Operational Research 215(1): 181-187 (2011) |
| 2009 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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) |
| 4 | | 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 |
|---|
| 3 | | Heiner Micko,
Johannes Leitner:
Network Enabled Decision Support for Civil Emergency Management.
Journal of Decision Systems 15(2-3): 287-308 (2006) |
| 2 | | Johannes Leitner:
Optimal Control of Favorable Games with Expected Loss Constraint.
SIAM J. Control and Optimization 45(2): 483-495 (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) |
Data released under the ODC-BY 1.0 license — See also our legal information page