Johannes Leitner

According to our database, Johannes Leitner authored at least 13 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

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

Should European gamblers play lotto in the USA?

Vera Hofer, Johannes Leitner

Eur. J. Oper. Res., 2011

2009

Expected utility versus the changes in knowledge ahead.

Robin Pope, Johannes Leitner, Ulrike Leopold-Wildburger

Eur. J. Oper. Res., 2009

Individual forecasting behavior.

Johannes Leitner

Central Eur. J. Oper. Res., 2009

2007

Heuristic modeling of expectation formation in a complex experimental information environment.

Otwin Becker, Johannes Leitner, Ulrike Leopold-Wildburger

Eur. J. Oper. Res., 2007

Expectation formation in an experimental foreign exchange market.

Johannes Leitner, Robert Schmidt

Central Eur. J. Oper. Res., 2007

2006

Optimal Control of Favorable Games with Expected Loss Constraint.

Johannes Leitner

SIAM J. Control. Optim., 2006

Network Enabled Decision Support for Civil Emergency Management.

Heiner Micko, Johannes Leitner

J. Decis. Syst., 2006

Coinductive Verification of Program Optimizations Using Similarity Relations.

Sabine Glesner, Johannes Leitner, Jan Olaf Blech

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

A systematic comparison of professional exchange rate forecasts with the judgemental forecasts of novices.

Johannes Leitner, Robert Schmidt

Central Eur. J. Oper. Res., 2006

2005

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

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

2002

Bounds & Likelihood Procedure Revisited.

Otwin Becker, Johannes Leitner, Ulrike Leopold-Wildburger, Joerg H. Schuetze

Proceedings of the Operations Research Proceedings 2002, 2002