Rizaldi, A.;Immler, F.;Althoff, M.
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
8th NASA Formal Methods Symposium
2016

Zimmermann, Josef; Eber, Wolfgang
Substantiation of Decision Making Processes in Construction Management and Real Estate Development
Creative Construction Conference
2016

Liang-Zi Zhou, Tima Höwing, Benedikt Müller, Ulrich Z. Hammes, Christine Gietl and Thomas Dresselhaus
Expression analysis of KDEL-CysEPs programmed cell death markers during reproduction in Arabidopsis
Plant Reproduction
2016
29
265-272

J. Nötzel, W. Swetly
Deducing Truth From Correlation
IEEE Transactions on Information Theory
2016
62
12
Sep
7505 - 7517

Gmeiner, B.;Huber, M.;John, L.;Rüde, U.;Waluga, C.;Wohlmuth, B.
Massively parallel large scale stokes flow simulation
NIC Symposium
2016

Fattahi, Ehsan;Waluga, Christian;Wohlmuth, Barbara;Rüde, Ulrich;Manhart, Michael;Helmig, Rainer
Lattice Boltzmann methods in porous media simulations: From laminar to turbulent flow
Computers & Fluids
2016
140
nov
247--259

Kaltenbacher, Manfred;Hüppe, Andreas;Grabinger, Jens;Wohlmuth, Barbara
Modeling and Finite Element Formulation for Acoustic Problems Including Rotating Domains
AIAA Journal
2016
54
12
dec
3768--3777

Seitz, A.;Farah, P.;Kremheller, J.;Wohlmuth, B.;Wall, W.;Popp, A.
Isogeometric dual mortar methods for computational contact mechanics
Computer Methods in Applied Mechanics and Engineering
2016
301
apr
259--280

Gupta, Shubhangi;Wohlmuth, Barbara;Helmig, Rainer
Multi-rate time stepping schemes for hydro-geomechanical model for subsurface methane hydrate reservoirs
Advances in Water Resources
2016
91
may
78--87

Köppl, Tobias;Vidotto, Ettore;Wohlmuth, Barbara
A Local Error Estimate for the Poisson Equation with a Line Source Term
Numerical Mathematics and Advanced Applications ENUMATH 2015
Springer International Publishing
2016