The Small Grzegorczyk Classes and the Typed lambda-Calculus. - Lars Kristiansen; Mathias Barra (CiE, 2005)

Pure Iteration and Periodicity. - Mathias Barra (CiE, 2008)

A Characterisation of the Relations Definable in Presburger Arithmetic. - Mathias Barra (TAMC, 2008)

Skolem + Tetration Is Well-Ordered. - Mathias Barra; Philipp Gerhardy (CiE, 2009)

The Ordinal of Skolem + Tetration Is tau0. - Mathias Barra; Philipp Gerhardy (CiE, 2010)

Bounded minimalisation and bounded counting in argument-bounded idc's. - Mathias Barra (Math. Struct. Comput. Sci., 2010)

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 (WSC, 2011)

Conflicts or synergy when combining modeling approaches - Perspectives from psychology. - Kim Rand-Hendriksen; Joe Viana; Mathias Barra; Fredrik A. Dahl (WSC, 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 (WSC, 2016)