Andreas Schäfer

Andreas Deistung, Andreas Schäfer, Ferdinand Schweser, Uta Biedermann, Robert Turner, Jürgen R. Reichenbach: Toward in vivo histology: A comparison of quantitative susceptibility mapping (QSM) with magnitude-, phase-, and R₂^⁎-imaging at ultra-high magnetic field strength. NeuroImage 65: 299-314 (2013)

Juliane Dinse, Pablo Martin, Andreas Schäfer, Stefan Geyer, Robert Turner, Pierre-Louis Bazin: Quantifying Differences Between Primary Cortical Areas in Humans Based on Laminar Profiles in In-Vivo MRI Data. Bildverarbeitung für die Medizin 2013: 39-44

Birte U. Forstmann, Max C. Keuken, Sara Jahfari, Pierre-Louis Bazin, Jane Neumann, Andreas Schäfer, Alfred Anwander, Robert Turner: Cortico-subthalamic white matter tract strength predicts interindividual efficacy in stopping a motor response. NeuroImage 60(1): 370-375 (2012)

Jan Holz, Nadine Bergner, Andreas Schäfer, Ulrik Schroeder: Serious Games on Multi Touch Tables for Computer Science Students. CSEDU (2) 2012: 519-524

Andreas Schäfer, Dietmar Fey: Zero-Overhead Interfaces for High-Performance Computing Libraries and Kernels. SC Companion 2012: 1139-1146

Eugenia Solano-Castiella, Andreas Schäfer, Enrico Reimer, Erik Türke, Thomas Pröger, Gabriele Lohmann, Robert Trampel, Robert Turner: Parcellation of human amygdala in vivo using ultra high field structural MRI. NeuroImage 58(3): 741-748 (2011)

Andreas Schäfer, Dietmar Fey: High Performance Stencil Code Algorithms for GPGPUs. Procedia CS 4: 2027-2036 (2011)

Gunnar S. Bali, Sara Collins, Andreas Schäfer: Effective noise reduction techniques for disconnected loops in Lattice QCD. Computer Physics Communications 181(9): 1570-1583 (2010)

Nigel Cundy, Stefan Krieg, Thomas Lippert, Andreas Schäfer: Topological tunnelling with dynamical overlap fermions. Computer Physics Communications 180(2): 201-208 (2009)

Andreas Schäfer, Sam J. Wharton, Penny A. Gowland, Richard Bowtell: Using magnetic field simulation to study susceptibility-related phase contrast in gradient echo MRI. NeuroImage 48(1): 126-137 (2009)

Andreas Schäfer, Mathias John: Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems. APCCM 2009: 39-48

Gottfried Goldrian, Thomas Huth, Benjamin Krill, Jack Lauritsen, Heiko Schick, Ibrahim Ouda, Simon Heybrock, Dieter Hierl, Thilo Maurer, Nils Meyer, Andreas Schäfer, Stefan Solbrig, Thomas Streuer, Tilo Wettig, Dirk Pleiter, Karl-Heinz Sulanke, Frank Winter, Hubert Simma, Sebastiano Fabio Schifano, Raffaele Tripiccione, Andrea Nobile, Matthias Drochner, Thomas Lippert, Zoltán Fodor: QPACE: Quantum Chromodynamics Parallel Computing on the Cell Broadband Engine. Computing in Science and Engineering 10(6): 46-54 (2008)

Andreas Schäfer: Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme (Specification and Verification of Spatio-Temporal Properties of Mobile Systems). it - Information Technology 50(5): 324-326 (2008)

Iker Losada, Andreas Schäfer, David Guerra, Gorka Prieto, Javier Morgade, Pablo Angueira: Estimation of Inchannel-Interference to Digital Radio Mondiale (DRM) Signals During Operation. TBC 54(2): 287-295 (2008)

Andreas Schäfer, Dietmar Fey: Pollarder: An Architecture Concept for Self-adapting Parallel Applications in Computational Science. ICCS (1) 2008: 174-183

Jakob Erdmann, Andreas Schäfer, Christian Kauhaus, Dietmar Fey: A Profitability Heuristic that Reduces the Parameter Dependence of Dynamic Load Balancing. Informatiktage 2008: 217-219

Andreas Schäfer, Dietmar Fey: LibGeoDecomp: A Grid-Enabled Library for Geometric Decomposition Codes. PVM/MPI 2008: 285-294

Andreas Schäfer: Specification and verification of mobile real-time systems. Carl von Ossietzky University of Oldenburg 2007, isbn kart., pp. 1-239

Andreas Schäfer: Axiomatisation and decidability of multi-dimensional Duration Calculus. Inf. Comput. 205(1): 25-64 (2007)

Andreas Schäfer: Specification and verification of mobile real-time systems. Universität Oldenburg 2006, pp. I-XVI, 1-233

Jan-David Quesel, Andreas Schäfer: Spatio-temporal Model Checking for Mobile Real-Time Systems. ICTAC 2006: 347-361

Raymond T. Boute, Andreas Schäfer: The Timer Cascade: Functional Modelling and Real Time Calculi. ICTAC 2005: 242-256

Andreas Schäfer: Axiomatisation and Decidability of Multi-dimensional Duration Calculus. TIME 2005: 122-130

Andreas Schäfer: A Calculus for Shapes in Time and Space. ICTAC 2004: 463-477

Daniel B. Leineweber, Andreas Schäfer, Hans Georg Bock, Johannes P. Schlöder: An efficient multiple shooting based reduced SQP strategy for large-scale dynamic process optimization: Part II: Software aspects and applications. Computers & Chemical Engineering 27(2): 167-174 (2003)

Andreas Schäfer: Combining Real-Time Model-Checking and Fault Tree Analysis. FME 2003: 522-541