Bounds & Likelihood Procedure Revisited. - Otwin Becker; Johannes Leitner; Ulrike Leopold-Wildburger; Joerg H. Schuetze (OR, 2002)

Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. - Jan Olaf Blech; Sabine Glesner; Johannes Leitner; Steffen Mülling (COCV@ETAPS, 2005)

A systematic comparison of professional exchange rate forecasts with the judgemental forecasts of novices. - Johannes Leitner; Robert Schmidt (Central Eur. J. Oper. Res., 2006)

Coinductive Verification of Program Optimizations Using Similarity Relations. - Sabine Glesner; Johannes Leitner; Jan Olaf Blech (COCV@ETAPS, 2006)

Network Enabled Decision Support for Civil Emergency Management. - Heiner Micko; Johannes Leitner (J. Decis. Syst., 2006)

Optimal Control of Favorable Games with Expected Loss Constraint. - Johannes Leitner (SIAM J. Control. Optim., 2006)

Expectation formation in an experimental foreign exchange market. - Johannes Leitner; Robert Schmidt (Central Eur. J. Oper. Res., 2007)

Heuristic modeling of expectation formation in a complex experimental information environment. - Otwin Becker; Johannes Leitner; Ulrike Leopold-Wildburger (Eur. J. Oper. Res., 2007)

Individual forecasting behavior. - Johannes Leitner (Central Eur. J. Oper. Res., 2009)

Expected utility versus the changes in knowledge ahead. - Robin Pope; Johannes Leitner; Ulrike Leopold-Wildburger (Eur. J. Oper. Res., 2009)

Should European gamblers play lotto in the USA? - Vera Hofer; Johannes Leitner (Eur. J. Oper. Res., 2011)

Experiments on forecasting behavior with several sources of information - A review of the literature. - Johannes Leitner; Ulrike Leopold-Wildburger (Eur. J. Oper. Res., 2011)

Determination of tolerance limits for the reliability of semiconductor devices using longitudinal data. - Vera Hofer; Johannes Leitner; Horst Lewitschnig; Thomas Nowak (Qual. Reliab. Eng. Int., 2017)