Mathias Barra

According to our database, Mathias Barra authored at least 9 papers between 2005 and 2016.

Collaborative distances:

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

2016

Do hybrid simulation models always increase flexibility to handle parametric and structural changes?

Joe Viana, Kim Rand-Hendriksen, Tone Breines Simonsen, Mathias Barra, Fredrik A. Dahl

Proceedings of the Winter Simulation Conference, 2016

Conflicts or synergy when combining modeling approaches - Perspectives from psychology.

Kim Rand-Hendriksen, Joe Viana, Mathias Barra, Fredrik A. Dahl

Proceedings of the Winter Simulation Conference, 2016

2011

The consequences of how subject matter expert estimates are interpreted and modelled, demonstrated by an emergency department des model comparing triangular and beta distributions.

Lene Berge Holm, Mathias Barra

Proceedings of the Winter Simulation Conference 2011, 2011

2010

Bounded minimalisation and bounded counting in argument-bounded idc's.

Mathias Barra

Math. Struct. Comput. Sci., 2010

The Ordinal of Skolem + Tetration Is <i>tau</i>₀.

Mathias Barra, Philipp Gerhardy

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Skolem + Tetration Is Well-Ordered.

Mathias Barra, Philipp Gerhardy

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

A Characterisation of the Relations Definable in Presburger Arithmetic.

Mathias Barra

Proceedings of the Theory and Applications of Models of Computation, 2008

Pure Iteration and Periodicity.

Mathias Barra

Proceedings of the Logic and Theory of Algorithms, 2008

2005

The Small Grzegorczyk Classes and the Typed lambda-Calculus.

Lars Kristiansen, Mathias Barra

Proceedings of the New Computational Paradigms, 2005