Johannes Leitner

13 papers Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2017 J jnl
Determination of tolerance limits for the reliability of semiconductor devices using longitudinal data.
Qual. Reliab. Eng. Int.
Vera Hofer, Johannes Leitner, Horst Lewitschnig, Thomas Nowak
2011 J jnl
Experiments on forecasting behavior with several sources of information - A review of the literature.
Eur. J. Oper. Res.
Johannes Leitner, Ulrike Leopold-Wildburger
2011 J jnl
Should European gamblers play lotto in the USA?
Eur. J. Oper. Res.
Vera Hofer, Johannes Leitner
2009 J jnl
Expected utility versus the changes in knowledge ahead.
Eur. J. Oper. Res.
Robin Pope, Johannes Leitner, Ulrike Leopold-Wildburger
2009 J jnl
Individual forecasting behavior.
Central Eur. J. Oper. Res.
Johannes Leitner
2007 J jnl
Expectation formation in an experimental foreign exchange market.
Central Eur. J. Oper. Res.
Johannes Leitner, Robert Schmidt
2007 J jnl
Heuristic modeling of expectation formation in a complex experimental information environment.
Eur. J. Oper. Res.
Otwin Becker, Johannes Leitner, Ulrike Leopold-Wildburger
2006 J jnl
A systematic comparison of professional exchange rate forecasts with the judgemental forecasts of novices.
Central Eur. J. Oper. Res.
Johannes Leitner, Robert Schmidt
2006 — conf
Coinductive Verification of Program Optimizations Using Similarity Relations.
COCV
Sabine Glesner, Johannes Leitner, Jan Olaf Blech
2006 J jnl
Network Enabled Decision Support for Civil Emergency Management.
J. Decis. Syst.
Heiner Micko, Johannes Leitner
2006 J jnl
Optimal Control of Favorable Games with Expected Loss Constraint.
SIAM J. Control. Optim.
Johannes Leitner
2005 — conf
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.
COCV
Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling
2002 — conf
Bounds & Likelihood Procedure Revisited.
OR
Otwin Becker, Johannes Leitner, Ulrike Leopold-Wildburger, Joerg H. Schuetze