Veröffentlichungen


2025
Transport and deposition of inhaled fibers in a realistic female airway model: A combined experimental and numerical study
Prinz, F.; Kánská, J.; Elcner, J.; Hájek, O.; Kummerländer, A.; Krause, M. J.; Jícha, M.; Lízal, F.
2025. Computers in Biology and Medicine, 194, 110473. doi:10.1016/j.compbiomed.2025.110473VolltextVolltext der Publikation als PDF-Dokument
A digital urban twin enabling interactive pollution predictions and enhanced planning
Teutscher, D.; Bukreev, F.; Kummerländer, A.; Simonis, S.; Bächler, P.; Rezaee, A.; Hermansdorfer, M.; Krause, M. J.
2025. Building and Environment, 281, 113093. doi:10.1016/j.buildenv.2025.113093VolltextVolltext der Publikation als PDF-Dokument
TEEMLEAP : A New Testbed for Exploring Machine Learning in Atmospheric Prediction for Research and Education
Wilhelm, J.; Quinting, J.; Burba, M.; Hollborn, S.; Ehret, U.; Pena Sánchez, I.; Lerch, S.; Meyer, J.; Verfürth, B.; Knippertz, P.
2025. Journal of Advances in Modeling Earth Systems, 17 (7), e2024MS004881. doi:10.1029/2024MS004881VolltextVolltext der Publikation als PDF-Dokument
Radial Perfectly Matched Layers and Infinite Elements for the Anisotropic Wave Equation
Halla, M.; Kachanovska, M.; Wess, M.
2025. SIAM Journal on Mathematical Analysis, 57 (3), 3171 – 3216. doi:10.1137/24M1636551
ENERGY MATCHING IN REDUCED PASSIVE AND PORT-HAMILTONIAN SYSTEMS*
Holicki, T.; Nicodemus, J.; Schwerdtner, P.; Unger, B.
2025. SIAM Journal on Control and Optimization, 63 (3), 2154 – 2176. doi:10.1137/23M1600931
Limit consistency of lattice Boltzmann equations
Simonis, S.; Krause, M. J.
2025. ESAIM: Mathematical Modelling and Numerical Analysis, 59 (3), 1271–1299. doi:10.1051/m2an/2025026VolltextVolltext der Publikation als PDF-Dokument
Benchmark Simulation of Laminar Reactive Micromixing Using Lattice Boltzmann Methods
Bukreev, F.; Kummerländer, A.; Jeßberger, J.; Teutscher, D.; Simonis, S.; Bothe, D.; Krause, M. J.
2025. AIAA Journal, 63 (4), 1295–1304. doi:10.2514/1.J064234
Scalable Method for Bayesian Experimental Design without Integrating over Posterior Distribution
Hoang, V.; Espath, L.; Krumscheid, S.; Tempone, R.
2025. SIAM/ASA Journal on Uncertainty Quantification, 13 (1), 114–139. doi:10.1137/23M1603364
Natural convection in the horizontal annulus: Critical Rayleigh number for the steady problem
Passerini, A.; Rummler, B.; Růžička, M.; Thäter, G.
2025. ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 105 (3), Art.-Nr.: e202300535. doi:10.1002/zamm.202300535VolltextVolltext der Publikation als PDF-Dokument
Homogenized lattice Boltzmann methods for fluid flow through porous media – Part I: Kinetic model derivation
Simonis, S.; Hafen, N.; Jeßberger, J.; Dapelo, D.; Thäter, G.; Krause, M. J.
2025. ESAIM: Mathematical Modelling and Numerical Analysis, 59 (2), 789–813. doi:10.1051/m2an/2025005VolltextVolltext der Publikation als PDF-Dokument
In memoriam Alfred K Louis
Hahn, B.; Maass, P.; Rieder, A.; Schuster, T.
2025. Inverse Problems, 41 (2), 020201. doi:10.1088/1361-6420/ad9cb6
Calculation of Single and Multiple Low Reynolds Number Free Jets with a Lattice-Boltzmann Method
Hettel, M.; Bukreev, F.; Daymo, E.; Kummerländer, A.; Krause, M. J.; Deutschmann, O.
2025. AIAA Journal, 1–14. doi:10.2514/1.J064280
2024
Optimized Schwarz Waveform Relaxation Methods for the Telegrapher Equation
Al-Khaleel, M. D.; Gander, M. J.; Kumbhar, P. M.
2024. SIAM Journal on Scientific Computing, 46 (6), A3528 – A3551. doi:10.1137/24M1642962
Statistical variational data assimilation
Benaceur, A.; Verfürth, B.
2024. Computer Methods in Applied Mechanics and Engineering, 432 (B), 117402. doi:10.1016/j.cma.2024.117402VolltextVolltext der Publikation als PDF-Dokument
Molecular Basis of MC1R Activation: Mutation‐Induced Alterations in Structural Dynamics
Cavatão, F. G.; Pinto, É. S. M.; Krause, M. J.; Alho, C. S.; Dorn, M.
2024. Proteins: Structure, Function, and Bioinformatics, 92 (11), 1297–1307. doi:10.1002/prot.26722
A Fully Parallelized and Budgeted Multilevel Monte Carlo Method and the Application to Acoustic Waves
Baumgarten, N.; Krumscheid, S.; Wieners, C.
2024. SIAM/ASA Journal on Uncertainty Quantification, 12 (3), 901–931. doi:10.1137/23M1588354
A high‐order numerical method for solving non‐periodic scattering problems in three‐dimensional bi‐periodic structures
Arens, T.; Shafieeabyaneh, N.; Zhang, R.
2024. ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 104 (9), Art.-Nr.: e202300650. doi:10.1002/zamm.202300650VolltextVolltext der Publikation als PDF-Dokument
Localized Implicit Time Stepping for the Wave Equation
Gallistl, D.; Maier, R.
2024. SIAM Journal on Numerical Analysis, 62 (4), 1589 – 1608. doi:10.1137/23M1582618
Identification of reaction rate parameters from uncertain spatially distributed concentration data using gradient-based PDE constrained optimization
Ito, S.; Jeßberger, J.; Simonis, S.; Bukreev, F.; Kummerländer, A.; Zimmermann, A.; Thäter, G.; Pesch, G. R.; Thöming, J.; Krause, M. J.
2024. Computers and Mathematics with Applications, 167, 249 – 263. doi:10.1016/j.camwa.2024.05.026VolltextVolltext der Publikation als PDF-Dokument
Maximum norm error bounds for the full discretization of nonautonomous wave equations
Dörich, B.; Leibold, J.; Maier, B.
2024. IMA Journal of Numerical Analysis, 44 (4), 2480–2512. doi:10.1093/imanum/drad065
Variational Gaussian approximation for the magnetic Schrödinger equation *
Burkhard, S.; Dörich, B.; Hochbruck, M.; Lasser, C.
2024. Journal of Physics A: Mathematical and Theoretical, 57 (29), 295202. doi:10.1088/1751-8121/ad591eVolltextVolltext der Publikation als PDF-Dokument
Comprehensive experimental and numerical validation of Lattice Boltzmann fluid flow and particle simulations in a child respiratory tract
Prinz, F.; Pokorný, J.; Elcner, J.; Lízal, F.; Mišík, O.; Malý, M.; Bělka, M.; Hafen, N.; Kummerländer, A.; Krause, M. J.; Jedelský, J.; Jícha, M.
2024. Computers in Biology and Medicine, 170, Art.-Nr.: 107994. doi:10.1016/j.compbiomed.2024.107994
Two-step homogenization of spatiotemporal metasurfaces using an eigenmode-based approach
Garg, P.; Lamprianidis, A. G.; Rahman, S.; Stefanou, N.; Almpanis, E.; Papanikolaou, N.; Verfürth, B.; Rockstuhl, C.
2024. Optical Materials Express, 14 (2), 549–563. doi:10.1364/OME.509897
Approximation method for fast calculation of transmission in multi-mode waveguides
Paszkiewicz, M.; Sukhova, M.; Dörfler, W.; Rockstuhl, C.
2024. Journal of the Optical Society of America A: Optics and Image Science, and Vision, 41 (2), 174 – 184. doi:10.1364/JOSAA.504950VolltextVolltext der Publikation als PDF-Dokument
Polarized High-frequency Wave Propagation Beyond the Nonlinear Schrödinger Approximation
Baumstark, J.; Jahnke, T.; Lubich, C.
2024. SIAM Journal on Mathematical Analysis, 56 (1), 454–473. doi:10.1137/22M1504810
Assessment of Kaistella jeonii esterase conformational dynamics in response to poly(ethylene terephthalate) binding
Pinto, E. S. M.; Mangini, A. T.; Novo, L. C. C.; Cavatao, F. G.; Krause, M. J.; Dorn, M.
2024. Current Research in Structural Biology, 7, Art.-Nr.: 100130. doi:10.1016/j.crstbi.2024.100130VolltextVolltext der Publikation als PDF-Dokument
On trajectories of complex-valued interior transmission eigenvalues
Pieronek, L.; Kleefeld, A.
2024. Inverse Problems and Imaging, 18 (2), 480–516. doi:10.3934/ipi.2023041
Binary fluid flow simulations with free energy lattice Boltzmann methods
Simonis, S.; Nguyen, J.; Avis, S. J.; Dörfler, W.; Krause, M. J.
2024. Discrete and Continuous Dynamical Systems - S, 17 (11), 3278–3294. doi:10.3934/dcdss.2023069VolltextVolltext der Publikation als PDF-Dokument
2023
Neural Network Approximation of Coarse-Scale Surrogates in Numerical Homogenization
Kröpfl, F.; Maier, R.; Peterseim, D.
2023. Multiscale Modeling and Simulation, 21 (4), 1457 – 1485. doi:10.1137/22M1524278
KiT-RT: An extendable framework for radiative transfer and therapy
Kusch, J.; Schotthöfer, S.; Stammer, P.; Wolters, J.; Xiao, T.
2023. ACM Transactions on Mathematical Software, 49 (4), Art.-Nr.: 38. doi:10.1145/3630001
Consistent lattice Boltzmann methods for the volume averaged Navier–Stokes equations
Bukreev, F.; Simonis, S.; Kummerländer, A.; Jeßberger, J.; Krause, M. J.
2023. Journal of Computational Physics, 490, Art.-Nr.: 112301. doi:10.1016/j.jcp.2023.112301
Splitting integrators for stochastic Lie–Poisson systems
Bréhier, C.-E.; Cohen, D.; Jahnke, T.
2023. Mathematics of Computation, 92 (343), 2167 – 2216. doi:10.1090/mcom/3829
An Improved High-Order Method for Elliptic Multiscale Problems
Dong, Z.; Hauck, M.; Maier, R.
2023. SIAM Journal on Numerical Analysis, 61 (4), 1918–1937. doi:10.1137/22M153392X
Approximate Inversion of a Class of Generalized Radon Transforms
Ganster, K.; Rieder, A.
2023. SIAM Journal on Imaging Sciences, 16 (2), 842–866. doi:10.1137/22M1512417
Approximation of High-Frequency Wave Propagation in Dispersive Media
Baumstark, J.; Jahnke, T.
2023. SIAM Journal on Mathematical Analysis, 55 (2), 1214–1245. doi:10.1137/22M1474035
Constructing relaxation systems for lattice Boltzmann methods
Simonis, S.; Frank, M.; Krause, M. J.
2023. Applied Mathematics Letters, 137, Art.-Nr.: 108484. doi:10.1016/j.aml.2022.108484
On the Stability of Robust Dynamical Low-Rank Approximations for Hyperbolic Problems
Kusch, J.; Einkemmer, L.; Ceruti, G.
2023. SIAM Journal on Scientific Computing, 45 (1), A1–A24. doi:10.1137/21M1446289
Maximizing the electromagnetic chirality of thin metallic nanowires at optical frequencies
Fernandez-Corbaton, I.; Griesmaier, R.; Knöller, M.; Rockstuhl, C.
2023. Journal of Computational Physics, 475, Art.-Nr.: 111854. doi:10.1016/j.jcp.2022.111854VolltextVolltext der Publikation als PDF-Dokument
Monotonicity in inverse scattering for Maxwell’s equations
Albicker, A.; Griesmaier, R.
2023. Inverse Problems and Imaging, 17, 68–105. doi:10.3934/ipi.2022032
Two-step homogenization of spatiotemporal metasurfaces using an eigenmode-based approach
Garg, P.; Lamprianidis, A.; Rahman, S.; Stefanou, N.; Papanikolaou, N.; Almpanis, E.; Verfürth, B.; Rockstuhl, C.
2023. Optica Publishing Group (OSA). doi:10.1364/opticaopen.24449380VolltextVolltext der Publikation als PDF-Dokument
Quantifying uncertain system outputs via the multi-level Monte Carlo method --- distribution and robustness measures
Ayoul-Guilmard, Q.; Ganesh, S.; Krumscheid, S.; Nobile, F.
2023. International Journal for Uncertainty Quantification, 13 (5), 61–98. doi:10.1615/Int.J.UncertaintyQuantification.2023045259
Efficient time splitting schemes for the monodomain equation in cardiac electrophysiology
Lindner, L. P.; Gerach, T.; Jahnke, T.; Loewe, A.; Weiss, D.; Wieners, C.
2023. International Journal for Numerical Methods in Biomedical Engineering, 39 (2), Art.-Nr.: e3666. doi:10.1002/cnm.3666VolltextVolltext der Publikation als PDF-Dokument
Optimal -estimates for an isoparametric finite element discretization of elliptic boundary value problems
Dörich, B.; Leibold, J.; Maier, B.
2023. ETNA - Electronic Transactions on Numerical Analysis, 58, 1–21. doi:10.1553/etna_vol58s1
2022
A Multilevel Stochastic Collocation Method for Schrödinger Equations with a Random Potential
Jahnke, T.; Stein, B.
2022. SIAM/ASA Journal on Uncertainty Quantification, 10 (4), 1753–1780. doi:10.1137/21M1440517
Inverse medium scattering for a nonlinear Helmholtz equation
Griesmaier, R.; Knöller, M.; Mandel, R.
2022. Journal of Mathematical Analysis and Applications, 515 (1), Art.-Nr. 126356. doi:10.1016/j.jmaa.2022.126356
Mathematik
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2022. Springer-Verlag. doi:10.1007/978-3-662-64389-1
Transformation-optics modeling of 3D-printed freeform waveguides
Nesic, A.; Blaicher, M.; Orlandini, E.; Olariu, T.; Paszkiewicz, M.; Negredo, F.; Kraft, P.; Sukhova, M.; Hofmann, A.; Dörfler, W.; Rockstuhl, C.; Freude, W.; Koos, C.
2022. Optics Express, 30 (21), 38856–38879. doi:10.1364/OE.452243VolltextVolltext der Publikation als PDF-Dokument
Modeling four-dimensional metamaterials: A T-matrix approach to describe time-varying metasurfaces
Garg, P.; Lamprianidis, A. G.; Beutel, D.; Karamanos, T.; Verfürth, B.; Rockstuhl, C.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151358VolltextVolltext der Publikation als PDF-Dokument
A Large-scale Virtual Patient Cohort to Study ECG Features of Interatrial Conduction Block
Bender, J.; Nagel, C.; Fröhlich, J.; Wieners, C.; Dössel, O.; Loewe, A.
2022. Current Directions in Biomedical Engineering, 8 (2), 97–100. doi:10.1515/cdbme-2022-1026VolltextVolltext der Publikation als PDF-Dokument
Arbeitsbuch Mathematik – Aufgaben, Hinweise, Lösungen und Lösungswege
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2022. Springer-Verlag. doi:10.1007/978-3-662-64391-4
Exponential Integrators for Quasilinear Wave-Type Equations
Dörich, B.; Hochbruck, M.
2022. SIAM Journal on Numerical Analysis, 60 (3), 1472–1493. doi:10.1137/21M1410579
A realizable filtered intrusive polynomial moment method
Alldredge, G.; Frank, M.; Kusch, J.; McClarren, R.
2022. Journal of computational and applied mathematics, 407, Art.-Nr.: 114055. doi:10.1016/j.cam.2021.114055
Forschungsnahe Lehre unter Pandemiebedingungen
Simonis, S.; Krause, M. J.
2022. Mitteilungen der Deutschen Mathematiker-Vereinigung, 30 (1), 43. doi:10.1515/dmvm-2022-0015
Dynamic phase-field fracture with a first-order discontinuous Galerkin method for elastic waves
Weinberg, K.; Wieners, C.
2022. Computer Methods in Applied Mechanics and Engineering, 389, Art.-Nr.: 114330. doi:10.1016/j.cma.2021.114330
Arbeitsbuch Grundwissen Mathematikstudium - Analysis und Lineare Algebra mit Querverbindungen
Arens, T.; Busam, R.; Hettlich, F.; Karpfinger, C.; Stachel, H.
2022. Springer Spektrum 
An Investigation of Uncertainty Propagation in Non-equilibrium Flows
Xiao, T.
2022. International Journal of Computational Fluid Dynamics, 36 (4), 294–318. doi:10.1080/10618562.2022.2104262
Aufbau und Einsatzmöglichkeiten des Lehr- und Lernmaterials
Gerhard, M.; Hattebuhr, M.; Schönbrodt, S.; Wohak, K.
2022. Neue Materialien für einen realitätsbezogenen Mathematikunterricht. Hrsg.: M. Frank, 7–14, Springer Spektrum. doi:10.1007/978-3-662-63647-3_2
Limit Consistency of Lattice Boltzmann Equations
Simonis, S.; Krause, M. J.
2022. Karlsruher Institut für Technologie (KIT) 
Dynamic fracture with continuum-kinematics-based peridynamics
Friebertshäuser, K.; Wieners, C.; Weinberg, K.
2022. AIMS Materials Science, 9 (6), 791–807. doi:10.3934/matersci.2022049
Optimization of a Micromixer with Automatic Differentiation
Jeßberger, J.; Marquardt, J. E.; Heim, L.; Mangold, J.; Bukreev, F.; Krause, M. J.
2022. Fluids, 7 (5), Art.-Nr.: 144. doi:10.3390/fluids7050144VolltextVolltext der Publikation als PDF-Dokument
Toward Maximally Electromagnetically Chiral Scatterers at Optical Frequencies
Garcia-Santiago, X.; Hammerschmidt, M.; Sachs, J.; Burger, S.; Kwon, H.; Knöller, M.; Arens, T.; Fischer, P.; Fernandez-Corbaton, I.; Rockstuhl, C.
2022. ACS Photonics, 9 (6), 1954–1964. doi:10.1021/acsphotonics.1c01887VolltextVolltext der Publikation als PDF-Dokument
Temporal large eddy simulation with lattice Boltzmann methods
Simonis, S.; Oberle, D.; Gaedtke, M.; Jenny, P.; Krause, M. J.
2022. Journal of Computational Physics, 454, Art.-Nr.: 110991. doi:10.1016/j.jcp.2022.110991
2021
Recurrent neural networks as optimal mesh refinement strategies
Bohn, J.; Feischl, M.
2021. Computers & Mathematics with Applications, 97, 61–76. doi:10.1016/j.camwa.2021.05.018
A generalized finite element method for problems with sign-changing coefficients
Chaumont-Frelet, T.; Verfürth, B.
2021. Mathematical modelling and numerical analysis, 55 (3), 939–967. doi:10.1051/m2an/2021007
Maximizing the Electromagnetic Chirality of Thin Dielectric Tubes
Arens, T.; Griesmaier, R.; Knöller, M.
2021. SIAM journal on applied mathematics, 81 (5), 1979–2006. doi:10.1137/21M1393509
Linear and brute force stability of orthogonal moment multiple-relaxation-time lattice Boltzmann methods applied to homogeneous isotropic turbulence
Simonis, S.; Haussmann, M.; Kronberg, L.; Dörfler, W.; Krause, M. J.
2021. Philosophical transactions. Series A, Mathematical, physical, and engineering sciences, 379 (2208), Art.-Nr.: 20200405. doi:10.1098/rsta.2020.0405
Visco-acoustic full waveform inversion: From a DG forward solver to a Newton-CG inverse solver
Bohlen, T.; Fernandez, M. R.; Ernesti, J.; Rheinbay, C.; Rieder, A.; Wieners, C.
2021. Computers and Mathematics with Applications, 100, 126–140. doi:10.1016/j.camwa.2021.09.001
Erratum: Monotonicity in Inverse Medium Scattering on Unbounded Domains
Griesmaier, R.; Harrach, B.
2021. SIAM journal on applied mathematics, 81 (3), 1332–1337. doi:10.1137/21M1399221
A Multiscale Method for Heterogeneous Bulk-Surface Coupling
Altmann, R.; Verfürth, B.
2021. Multiscale modeling & simulation, 19 (1), 374–400. doi:10.1137/20M1338290
Spectrum Decomposition of Translation Operators in Periodic Waveguide
Zhang, R.
2021. Society for Industrial and Applied Mathematics (SIAM) 
Nonlinear Inverse Problems
Kirsch, A.
2021. An Introduction to the Mathematical Theory of Inverse Problems., 119–168, Springer International Publishing. doi:10.1007/978-3-030-63343-1_4
Regularization Theory for Equations of the First Kind
Kirsch, A.
2021. An Introduction to the Mathematical Theory of Inverse Problems., 23–61, Springer International Publishing. doi:10.1007/978-3-030-63343-1_2
An Inverse Problem in Electrical Impedance Tomography
Kirsch, A.
2021. An Introduction to the Mathematical Theory of Inverse Problems, 215–238, Springer International Publishing. doi:10.1007/978-3-030-63343-1_6
Inverse Eigenvalue Problems
Kirsch, A.
2021. An Introduction to the Mathematical Theory of Inverse Problems., 169–214, Springer International Publishing. doi:10.1007/978-3-030-63343-1_5
Regularization by Discretization
Kirsch, A.
2021. An Introduction to the Mathematical Theory of Inverse Problems., 63–118, Springer International Publishing. doi:10.1007/978-3-030-63343-1_3
An Inverse Scattering Problem
Kirsch, A.
2021. An Introduction to the Mathematical Theory of Inverse Problems, 239–313, Springer International Publishing. doi:10.1007/978-3-030-63343-1_7
Introduction and Basic Concepts
Kirsch, A.
2021. An Introduction to the Mathematical Theory of Inverse Problems, 1–21, Springer International Publishing. doi:10.1007/978-3-030-63343-1_1
Efficient Simulation of Chemical–Mechanical Coupling in Battery Active Particles
Castelli, G. F.; Kolzenberg, L. von; Horstmann, B.; Latz, A.; Dörfler, W.
2021. Energy technology, 9 (6), Art.-Nr.: 2000835. doi:10.1002/ente.202000835VolltextVolltext der Publikation als PDF-Dokument
Coupling of multiscale lattice Boltzmann discrete-element method for reactive particle fluid flows
Maier, M.-L.; Patel, R. A.; Prasianakis, N. I.; Churakov, S. V.; Nirschl, H.; Krause, M. J.
2021. Physical Review E, 103 (3), Art.-Nr.: 033306. doi:10.1103/PhysRevE.103.033306
Towards shape optimisation of fluid flows using lattice Boltzmann methods and automatic differentiation
Zarth, A.; Klemens, F.; Thäter, G.; Krause, M. J.
2021. Computers and Mathematics with Applications, 90, 46–54. doi:10.1016/j.camwa.2021.02.016
Mesoporous Niobium Nitride Nanowires Encapsulated in Carbon for High-Performance Lithium-Sulfur Batteries
Jia, H.; Wang, D.; Li, Y.; Liu, L.; Gu, H.; Yang, S.; Fu, Q.; Yan, X.; Wei, Y.
2021. ACS Applied Nano Materials, 4 (3), 2606–2613. doi:10.1021/acsanm.0c03256
Numerical evaluation of thermal comfort using a large eddy lattice Boltzmann method
Siodlaczek, M.; Gaedtke, M.; Simonis, S.; Schweiker, M.; Homma, N.; Krause, M. J.
2021. Building and Environment, 192, Art.-Nr.: 107618. doi:10.1016/j.buildenv.2021.107618
OpenLB—Open source lattice Boltzmann code
Krause, M. J.; Kummerländer, A.; Avis, S. J.; Kusumaatmaja, H.; Dapelo, D.; Klemens, F.; Gaedtke, M.; Hafen, N.; Mink, A.; Trunk, R.; Marquardt, J. E.; Maier, M.-L.; Haussmann, M.; Simonis, S.
2021. Computers and mathematics with applications, 81, 258–288. doi:10.1016/j.camwa.2020.04.033VolltextVolltext der Publikation als PDF-Dokument
2020
A Guide for Publishing, Using, and Licensing Research Software in Germany
Struck, A.; Loewe, A.; Achhammer, E.; Rack, F.; Bach, F.; Löffler, F.; Seemann, G.; Anzt, H.; Funk, M.; Unger, S.; Druskat, S.; Friedl, S.
2020. Zenodo. doi:10.5281/zenodo.4327148VolltextVolltext der Publikation als PDF-Dokument
Randomized exponential integrators for modulated nonlinear Schrödinger equations
Hofmanová, M.; Knöller, M.; Schratz, K.
2020. IMA journal of numerical analysis, 40 (4), 2143–2162. doi:10.1093/IMANUM/DRZ050
Total enthalpy-based lattice Boltzmann simulations of melting in paraffin/metal foam composite phase change materials
Gaedtke, M.; Abishek, S.; Mead-Hunter, R.; King, A. J. C.; Mullins, B. J.; Nirschl, H.; Krause, M. J.
2020. International journal of heat and mass transfer, 155, Art. Nr.: 119870. doi:10.1016/j.ijheatmasstransfer.2020.119870
Radiative transfer lattice Boltzmann methods: 3D models and their performance in different regimes of radiative transfer
Mink, A.; McHardy, C.; Bressel, L.; Rauh, C.; Krause, M. J.
2020. Journal of quantitative spectroscopy & radiative transfer, 243, Art. Nr.: 106810. doi:10.1016/j.jqsrt.2019.106810
Imaging with the elliptic radon transform in three dimensions from an analytical and numerical perspective
Grathwohl, C.; Kunstmann, P. C.; Quinto, E. T.; Rieder, A.
2020. SIAM journal on imaging sciences, 13 (4), 2250–2280. doi:10.1137/20M1332657
On Leapfrog-Chebyshev Schemes
Carle, C.; Hochbruck, M.; Sturm, A.
2020. SIAM journal on numerical analysis, 58 (4), 2404–2433. doi:10.1137/18M1209453
A single Rayleigh mode may exist with multiple values of phase-velocity at one frequency
Forbriger, T.; Gao, L.; Malischewsky, P.; Ohrnberger, M.; Pan, Y.
2020. Geophysical journal international, 222 (1), 582–594. doi:10.1093/gji/ggaa123VolltextVolltext der Publikation als PDF-Dokument
Noise reduction of flow MRI measurements using a lattice Boltzmann based topology optimisation approach
Klemens, F.; Schuhmann, S.; Balbierer, R.; Guthausen, G.; Nirschl, H.; Thäter, G.; Krause, M. J.
2020. Computers & fluids, 197, Art.-Nr.: 104391. doi:10.1016/j.compfluid.2019.104391
2019
Unified error analysis for nonconforming space discretizations of wave-type equations
Hipp, D.; Hochbruck, M.; Stohrer, C.
2019. IMA journal of numerical analysis, 39 (3), 1206–1245. doi:10.1093/imanum/dry036
Correction to: Fast random field generation with H-matrices
Feischl, M.; Kuo, F. Y.; Sloan, I. H.
2019. Numerische Mathematik, 142 (3), 787. doi:10.1007/s00211-019-01033-x
The numerical study of a microscale model for lithium-ion batteries
Castelli, G. F.; Dörfler, W.
2019. Computers and mathematics with applications, 77 (6), 1527–1540. doi:10.1016/j.camwa.2018.08.067
Heterogeneous Multiscale Method for Maxwell’s Equations
Hochbruck, M.; Maier, B.; Stohrer, C.
2019. Multiscale modeling & simulation, 17 (4), 1147–1171. doi:10.1137/18M1234072
Observation Guided Systematic Reduction of a Detailed Human Ventricular Cell Model
Gerach, T.; Weiss, D. L.; Dössel, O.; Loewe, A.
2019. Computers in cardiology, 46, Article: 9005729. doi:10.23919/CinC49843.2019.9005729
Dynamic Integration and Management of Opportunistic Resources for HEP
Schnepf, M. J.; Cube, R. F. von; Fischer, M.; Giffels, M.; Heidecker, C.; Heiss, A.; Kuehn, E.; Petzold, A.; Quast, G.; Sauter, M.
2019. The European physical journal / Web of Conferences, 214, 08009. doi:10.1051/epjconf/201921408009VolltextVolltext der Publikation als PDF-Dokument
Advancing throughput of HEP analysis work-flows using caching concepts
Caspart, R.; Fischer, M.; Giffels, M.; Heidecker, C.; Kühn, E.; Quast, G.; Sauter, M.; Schnepf, M. J.; Cube, R. F. von
2019. The European physical journal / Web of Conferences, 214, Article no: 04007. doi:10.1051/epjconf/201921404007VolltextVolltext der Publikation als PDF-Dokument
On leapfrog-Chebyshev schemes
Carle, C.; Hochbruck, M.; Sturm, A.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000099118VolltextVolltext der Publikation als PDF-Dokument
Discrete Gradient Flows for General Curvature Energies
Dörfler, W.; Nürnberg, R.
2019. SIAM journal on scientific computing, 41 (3), A2012–A2036. doi:10.1137/18M122844X
Error analysis of an energy preserving ADI splitting scheme for the Maxwell equations
Eilinghoff, J.; Jahnke, T.; Schnaubelt, R.
2019. SIAM journal on numerical analysis, 57 (3), 1036–1057. doi:10.1137/18M1203377
Flow and heat transfer simulation with a thermal large eddy lattice Boltzmann method in an annular gap with an inner rotating cylinder
Gaedtke, M.; Hoffmann, T.; Reinhardt, V.; Thäter, G.; Nirschl, H.; Krause, M. J.
2019. International journal of modern physics / C, 30 (02n03), Art.-Nr.: 1950013. doi:10.1142/S012918311950013X
Analytical and numerical analysis of linear and nonlinear properties of an rf-SQUID based metasurface
Müller, M. M.; Maier, B.; Rockstuhl, C.; Hochbruck, M.
2019. Physical review / B, 99 (7), Art.-Nr.: 075401. doi:10.1103/PhysRevB.99.075401
2018
Numerical evaluation of discontinuous and nonconforming finite element methods in nonlinear solid mechanics
Bayat, H. R.; Krämer, J.; Wunderlich, L.; Wulfinghoff, S.; Reese, S.; Wohlmuth, B.; Wieners, C.
2018. Computational mechanics, 62 (6), 1413–1427. doi:10.1007/s00466-018-1571-z
Fluid flow simulations verified by measurements to investigate adsorption processes in a static mixer
Maier, M.-L.; Milles, S.; Schuhmann, S.; Guthausen, G.; Nirschl, H.; Krause, M. J.
2018. Computers and mathematics with applications, 76 (11-12), 2744–2757. doi:10.1016/j.camwa.2018.08.066
Fast random field generation with H-matrices
Feischl, M.; Kuo, F. Y.; Sloan, I. H.
2018. Numerische Mathematik, 140 (3), 639–676. doi:10.1007/s00211-018-0974-2
Mathematik
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2018. Springer-Verlag. doi:10.1007/978-3-662-56741-8
Fast and reliable method to estimate losses of single-mode waveguides with an arbitrary 2D trajectory
Negredo, F.; Blaicher, M.; Nesic, A.; Kraft, P.; Ott, J.; Dörfler, W.; Koos, C.; Rockstuhl, C.
2018. Journal of the Optical Society of America / A, 35 (6), 1063–1073. doi:10.1364/JOSAA.35.001063
Convergence Analysis of Energy Conserving Explicit Local Time-Stepping Methods for the Wave Equation
Grote, M. J.; Mehlin, M.; Sauter, S. A.
2018. SIAM journal on numerical analysis, 56 (2), 994–1021. doi:10.1137/17M1121925
Arbeitsbuch Mathematik – Aufgaben, Hinweise, Lösungen und Lösungswege
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2018. Springer-Verlag. doi:10.1007/978-3-662-56750-0
Solving fluid flow domain identification problems with adjoint lattice Boltzmann methods
Klemens, F.; Förster, B.; Dorn, M.; Thäter, G.; Krause, M. J.
2018. Computers and mathematics with applications, 79 (1), 17–33. doi:10.1016/j.camwa.2018.07.010VolltextVolltext der Publikation als PDF-Dokument
Monotonicity in Inverse Medium Scattering on Unbounded Domains
Griesmaier, R.; Harrach, B.
2018. SIAM journal on applied mathematics, 78 (5), 2533–2557. doi:10.1137/18M1171679
Trigonometric integrators for quasilinear wave equations
Gauckler, L.; Lu, J.; Marzuola, J. L.; Rousset, F.; Schratz, K.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000088928VolltextVolltext der Publikation als PDF-Dokument
Surface plasmon polaritons sustained at the interface of a nonlocal metamaterial
Feis, J.; Mnasri, K.; Khrabustovskyi, A.; Stohrer, C.; Plum, M.; Rockstuhl, C.
2018. Physical review / B, 98 (11), Article No.115409. doi:10.1103/PhysRevB.98.115409
Closing the gap between trigonometric integrators and splitting methods for highly oscillatory differential equations
Buchholz, S.; Gauckler, L.; Grimm, V.; Hochbruck, M.; Jahnke, T.
2018. IMA journal of numerical analysis, 38 (1), 57–74. doi:10.1093/imanum/drx007
Beyond local effective material properties for metamaterials
Mnasri, K.; Khrabustovskyi, A.; Stohrer, C.; Plum, M.; Rockstuhl, C.
2018. Physical review / B, 97 (7), Art. Nr.: 075439. doi:10.1103/PhysRevB.97.075439
Microfiber Filter Performance Prediction Using a Lattice Boltzmann Method
Augusto, L. de L. X.; Ross-Jones, J.; Lopes, G. C.; Tronville, P.; Goncalves, J. A. S.; Radle, M.; Krause, M. J.
2018. Communications in computational physics, 23 (4), 910–931. doi:10.4208/cicp.OA-2016-0180
Approximate inverse for the common offset acquisition geometry in 2D seismic imaging
Grathwohl, C.; Kunstmann, P.; Quinto, E. T.; Rieder, A.
2018. Inverse problems, 34 (1), Art.Nr. 014002. doi:10.1088/1361-6420/aa9900
Incomplete Sparse Approximate Inverses for Parallel Preconditioning
Anzt, H.; Huckle, T. K.; Bräckle, J.; Dongarra, J.
2018. Parallel computing, 71, 1–22. doi:10.1016/j.parco.2017.10.003
2017
Ergänzungen und Vertiefungen zu Arens et al., Mathematik
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2017. Springer-Verlag. doi:10.1007/978-3-662-53585-1
Acceleration of contour integration techniques by rational Krylov subspace methods
Göckler, T.; Grimm, V.
2017. Journal of computational and applied mathematics, 316, 133–142. doi:10.1016/j.cam.2016.08.040
MultiLevel Local Time-Stepping Methods of Runge-Kutta-type for Wave Equations
Almquist, M.; Mehlin, M.
2017. SIAM journal on scientific computing, 39 (5), 2020–2048. doi:10.1137/16M1084407
Interface conditions for a metamaterial with strong spatial dispersion
Khrabustovskyi, A.; Mnasri, K.; Plum, M.; Stohrer, C.; Rockstuhl, C.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000075655VolltextVolltext der Publikation als PDF-Dokument
Multiscale Simulation with a Two-Way Coupled Lattice Boltzmann Method and Discrete Element Method
Maier, M. L.; Henn, T.; Thaeter, G.; Nirschl, H.; Krause, M. J.
2017. Chemical engineering & technology, 40 (9), 1591–1598. doi:10.1002/ceat.201600547
Born non-scattering electromagnetic media
Arens, T.; Sylvester, J.
2017. Journal of inverse and ill-posed problems, 25 (4), 469–481. doi:10.1515/jiip-2016-0054
Discrete gradient methods for solving variational image regularisation models
Grimm, V.; McLachlan, R. I.; McLaren, D. I.; Quispel, G. R. W.; Schönlieb, C.-B.
2017. Journal of physics / A, 50 (29), Art.Nr.: 295201. doi:10.1088/1751-8121/aa747c
Strang splitting for a semilinear Schrödinger equation with damping and forcing
Jahnke, T.; Mikl, M.; Schnaubelt, R.
2017. Journal of mathematical analysis and applications, 455 (2), 1051–1071. doi:10.1016/j.jmaa.2017.06.004
Beyond local effective material properties for metamaterials
Mnasri, K.; Khrabustovskyi, A.; Stohrer, C.; Plum, M.; Rockstuhl, C.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070949VolltextVolltext der Publikation als PDF-Dokument
Optimal convergence of adaptive FEM for eigenvalue clusters in mixed form
Boffi, D.; Gallistl, D.; Gardini, F.; Gastaldi, L.
2017. Mathematics of computation, 86 (307), 2213–2237. doi:10.1090/mcom/3212
Metastable energy strata in numerical discretizations of weakly nonlinear wave equations
Gauckler, L.; Weiß, D.
2017. Discrete and continuous dynamical systems / A, 37 (7), 3721–3747. doi:10.3934/dcds.2017158
On the stability of the Rayleigh-Ritz method for eigenvalues
Gallistl, D.; Huber, P.; Peterseim, D.
2017. Numerische Mathematik, 137 (2), 339–351. doi:10.1007/s00211-017-0876-8
Particle flow simulations with homogenised lattice Boltzmann methods
Krause, M. J.; Klemens, F.; Henn, T.; Trunk, R.; Nirschl, H.
2017. Particuology, 34, 1–13. doi:10.1016/j.partic.2016.11.001
A fast mollified impulse method for biomolecular atomistic simulations
Fath, L.; Hochbruck, M.; Singh, C. V.
2017. Journal of computational physics, 333, 180–198. doi:10.1016/j.jcp.2016.12.024
Exact Poincaré constants in two-dimensional annuli
Rummler, B.; Růžička, M.; Thäter, G.
2017. ZAMM, 97 (1), 110–122. doi:10.1002/zamm.201500299
2016
Arbeitsbuch Mathematik – Aufgaben, Hinweise, Lösungen und Lösungswege
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2016. Springer-Verlag. doi:10.1007/978-3-642-54948-9
From the Klein–Gordon–Zakharov system to the Klein–Gordon equation
Daub, M.; Schneider, G.; Schratz, K.
2016. Mathematical methods in the applied sciences, 39 (18), 5371–5380. doi:10.1002/mma.3922
Space-Time Discontinuous Galerkin Discretizations for Linear First-Order Hyperbolic Evolution Systems
Doerfler, W.; Findeisen, S.; Wieners, C.
2016. Computational methods in applied mathematics, 16 (3), 409–428. doi:10.1515/cmam-2016-0015
A mesoscale approach for dislocation density motion using a Runge-Kutta discontinuous Galerkin method
Schulz, K.; Wagner, L.; Wieners, C.
2016. Proceedings in applied mathematics and mechanics, 16 (1), 403–404. doi:10.1002/pamm.201610190
Inertial dilute particulate fluid flow simulations with an Euler–Euler lattice Boltzmann method
Trunk, R.; Henn, T.; Dörfler, W.; Nirschl, H.; Krause, M. J.
2016. Journal of computational science, 17 (2), 438–445. doi:10.1016/j.jocs.2016.03.013
On the Blunting Method in Veri ed Integration of ODEs
Nedialkov, N. S.; Jackson, K. R.; Neher, M.
2016. Reliable computing, 23, 15–34 
A scalable parallel Stokesian Dynamics method for the simulation of colloidal suspensions
Bülow, F.; Hamberger, P.; Nirschl, H.; Dörfler, W.
2016. Computer physics communications, 204, 107–120. doi:10.1016/j.cpc.2016.03.017
The error structure of the Douglas-Rachford splitting method for stiff linear problems
Hansen, E.; Ostermann, A.; Schratz, K.
2016. Journal of computational and applied mathematics, 303, 140–145. doi:10.1016/j.cam.2016.02.037
Blow-up for nonlinear Maxwell equations
D’Ancona, P.; Nicaise, S.; Schnaubelt, R.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056574VolltextVolltext der Publikation als PDF-Dokument
Convergence of viscoelastic constraints to nonholonomic idealization
Deppler, J.; Braun, B.; Fidlin, A. Y.; Hochbruck, M.
2016. European Journal of Mechanics / A: Solids, 58, 140–147. doi:10.1016/j.euromechsol.2016.01.003
Local well-posedness of a quasilinear wave equation
Dörfler, W.; Gernera, H.; Schnaubelta, R.
2016. Applicable analysis, 95 (9), 2110–2123. doi:10.1080/00036811.2015.1089236
2015
Mathematik
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2015. Springer-Verlag. doi:10.1007/978-3-642-44919-2
Invariant manifolds for nonsmooth systems with sliding mode
Weiss, D. L.; Kuepper, T.; Hosham, H. A.
2015. Mathematics and computers in simulation, 110 (1), 15–32. doi:10.1016/j.matcom.2014.02.004
High order numerical methods for highly oscillatory problems
Cohen, D.; Schweitzer, J.
2015. ESAIM: Mathematical Modelling and Numerical Analysis, 49 (3), 695–711. doi:10.1051/m2an/2014056
Model-based visualization of instationary geo-data with application to volcano ash data
Baumann, M.; Förstner, J.; Heuveline, V.; Kratzke, J.; Ritterbusch, S.; Vogel, B.; Vogel, H.
2015. Handbook of geomathematics. Vol. 2, 1418–1441, Springer. doi:10.1007/978-3-642-54551-1_87
Identification of current sources in 3D electrostatics
Sommer, A.; Helfrich-Schkarbanenko, A.; Heuveline, V.
2015. Handbook of Geomathematics. Vol.2., 1863–1885, Springer. doi:10.1007/978-3-642-54551-1_85
Efficient numerical simulation and optimization in electrophoretic deposition processes
Keller, F.; Nirschl, H.; Dörfler, W.; Woldt, E.
2015. Journal of the European Ceramic Society, 35 (9), 2619–2630. doi:10.1016/j.jeurceramsoc.2015.02.031
On the settling behaviour of polydisperse particle clouds in viscous fluids
Bülow, F.; Nirschl, H.; Dörfler, W.
2015. European Journal of Mechanics, B/Fluids, 50, 19–26. doi:10.1016/j.euromechflu.2014.11.003
Efficient time integration for discontinuous Galerkin approximations of linear wave equations
Hochbruck, M.; Pazur, T.; Schulz, A.; Thawinan, E.; Wieners, C.
2015. ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik, 95 (3), 237–259. doi:10.1002/zamm.201300306
Efficient multiple time-stepping algorithms of higher order
Demirel, A.; Niegemann, J.; Busch, K.; Hochbruck, M.
2015. Journal of Computational Physics, 285, 133–148. doi:10.1016/j.jcp.2015.01.018
Numerical Optimization of a Waveguide Transition Using Finite Element Beam Propagation
Dörfler, W.; Findeisen, S.
2015. International journal of numerical modelling, 28 (2), 201–212. doi:10.1002/jnm.1997
2014
Numerical Integrators for Motion under a Strong Constraining Force
Lubich, C.; Weiß, D.
2014. Multiscale Modeling & Simulation, 12 (4), 1592–1606. doi:10.1137/14096092X
Geometric reconstruction in bioluminescence tomography
Kreutzmann, T.; Rieder, A.
2014. Inverse Problems and Imaging, 8 (1), 173–197. doi:10.3934/ipi.2014.8.173
A kaczmarz version of the REGINN-Landweber iteration for ill-posed problems in Banach spaces
Margotti, F.; Rieder, A.; Leitao, A.
2014. SIAM Journal on Numerical Analysis, 52 (3), 1439–1465. doi:10.1137/130923956
On the linearization of operators related to the full waveform inversion in seismology
Kirsch, A.; Rieder, A.
2014. Mathematical Methods in the Applied Sciences, 37 (18), 2995–3007. doi:10.1002/mma.3037
An exponential integrator for non-autonomous parabolic problems
Hipp, D.; Hochbruck, M.; Ostermann, A.
2014. Electronic transactions on numerical analysis, 41, 497–511 
Robust operator estimates and the application to substructuring methods for first-order systems
Wieners, C.; Wohlmuth, B.
2014. Mathematical modelling and numerical analysis, 48 (5), 1473–1494. doi:10.1051/m2an/2014006
A unified Energy Footprint for Simulation Software
Anzt, H.; Beglarian, A.; Chilingaryan, S.; Ferrrone, A.; Heuveline, V.; Kopmann, A.
2014. Computer science - research and development, 29 (2), 131–138. doi:10.1007/s00450-012-0225-1
2013
Analysing Ewald’s method for the evaluation of Green’s functions for periodic media
Arens, T.; Sandfort, K.; Schmitt, S.; Lechleiter, A.
2013. IMA Journal of Applied Mathematics, 78 (3), 405–431. doi:10.1093/imamat/hxr057
Boundary element approximation for Maxwell’s eigenvalue problem
Wieners, C.; Xin, J.
2013. Mathematical Methods in the Applied Sciences, 36 (18), 2524–2539. doi:10.1002/mma.2772
A GRASS GIS Implementation of the Savage-Hutter Avalanche Model and Its Application to the 1987 Val Pola Event
Mergili, M.; Schratz, K.; Ostermann, A.; Fellin, W.
2013. Landslide Science and Practice - Volume 3: Spatial Analysis and Modelling. Ed.: C. Margottini, 367–373, Springer-Verlag. doi:10.1007/978-3-642-31310-3_50
Stability of Exponential Operator Splitting Methods for Noncontractive Semigroups
Ostermann, A.; Schratz, K.
2013. SIAM Journal on Numerical Analysis, 51 (1), 191–203. doi:10.1137/110846580
Analysis of exponential splitting methods for inhomogeneous parabolic equations
Faou, E.; Ostermann, A.; Schratz, K.
2013. IMA Journal of Numerical Analysis, 35 (1), 161–178. doi:10.1093/imanum/dru002
A Posteriori Error Estimation for Highly Indefinite Helmholtz Problems
Dörfler, W.; Sauter, S.
2013. Computational Methods in Applied Mathematics, 13 (3), 333–347. doi:10.1515/cmam-2013-0008
Interpolatory Weighted-H2 Model Reduction
Anic, B.; Beattie, C. A.; Gugercin, S.; Antoulas, A. C.
2013. Automatica, 49 (5), 1275–1280. doi:10.1016/j.automatica.2013.01.040
Visualization of lithosphere subduction: application to the mantle evolution beneath the Japanese Islands. iBook
Helfrich-Schkarbanenko, A.; Honda, S.; Ismail-Zadeh, A.; Sommer, A.; Tsepelev, I.
2013. Karlsruher Institut für Technologie (KIT) 
2012
Arbeitsbuch Mathematik: Aufgaben, Hinweise, Lösungen und Lösungswege zu Arens et al., Mathematik
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2012. Springer 
Risk Analysis For Catheter Guided Aortic Valve Implantation
Rosen, R.; Ritterbusch, S.; Möller, K.; Heuveline, V.
2012. Biomedical Engineering / Biomedizinische Technik, 57 (SI-1 Track-I), 1164. doi:10.1515/bmt-2012-4494
Metastable Energy Strata in Weakly Nonlinear Wave Equations
Gauckler, L.; Hairer, E.; Lubich, C.; Weiss, D. L.
2012. Communications in Partial Differential Equations, 37 (8), 1391–1413. doi:10.1080/03605302.2012.683503
Invariant manifolds for nonsmooth systems
Weiss, D. L.; Küpper, T.; Hoshan, H. A.
2012. Physica D: Nonlinear Phenomena, 241 (22), 1895–1902. doi:10.1016/j.physd.2011.07.012
Physically-based modelling of granular flows with Open Source GIS
Mergili, M.; Schratz, K.; Ostermann, A.; Fellin, W.
2012. Natural Hazards and Earth System Sciences, 12 (1), 187–200. doi:10.5194/nhess-12-187-2012VolltextVolltext der Publikation als PDF-Dokument
Finite element analysis for single-crystal strain-gradient plasticity
Reddy, D.; Wieners, C.; Wohlmuth, B.
2012. International Journal for Numerical Methods in Engineering, 90 (6), 784–804. doi:10.1002/nme.3347
Diffusion driven optofluidic dye lasers encapsulated into polymer chips
Wienhold, T.; Breithaupt, F.; Vannahme, C.; Brøkner Christiansen, M.; Dörfler, W.; Kristensen, A.; Mappes, T.
2012. Lab on a chip, 12 (19), 3734–3739. doi:10.1039/c2lc40494j
A survey on hardware-aware and heterogeneous computing on multicore processors and accelerators
Buchty, R.; Heuveline, V.; Karl, W.; Weiss, J.-P.
2012. Concurrency and Computation: Practice and Experience, 24 (7), 663–675. doi:10.1002/cpe.1904
Block-asynchronous Multigrid Smoothers for GPU-accelerated Systems
Anzt, H.; Tomov, S.; Gates, M.; Dongarra, J.; Heuveline, V.
2012. Procedia Computer Science, 9, 7–16. doi:10.1016/j.procs.2012.04.002
Bandwidth-Efficient Parallel Visualization for Mobile Devices
Helfrich-Schkarbanenko, A.; Heuveline, V.; Reiner, R.; Ritterbusch, S.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000032845VolltextVolltext der Publikation als PDF-Dokument
Scalability Study of HiFlow3 based on a Fluid Flow Channel Benchmark
Heuveline, V.; Ketelaer, E.; Ronnas, S.; Schmidtobreick, M.; Wlotzka, M.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000032843VolltextVolltext der Publikation als PDF-Dokument
A unified Energy Footprint for Simulation Software
Anzt, H.; Beglarian, A.; Chilingaryan, S.; Ferrone, A.; Heuveline, V.; Kopmann, A.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000032842VolltextVolltext der Publikation als PDF-Dokument
Parallel Smoothers for Matrix-based Multigrid Methods on Locally Refined Meshes Using Multicore CPUs and GPUs
Heuveline, V.; Lukarski, D.; Trost, N.; Weiss, J.-P.
2012. Facing the multicore-challenge II. Ed.: R. Keller, 158–171, Springer-Verlag 
Calibration of Human Cardiac Ion Current Models to Patch Clamp Measurement Data
Wilhelms, M.; Schmid, J.; Krause, M. J.; Konrad, N.; Maier, J.; Scholz, E. P.; Heuveline, V.; Dössel, O.; Seemann, G.
2012. Computing in Cardiology, 39, 229–232 
Interpolatory Weighted-H2 Model Reduction
Anic, B.; Beattie, C. A.; Gugercin, S.; Antoulas, A. C.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000028332VolltextVolltext der Publikation als PDF-Dokument
2011
Mathematik
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2011. Spektrum Akademischer Verlag 
Direct and Inverse Medium Scattering in a Three-Dimensional Homogeneous Planar Waveguide
Arens, T.; Gintides, D.; Lechleiter, A.
2011. SIAM Journal on Applied Mathematics, 71 (3), 753–772. doi:10.1137/100806333
Lie splitting on polygonal domains
Ostermann, A.; Schratz, K.; Spielberger, G.
2011. Proceedings in applied mathematics and mechanics, 11 (1), 787–788. doi:10.1002/pamm.201110382
On Reduced Models for the Chemical Master Equation
Jahnke, T.
2011. Multiscale Modeling and Simulation, 9 (4), 1646–1676. doi:10.1137/110821500
Calculation of the photonic band structure
Wieners, C.
2011. Photonic crystals : mathematical analysis and numerical approximation. Ed.: W. Dörfler, 40–62, Birkhäuser Verlag 
On the superlinear convergence in computational elasto-plasticity
Sauter, M.; Wieners, C.
2011. Computer Methods in Applied Mechanics and Engineering, 200 (49-52), 3646–3658. doi:10.1016/j.cma.2011.08.011
A primal-dual finite element approximation for a nonlocal model in plasticity
Wieners, C.; Wohlmuth, B.
2011. SIAM journal on numerical analysis, 49 (2), 692–710. doi:10.1137/100789397
Stokesian dynamics and the settling behaviour of particle-fibre-mixtures
Feist, M.; Keller, F.; Nirschl, H.; Dörfler, W.
2011. The Canadian Journal of Chemical Engineering, 89 (4), 682–690 
Optimization of Power Consumption in the Iterative Solution of Sparse Linear Systems on Graphics Processors
Anzt, H.; Castillo, M.; Fernandez, J. C.; Heuveline, V.; Igual, F. D.; Mayo, R.; Quintana-Orti, E. S.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023439VolltextVolltext der Publikation als PDF-Dokument
Power Consumption of Mixed Precision in the Iterative Solution of Sparse Linear Systems
Anzt, H.; Castillo, M.; Fernández, J. C.; Heuveline, V.; Mayo, R.; Quintana-Orti, E. S.; Rocker, B.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021648VolltextVolltext der Publikation als PDF-Dokument
2010
Arbeitsbuch Mathematik: Aufgaben, Hinweise, Lösungen und Lösungswege
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2010. Spektrum Akademischer Verlag 
Ergänzungen und Vertiefungen zu Mathematik
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2010. Spektrum Akademischer Verlag 
The Proapoptotic Influenza A Virus Protein PB1-F2 Forms a Nonselective Ion Channel
Henkel, M.; Mitzner, D.; Henklein, P.; Meyer-Almes, F.-J.; Moroni, A.; Di Francesco, M. L.; Henkes, L. M.; Kreim, M.; Kast, S. M.; Schubert, U.; Thiel, G.
2010. PLoS ONE, 5 (6), e11112/1–11. doi:10.1371/journal.pone.0011112
Solving chemical master equations by adaptive wavelet compression
Jahnke, T.; Udrescu, T.
2010. Journal of Computational Physics, 229 (16), 5724–5741. doi:10.1016/j.jcp.2010.04.015
An Adaptive Wavelet Method for the Chemical Master Equation
Jahnke, T.
2010. SIAM Journal on Scientific Computing, 31 (6), 4373–4394. doi:10.1137/080742324
Robust estimates for the approximation of the dynamic consolidation problem
Sauter, M.; Wieners, C.
2010. International journal for numerical methods in fluids, 30 (3), 832–856. doi:10.1093/imanum/drn080
HiFlow3 - A Flexible and Hardware- Aware Parallel Finite Element Package
Anzt, H.; Augustin, W.; Baumann, M.; Bockelmann, H.; Gengenbach, T.; Hahn, T.; Heuveline, V.; Ketelaer, E.; Lukarski, D.; Otzen, A.; Ritterbusch, S.; Rocker, B.; Ronnas, S.; Schick, M.; Subramanian, C.; Weiss, J.-P.; Wilhelm, F.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000020940VolltextVolltext der Publikation als PDF-Dokument
2009
Mathematik Zum Mitnehmen: Zusammenfassungen und Übersichten
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2009. Spektrum Akademischer Verlag 
MUSIC for Extended Scatterers as an Instance of the Factorization Method
Arens, T.; Lechleiter, A.; Luke, D. R.
2009. SIAM Journal on Applied Mathematics, 70 (4), 1283–1304. doi:10.1137/080737836
Model Development for the Viral Kcv Potassium Channel
Tayefeh, S.; Kloss, T.; Kreim, M.; Gebhardt, M.; Baumeister, D.; Hertel, B.; Richter, C.; Schwalbe, H.; Moroni, A.; Thiel, G.; Kast, S. M.
2009. Biophysical Journal, 96 (2), 485–498. doi:10.1016/j.bpj.2008.09.050
Chlorella virus ATCV-1 encodes a functional potassium channel of 82 amino acids
Gazzarrini, S.; Kang, M.; Abenavoli, A.; Romani, G.; Olivari, C.; Gaslini, D.; Ferrara, G.; Van Etten, J. L.; Kreim, M.; Kast, S. M.; Thiel, G.; Moroni, A.
2009. Biochemical Journal, 420 (2), 295–303. doi:10.1042/BJ20090095
Towards effective dynamics in complex systems by Markov kernel approximation
Schütte, C.; Jahnke, T.
2009. Mathematical Modelling and Numerical Analysis, 43 (4), 721–742. doi:10.1051/m2an/2009027
Verified numerical computation for nonlinear equations
Alefeld, G.
2009. Japan Journal of Industrial and Applied Mathematics, 26 (2-3), 297–315. doi:10.1007/BF03186536
Exponential Rosenbrock-type methods
Hochbruck, M.; Ostermann, A.; Schweitzer, J.
2009. SIAM Journal on Numerical Analysis, 47 (1), 786–803. doi:10.1137/080717717VolltextVolltext der Publikation als PDF-Dokument
Regularization of nonlinear ill-posed problems by exponential integrators
Hochbruck, M.; Hönig, M.; Ostermann, A.
2009. ESAIM: Mathematical Modelling and Numerical Analysis, 43 (4), 709–720. doi:10.1051/m2an/2009021VolltextVolltext der Publikation als PDF-Dokument
New Criteria for the Feasibility of the Cholesky Method with Interval Data
Alefeld, G.; Mayer, G.
2009. SIAM Journal on Matrix Analysis and Applications, 30 (4), 1392–1405 
Lattice Boltzmann methods on the ClearSpeed TM Advance accelerator board
Heuveline, V.; Weiß, J.-P.
2009. The European Physical Journal - Special Topics, 171 (1), 31–36 
Natural convection between two horizontal coaxial cylinders
Passerini, A.; Ruzicka, M.; Thäter, G.
2009. ZAMM - Zeitschrift fur Angewandte Mathematik und Mechanik, 89 (5), 399–413 
Performance of a Stream Processing Model on the Cell BE NUMA Architecture Applied to a 3D Conjugate Gradient Poisson Solver
Heuveline, V.; Lukarski, D.; Weiß, J.
2009. International Journal of Computational Science, 3 (5), 473–490 
Scalable Numerical Tools for Flow and Pressure Drop Computation in Fibrous Filter Media
Strauß, F.; Hoferer, J.; Heuveline, V.; Kasper, G.
2009. Chemical Engineering and Technology, 32 (5), 820–825 
Shape optimization towards stability in constrained hydrodynamic systems
Heuveline, V.; Strauss, F.
2009. Journal of Computational Physics, 228 (4), 938–951 
Towards a hybrid parallelization of lattice Boltzmann methods
Heuveline, V.; Krause, M. J.; Latt, J.
2009. Computers and Mathematics with Applications, 58 (5), 1071 
Adaptive finite elements methods
Dörfler, W.
2009. Numerical Methods for Nonlinear Elliptic Differential Equations. Ed.: K. Böhmer, 417–452, Oxford University Press (OUP) 
A computer-assisted proof for photonic band gaps
Hoang, V.; Plum, M.; Wieners, C.
2009. Zeitschrift für angewandte Mathematik und Physik, 60 (6), 1035–1052. doi:10.1007/s00033-008-8021-2
Numerical approximation of incremental infinitesimal gradient plasticity
Neff, P.; Sydow, A.; Wieners, C.
2009. International Journal for Numerical Methods in Engineering, 77 (3), 414–436 
A Second-Order Pruning Step for Verified Global Optimization
Schnurr, M.
2009. Journal of global optimization, 44 (3), 349–374 
2008
Ergänzungen und Vertiefungen zu Mathematik
Arens, T.; Hettlich, F.; Karpfinger, C.; Kockelkorn, U.; Lichtenegger, K.; Stachel, H.
2008. Spektrum Akademischer Verlag 
Numerical results for an elasto-plastic Cosserat model with more than one million dof in 3D
Müller, W.; Neff, P.; Wieners, C.
2008. PAMM - Proceedings in applied mathematics and mechanics, 8 (1), 10557–10558 
A dynamical low-rank approach to the chemical master equation
Jahnke, T.; Huisinga, W.; Wulkow, M.
2008. Bulletin of Mathematical Biology, 70 (8), 2283–2302 
Adaptive Discrete Galerkin Methods Applied to the Chemical Master Equation
Huisinga, W.; Deuflhard, P.; Jahnke, T.; Wulkow, M.
2008. SIAM journal on scientific computing, 30 (6), 2990–3011 
Existence and Approximation Results for Shape Optimization Problems in Rotordynamics
Strauss, F.; Heuveline, V.; Schweizer, B.
2008. Numerische Mathematik, 109 (2), 313–332 
High Performance computing and discrete dislocation dynamics: Plasticity of micrometer sized specimens
Weygand, D.; Senger, J.; Motz, C.; Augustin, W.; Heuveline, V.; Gumbsch, P.
2008. High Performance Computing in Science and Engineering ’08. Ed.: W.E. Nagel, 507–523, Springer-Verlag 
Multiobjective optimization in hydrodynamic stability control
Strauss, F.; Désidéri, J.-A.; Duvigneau, R.; Heuveline V.
2008. INRIA 
Natural convection in horizontal annuli: A lower bound for the energy
Ferrario, C.; Passerini, A.; Thäter, G.; Heuveline, V.
2008. Journal of engineering mathematics, 62, 247–259 
Three-phase Boundary Lenght in Solid-Oxide Fuel Cells: A mathematical Model
Janardhanan, V. M.; Heuveline, V.; Deutschmann, O.
2008. Journal of Power Sources, 178, 368–372 
The Automatic Computation of Second-Order Slope Tuples for Some Nonsmooth Functions
Schnurr, M.
2008. Electronic transactions on numerical analysis : ETNA, 30, 203–223 
Computing Slope Enclosures by Exploiting a Unique Point of Inflection
Schnurr, M.
2008. Applied mathematics and computation, 208, 246–256 
Slope enclosures for functions given by two or more branches
Schnurr, M.; Ratz, D.
2008. BIT : numerical mathematics, 48 (4), 783–797 
Shape from specular reflections and optical flow
Rieder, A.; Lellman, J.; Balzer J.; Beyerer, J.
2008. International Journal of Computer Vision, 80 (2), 226–241 VolltextVolltext der Publikation als PDF-Dokument
Multi-symplectic Birkhoffian structure for PDEs with dissipation terms
Su, H.; Qin, M.-Z.; Wang, Y.; Scherer, R.
2008. Universität Karlsruhe (TH) 
RapidMind Stream Processing on the PlayStation 3 for a 3D Chorin-based Navier-Stokes Solver
Heuveline, V.; Lukarski, D.; Weiß, J.-P.
2008. High-performance and Hardware-aware Computing. Hrsg.: R. Buchty, 31–38, Universitätsverlag Karlsruhe 
2007
A numerical solution method for an infinitesimal elastro-plastic Cosserat model
Neff, P.; Chelminski, K.; Müller, W.; Wieners, C.
2007. Mathematical Models and Methods in Applied Sciences, 17 (8), 1211–1240 
Numerical enclosures for variations inequalities
Wieners, C.; Plum, M.
2007. Computational Methods in Applied Mathematics, 7 (4), 376–388 
A numerical solution method for an inifinitesimal elasto-plastic Cosserat model
Neff, P.; Chelminski, K.; Müller, W.; Wieners, C.
2007. Mathematical Models and Methods in Applied Sciences, 17 (8), 1211–1240 
Nonlinear solution methods for infinitesimal perfect plasticity
Wieners, C.
2007. Zeitschrift für angewandte Mathematik und Mechanik, 87 (8-9), 643–660 
Generator estimation methods for discretely observed Markov jump processes
Metzner, P.; Dittmer, E.; Jahnke, T.; Schütte, C.
2007. Journal of Computational Physics, 227 (1), 353–375 
Solving the chemical master equation for monomolecular reaction systems analytically
Jahnke, T.; Huisinga, W.
2007. Journal of Mathematical Biology, 54 (1), 1–26 
The OpenLB Project: An Open Source and Object Oriented Implementation of Lattice Boltzmann Methods
Heuveline, V.; Latt, J.
2007. International Journal of Modern Physics / C, 18 (4), 627–634 
Performance analysis of a SOFC under direct internal reforming conditions
Janarhanan, V. M.; Heuveline, V.; Deutschmann, O.
2007. Journal of Power Sources, 172, 296–307 
OpenMP Parallelization of the METRAS meteorology model: Application to the America’s Cup
Augustin, W.; Heuveline, V.; Meschkat, G.; Schlünzen, K. H.; Schroeder, G.
2007. High performance computing in science and engineering ’07. Ed.: W.E. Nagel, 547–559, Springer-Verlag 
On the Inf-Sup Condition for Higher Order Mixed FEM on Meshes with Hanging Nodes
Heuveline, V.; Schieweck, F.
2007. Mathematical Modelling and Numerical Analysis, 41 (1), 1–20 
Modeling and optimal control for plates with defects
Marinova, D.; Lukarski, D.; Stavroulakis, G.
2007. Journal of vibration and control, 13 (9-10), 1343–1353 
Lift and Sedimentation of Particles in the Flow of a Viscoelastic Liquid in a Channel
Galdi, G. P.; Heuveline, V.
2007. Free and Moving Boundaries. Ed.: R. Glowinski, 65–95, Chapman & Hall 
Convergence of an Adaptive hp Finite Element Strategy in One Space Dimension
Dörfler, W.; Heuveline, V.
2007. Applied Numerical Mathematics, 57 (10), 1108–1124 
Wie erklärt man ein Nash-Gleichgewicht
Schäfer, U.
2007. Elemente der Mathematik, 62 (1), 1–7 
On computer-assisted proofs for solutions of linear complementarity problems
Schäfer, U.
2007. Journal of computational and applied mathematics, 199 (1), 257–262 
On Tamir’s algorithm for solving the nonlinear complementarity problem
Schäfer, U.
2007. PAMM - Proceedings in applied mathematics and mechanics, 7 (1), 2060057–2060058 VolltextVolltext der Publikation als PDF-Dokument
On Taylor model based integration of ODEs
Neher, M.
2007. SIAM Journal on Numerical Analysis, 45, 236–262 
Verified integration of linear th order ODEs using large steps
Neher, M.
2007. Applied Mathematics and Computation, 186, 879–890 
A note on a sum associated with the generalized hypergeometric function
Neher, M.
2007. Applied Mathematics and Computation, 187, 1527–1534 
Analysis of the blunting anti-wrapping strategy
Neher, M.
2007. PAMM - Proceedings in applied mathematics and mechanics, 7, 1022901–1022902 
Complementarity Problems: An Overview on Existing Verification Procedures
Alefeld, G.
2007. Some Topics in Industrial and Applied Mathematics. Ed.: R. Jeltsch, 29–42, Higher Education Press 
Tangential cone conditon for electrical impedance tomography
Rieder, A.; Lechleiter, A.
2007. Oberwolfach Reports, 4 (1), 719–721 
Semi-Fredholm solvability of 3+1-D Protter problems
Popivanov, N.; Popov, T.; Scherer, R.
2007. Universität Karlsruhe (TH) 
2006
Multigrid Methods on Adaptively Refined Grids
Bastian, P.; Wieners, C.
2006. Computing in Science & Engineering, 8 (6), 44–54. doi:10.1109/MCSE.2006.116
Numerical Integrators for Highly Oscillatory Hamiltonian Systems: A Review
Cohen, D.; Jahnke, T.; Lorenz, K.; Lubich, C.
2006. Analysis, Modeling and Simulation of Multiscale Problems. Ed.: A. Mielke, 553–576, Springer-Verlag. doi:10.1007/3-540-35657-6_20
Hardware Support for Interval Arithmetic
Kirchner, R.; Kulisch, U. W.
2006. Reliable Computing, 12 (3), 225–237. doi:10.1007/s11155-006-7220-9
Exponential integrators of Rosenbrock-type
Hochbruck, M.; Ostermann, A.; Schweitzer, J.
2006. Differential-Algebraic Equations. Hrsg.: S.L. Campbell, 1107–1110, Oberwolfach VolltextVolltext der Publikation als PDF-Dokument
Numerical solution of nonlinear wave equations in stratified dispersive media
Karle, C.; Schweitzer, J.; Hochbruck, M.; Laedke, E. W.; Spatschek, K. H.
2006. Journal of Computational Physics, 216 (1), 138–152. doi:10.1016/j.jcp.2005.11.024VolltextVolltext der Publikation als PDF-Dokument
Exponential integrators for highly oscillatory differential equations
Grimm, V.; Hochbruck, M.
2006. Oberwolfach Reports, 3 (1), 868–869 
The unique square root of a positive semidefinite matrix
Koeber, M.; Schäfer, U.
2006. International journal of mathematical education in science and technology, 37 (8), 990–992 
A fixed-point theorem in infinite-dimensional spaces
Schäfer, U.
2006. PAMM - Proceedings in applied mathematics and mechanics, 6 (1), 655–656 VolltextVolltext der Publikation als PDF-Dokument
A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data
Schäfer, U.; Schnurr, M.
2006. Journal of Industrial and Management Optimization, 2 (4), 425–434 
Some Supplements Concerning Automatic Slope Enclosures
Schnurr, M.
2006. PAMM - Proceedings in applied mathematics and mechanics, 6 (1), 691–692 
Implementation of highly accurate complex inclusion functions in the CoStLy library
Neher, M.
2006. PAMM - Proceedings in applied mathematics and mechanics, 6, 687–688 
Optimality of the fully discrete filtered backprojection algorithm in 2D
Rieder, A.; Schneck, A.
2006. Mathematical Methods in Tomography. Organized by A.K. Louis, 2102–2104, Oberwolfach VolltextVolltext der Publikation als PDF-Dokument
Optimality of the fully discrete filtered backprojection algorithm in 2D
Rieder, A.; Schneck, A.
2006. Oberwolfach Reports, 3 (3), 2101 - 2104 
Numerical treatment of fractional heat equations
Scherer, R.; Kalla, S. L.; Boyadjiev, L.; Al-Saqabi, B.
2006. Universität Karlsruhe (TH) 
Operator splitting approach applied to oscillatory flow and heat transfer in a tube
Widura, R.; Lehn, M.; Muralidhar, K.; Scherer, R.
2006. Universität Karlsruhe (TH) 
2005
Distributed Point Objects. A New Concept for Parallel Finite Elements
Wieners, C.
2005. Domain Decomposition Methods in Science and Engineering. Ed.: T.J. Barth, 175–182, Springer-Verlag. doi:10.1007/3-540-26825-1_14
Parallel Solution Methods for Porous Media Models in Biomechanics
Wieners, C.; Ehlers, W.; Ammann, M.; Karajan, N.; Markert, B.
2005. Proceedings in Applied Mathematics and Mechanics, 5 (1), 35–38. doi:10.1002/pamm.200510010
A comparison of some existence tests
Schäfer, U.; Schnurr, M.
2005. PAMM - Proceedings in applied mathematics and mechanics, 5 (1), 715–716 VolltextVolltext der Publikation als PDF-Dokument
Enclosing solutions of singular interval systems iteratively
Alefeld, G.; Mayer, G.
2005. Reliable computing, 11, 165–190 
Optimal coating of laser mirrors for the generation of ultrashort laser pulses
Rieder, A.; Brunk, J.; Morgner, U.
2005. PAMM - Proceedings in applied mathematics and mechanics, 5, 643–644 VolltextVolltext der Publikation als PDF-Dokument
Complex interval functions in C-XSC
Blomquist, F.; Hofschuster, W.; Krämer, W.; Neher, M.
2005. Martin-Luther-Universität Halle-Wittenberg 
Hardware Support for Interval Arithmetic
Kirchner, R.; Kulisch, U. W.
2005. Universität Karlsruhe (TH) 
Enclosures for variational inequalities
Plum, M.; Wieners, C.
2005. Inst. f. Wiss. Rechnen u. Math. Modellbildung 
Constrained H1-interpolation on quadrilateral and hexahedral meshes with hanging nodes
Heuveline, V.; Schieweck, F.
2005. Inst. f. Wiss. Rechnen u. Math. Modellbildung 
2004
A Comparison of the Moore and Miranda Existence Tests
Frommer, A.; Lang, B.; Schnurr, M.
2004. Computing (Wien), 72, 349–354 
A complex mean value form for curves
Neher, M.
2004. Numerical algorithms, 37, 337–343 
CoStLy: A validated library for complex functions
Neher, M.; Eble, I.
2004. PAMM - Proceedings in applied mathematics and mechanics, 4, 594–595 
On Singular Interval Systems
Alefeld, G.; Mayer, G.
2004. Numerical software with result verification. Ed.: R. Alt, 191–197, Springer-Verlag 
On the Existence Theorems of Kantorovich, Miranda and Borsuk
Alefeld, G.; Frommer, A.; Heindl, G.; Mayer, G.
2004. Electronic Transactions on Numerical Analysis, 17, 102–111 
Enclosing solutions of linear complementarity problems for H-matrices
Alefeld, G.; Wang, Z.; Shen, Z.
2004. Reliable computing, 10, 423–435 
An overview on mathematical methods in tomography
Rieder, A.
2004. IRMA, Universite Louis Pasteur, Mai 2004, Strasbourg. Folien, 25 S., Strasbourg VolltextVolltext der Publikation als PDF-Dokument
Libraries, tools, and interactive systems for verified computations: Four case studies
Kearfott, R. B.; Neher, M.; Oishi, S.; Rico, F.
2004. Numerical software with result verification. Hrsg.: R. Alt., 36–63, Springer-Verlag 
Asymptotic expansions of singular solutions for 3+1-D protter problems
Popivanov, N.; Popov, T.; Scherer, R.
2004. Universität Karlsruhe (TH) 
A new subclass of P-matrices
Schäfer, U.
2004. Linear algebra and its applications, 353–364 
Unique solvability of an ordinary free boundary problem
Schäfer, U.
2004. Rocky Mountain journal of mathematics, 34, 341–346 
Structure preserving schemes for Birkhoffian systems
Su, H. L.; Sun, Y. J.; Qin, M.-Z.; Scherer, R.
2004. Universität Karlsruhe (TH) 
Multisympletic and variational integrators
Chen, J.-B.; Qin, M.-Z.; Scherer, R.
2004. Universität Karlsruhe (TH) 
2003
Uniqueness, existence and integral equation formulations for interface scattering problems
Natroshvili, D.; Arens, T.; Chandler-Wilde, S. N.
2003. Memoirs on differential equations and mathematical physics, 30, 105–146 
The application of adaptive parallel multigrid methods to problems in nonlinear solid mechanics
Wieners, C.; Lang, S.; Wittum, G.
2003. Error-controlled Adaptive Finite Elements in Solid Mechanics. Ed.: E. Stein, 347–384, John Wiley and Sons 
Taylor-Hood elements in 3D
Wieners, C.
2003. Analysis and Simulation of Multifield Problems. Ed.: W. Wendland, 189–196, Springer-Verlag. doi:10.1007/978-3-540-36527-3_21
Comparison of models for finite plasticity: A numerical study
Neff, P.; Wieners, C.
2003. Computing and Visualization in Science, 6 (1), 23–35. doi:10.1007/s00791-003-0104-1
An adaptive finite element method for minimal surfaces
Dörfler, W.; Siebert, K. G.
2003. Geometric Analysis and Nonlinear Partial Differential Equations. Ed.: S. Hildebrandt, 74, 147–175, Springer-Verlag 
Improved validated bounds for Taylor coefficients and for Taylor remainder series
Neher, M.
2003. Journal of Computational and Applied Mathematics, 152, 393–404 
Improved validated bounds for Taylor coefficients and for Taylor remainder series
Neher, M.
2003. Journal of Computational and Applied Mathematics, 152, 393–404 
On mean value forms for complex functions
Neher, M.
2003. PAMM - Proceedings in applied mathematics and mechanics, 2, 444–445 
On the solution sets of particular classes of linear interval systems
Alefeld, G.; Kreinovich, V.; Mayer, G.
2003. Journal of computational and applied mathematics, 152, 1–15 
Semi-diskrete inverse Probleme: Die Approximative Inverse
Rieder, A.
2003. AG Inverse Probleme, Juli 2003, Fakultät für Mathematik, Universität Karlsruhe. Folien, 14 S., Universität Karlsruhe (TH) VolltextVolltext der Publikation als PDF-Dokument
The approximate inverse in action II: convergence and stability
Rieder, A.; Schuster, T.
2003. Mathematics of Computation, 72 (243), 1399–1415 
A linear complementarity problem with a P-matrix
Schaefer, U.
2003. Karlsruhe 2003. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universität Karlsruhe. 2003,3.) 
A complex mean value form for curves
Neher, M.
2003. Karlsruhe 2003. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2003,4.) 
On symmetric solution sets
Alefeld, G.; Kreinovich, V.; Mayer, G.
2003. In: Inclusion methods for nonlinear problems. Ed.: J. Herzberger. Wien 2003. S. 1-22. (Computing Supplementum. 16.) 
Adaptive finite elements for minimal surfaces
Doerfler, W.; Siebert, K. G.
2003. In: Geometric analysis and nonlinear partial differential equations. Ed.: S. Hildebrandt. Berlin 2003. S. 147-175 
ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions
Eble, I.; Neher, M.
2003. ACM transactions on mathematical software. ACM TOMS, 29, 263–286 
On the temperature field in oil strata
Boyadjiev, L.; Scherer, R.
2003. Universität Karlsruhe (TH) 
Aspects for a block version of the interval Cholesky algorithm
Schäfer, U.
2003. Journal of computational and applied mathematics, 152 (1), 481–491 
A new subclass of P-matrices
Schäfer, U.
2003. Universität Karlsruhe (TH) 
On the optimal solution of interval linear complementarity problems
Alefeld, G.; Schäfer, U.
2003. PAMM - Proceedings in applied mathematics and mechanics, 3, 509–510 VolltextVolltext der Publikation als PDF-Dokument
Über Blockversionen des Intervall-Cholesky-Verfahrens
Schäfer, U.
2003. PAMM - Proceedings in applied mathematics and mechanics, 2, 495–496 VolltextVolltext der Publikation als PDF-Dokument
Optimal a priori estimates for interface problems
Plum, M.; Wieners, C.
2003. Numerische Mathematik, 95 (4), 735–759. doi:10.1007/s002110200395
2002
Dual error estimates for polygonal approximations of curved boundaries
Wieners, C.
2002. Proceedings in Applied Mathematics and Mechanics, 1 (1), 532–533 
Parallel 3-d simulations for porous media models in soil mechanics
Wieners, C.; Ammann, M.; Diebels, S.; Ehlers, W.
2002. Computational Mechanics, 29 (1), 75–87. doi:10.1007/s00466-002-0327-x
New solutions of the Gelfand problem
Plum, M.; Wieners, C.
2002. Journal of mathematical analysis and applications, 269 (2), 588–606. doi:10.1016/S0022-247X(02)00038-0
Fluid flow with dynamic contact angle: Numerical simulation
Dörfler, W.; Gontcharova, O.; Kröner, D.
2002. Zeitschrift für Angewandte Mathematik und Mechanik, 82 (3), 167–176 
Small data oscillation implies the saturation assumption
Dörfler, W.; Nochetto, R. H.
2002. Numerische Mathematik, 91 (1), 1–12 
On the fractional heat equation
Boyadjiev, L.; Scherer, R.
2002. Karlsruhe 2002. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2002,49.) 
Free vibrations of trusses by Fourier decomposition, and homotopy methods for nonlinear matrix eigenvalue problems
Adams, E.; Plum, M.
2002. Karlsruhe 2002. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2002,7.) 
Small data oscillation implies saturation assumption
Doerfler, W.; Nochetto, R. H.
2002. Numerische Mathematik, 91 (1), 1–12 
Fluid flow with dynamic contact angle: numerical simulation
Doerfler, W.; Gontcharova, O.; Kroener, D.
2002. Zeitschrift für angewandte Mathematik und Mechanik, 82 (3), 167–176 
Two ways to extend the Cholesky decomposition to block matrices with interval entries
Schaefer, U.
2002. Karlsruhe 2002. Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universität Karlsruhe., 2002 (2) 
Bernstein-Szegö-Gauss quadrature with modified weight functions
Boyadjiev, L.; Scherer, R.; Duschek, V.
2002. Karlsruhe 2002. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2002,28.) 
Method of characteristics combined with Runge-Kutta for the numerical solution for an hyperbolic system
Fallah, A.
2002. Karlsruhe 2002. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2002,20.) 
A feasibility result for the block interval Gaussian algorithm
Schäfer, U.
2002. PAMM - Proceedings in applied mathematics and mechanics, 1 (1), 418–419 VolltextVolltext der Publikation als PDF-Dokument
Aspects for a block version of the interval Cholesky algorithm
Schaefer, U.
2002. Karlsruhe 2002. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universität Karlsruhe. 2002,12.) 
Improved bounds for Taylor coefficients of analytic functions
Neher, M.
2002. Proceedings in applied mathematics and mechanics, 1 (1), 450–451 
A generalized theorem of Miranda and the theorem of Newton-Kantorovich
Mayer, J.
2002. Numerical functional analysis and optimization, 23 (3/4), 333–357 
Parallele numerische Verfahren
Alefeld, G.; Lenhardt, I.; Obermaier, H.
2002. Berlin 2002 
Numerical validation of solutions of complementarity problems: the nonlinear case
Alefeld, G.; Chen, X.; Potra, F. A.
2002. Numerische Mathematik, 92, 1–16 
On applications of parallel solution techniques for highly nonlinear problems involving static and dynamic buckling
Rottner, T.; Schweizerhof, K.; Lenhardt, I.; Alefeld, G.
2002. Computers & structures, 80 (18-19), 1523–1536 
Unique solvability of an ordinary free boundary problem
Schaefer, U.
2002. Karlsruhe 2002. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2002,45.) 
Accelerated enclosure methods for ordinary free boundary problems
Schaefer, U.
2002. Karlsruhe 2002. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2002,44.) 
Unicity, existence and estimation of the solution of Saint-Venant equations
Fallah, A.
2002. Karlsruhe 2002. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2002,31.) 
Method of characteristics for a numerical solution for an hyperbolic problem first order in general case
Fallah, A.
2002. Karlsruhe 2002. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2002,30.) 
2001
Acceleration of iteration methods for interval fixed point problems
Rihm, R.
2001. Linear algebra and its applications, 324 (1-3), 189–207 
Predictor-corrector methods for enclosing solutions of ODEs
Rihm, R.
2001. Karlsruhe 2001. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universität Karlsruhe. 2001,2.) 
Numerical simulation of electrical circuits
Guenther, M.; Rentrop, P.
2001. Universität Karlsruhe (TH) 
Expert system for water management
Hachikyan, A.; Scherer, R.; Bojchev, D.; Gotchev, G.
2001. In: Proceedings of the Summer School Applications of Mathematics in Engineering, Sozopol 1999. Ed.: B.I. Chesankov. Sofia : Heron Pr. 2000 
Structural linguistic presentation of river system in GIS
Gotchev, G.; Scherer, R.; Lazarova, M.; Hachikyan, A.
2001. In: Proceedings of the Summer School Applications of Mathematics in Engineering, Sozopol 1999. Ed.: B.I. Chesankov. Sofia : Heron Pr. 2000 
On the Chebyshev polynomials
Boyadjiev, L.; Scherer, R.
2001. Kuwait journal of science and engineering, 28, 227–240 
Rounding near zero
Kulisch, U.
2001. Universität Karlsruhe (TH) 
Ordinary differential equations in Banach lattices
Weigel, H.
2001. Karlsruhe 2001. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2001,17.) 
Quasimonotone extension and initial value problems
Weigel, H.; Weigel, J.
2001. Karlsruhe 2001. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2001,2.) 
Wertebereichsberechnung / Wertebereichseinschließung - ein einfaches Problem?
Neher, M.
2001. In: Computeralgebrasysteme (CAS). Karlsruhe : Fak. f. Math., Univ. Karlsruhe 2001 
Fallen und Grenzen von Computeralgebrasystemen
Lohner, R.
2001. In: Computeralgebrasysteme (CAS). Karlsruhe : Fak. f. Math., Univ. Karlsruhe 2001 
An a-posteriori error estimator for the FEM in nonlinear elastostatics
Schmidt, J. G.
2001. Karlsruhe 2001. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universität Karlsruhe. 2001,7.) 
On the existence theorems of Kantorovich, Moore and Miranda
Alefeld, G.; Potra, F. A.; Shen, Z.
2001. Universität Karlsruhe (TH) 
The linear complementarity problem with interval data
Schaefer, U.
2001. In: Symbolic algebraic methods and verification methods. Ed.: G. Alefeld. Wien 2001. S. 227-234 
Berechenbare Schranken von Taylorkoeffizienten analytischer Funktionen
Neher, M.
2001. Zeitschrift für angewandte Mathematik und Mechanik 81 (2001) H. S3 S. S747-S748 
Geometric series bounds for the local errors of Taylor methods for linear n-th order ODEs
Neher, M.
2001. In: Symbolic algebraic methods and verification methods. Ed.: G. Alefeld. Wien 2001. S. 183-193 
Parameterstudie zur Größe der Wasserdrücke unter Deichen bei Hochwässern
Eble, I.; Gottheil, K.; Kaercher, K.; Neher, M.; Santo, J.; Weinacht, U.
2001. Geotechnik, 24 (3), 201–205 
Symbolic algebraic methods and verification methods
Alefeld, G.; Rohn, J.; Rump, S.; Yamaoto, T. (Hrsg.)
2001. Wien 2001 
Topics in numerical analysis with special emphasis on nonlinear problems
Alefeld, G.; Chen, X. (Hrsg.)
2001. Wien 2001. (Computing Supplementum. 15.) 
On the existence theorem of Kantorovich, Moore and Miranda
Alefeld, G.; Potra, F. A.; Shen, Z.
2001. In: Topics in numerical analysis with special emphasis on nonlinear problems. Ed.: G. Alefeld. Wien 2001. S. 21-28. (Computing Supplementum. 15.) 
Improved validated bounds for Taylor coefficients and for Taylor remainder series
Neher, M.
2001. Karlsruhe 2001. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2001,29.) 
A generalized theorem of Miranda and the theorem of Newton-Kantorovich
Mayer, J.
2001. Karlsruhe 2001. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2001,28.) 
Uniform H1,1-estimates for solutions of the stationary semiconductor device equations in one space dimension
Weiss, J.-P.
2001. Karlsruhe 2001. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2001,27.) 
A topological property of the solution funnel of x’ = f(t,x), x(0) = x0
Weigel, H.
2001. Karlsruhe 2001. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2001,8.) 
2000
Efficient Elasto-Plastic Simulation
Wieners, C.
2000. Multifield Problems - State of the Art. Ed.: A.-M. Sändig, 209–216, Springer-Verlag. doi:10.1007/978-3-662-04015-7_23
Eigenvalue inclusions via domain decompositions
Behnke, H.; Mertins, U.; Plum, M.; Wieners, C.
2000. Proceedings of the Royal Society A : Mathematical, Physical and Engineering Sciences, 456 (2003), 2717–2730. doi:10.1098/rspa.2000.0635
Error Bounds for Exponential Operator Splittings
Jahnke, T.; Lubich, C.
2000. BIT - Numerical Mathematics, 40 (4), 735–744. doi:10.1023/A:1022396519656
Old and new from SOR
Niethammer, W.
2000. Universität Karlsruhe (TH) 
An adaptive finite element method for a linear elliptic equation with variable coefficients
Dörfler, W.; Wilderotter, O.
2000. Zeitschrift für Angewandte Mathematik und Mechanik, 80 (7), 481–491 
A unified convergence theory for the iterative regularization of nonlinear ill-posed problems
Rieder, A.
2000. ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, 80 (Suppl. 1), S245 - S248 
The recognition of antegrade and retrograde atrial activation patterns using hybrid wavelet-neural network schemes
Rieder, A.; Strauß, D.; Jung, J.
2000. Computers in Cardiology 2000, 545–548, Institute of Electrical and Electronics Engineers (IEEE) VolltextVolltext der Publikation als PDF-Dokument
Old and new from SOR
Niethammer, W.
2000. Numerical algorithms, 25 (1-4), 263–277 
Verifying the existence of a zero for all elements of a function set
Koeber, M.
2000. Numer. functional anal. and global optimizat. 21 (2000) H. 3/4 S. 471-488 
Mathematik - Basis moderner Technologie
Kirsch, A.; Rentrop, P.
2000. Karlsruhe 2000. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2000,2.) und in: Die Technische Universität an der Schwelle zum 21. Jahrhundert. Hrsg.: H. Kunle. Berlin 2000. S. 169-175 
The state of the WATERMAN project
Hachikyan, A.; Gotchev, G.; Scherer, R.
2000. In: Proceedings of the 25th Summer School "Applications of Mathematics in Engineering", Sozopol 1999. Ed.: B.I. Chesankov. Sofia : Heron Press 2000 
On the Chebyshev polynomials
Boyadjiev, L.; Scherer, R.
2000. Karlsruhe 2000. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2000,29.) 
Validated bounds for Taylor coefficients of analytic functions
Neher, M.
2000. Karlsruhe 2000. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2000,9.) 
Geometric series bounds for the local errors of Taylor methods for linear n-th order ODEs
Neher, M.
2000. Karlsruhe 2000. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 2000,8.) 
Quasimonotone extension and initial value problems
Weigel, H.; Weigel, J.
2000. Arch. d. Math. 75 (2000) S. 227-232 
Interval analysis: theory and applications
Alefeld, G.; Mayer, G.
2000. J. of computational and appl. math. 121 (2000) S. 421-464 
Ludwig Prandtl und die Gesellschaft für Angewandte Mathematik und Mechanik
Alefeld, G.
2000. In: Ludwig Prandtl, ein Führer in der Strömungslehre. Hrsg.: G.E.A. Meier. Braunschweig 2000. S. 293 
1999
Validated bounds for the zeros of Airy functions
Neher, M.
1999. ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 79 (S3), S813-S814 
Multilevel methods based on wavelet decompositions
Rieder, A.
1999. East West Journal of Numerical Mathematics, 2 (4), 313–330 
Krylov subspace methods for structural finite element analysis
Lenhardt, I.; Rottner, T.
1999. Parallel computing 25 (1999) S. 861-875 
Stability of Runge-Kutta methods near asymptotically stable equilibrium points
Scherer, R.; Goertz, P.
1999. In: Proceedings of the 25th Summer School Application of Mathematics in Engineering, Sozopol 1999. Sofia : Heron-Pr. 1999 
A note on the extended convergence of SOR for two-periodic Markov chains
Niethammer, W.
1999. Linear algebra and its appl. 287 (1999) S. 315-322 
Parallelization techniques for numerical modelling
Alefeld, G. E.; Mahrenholtz, O.; Vollmar, R. (Hrsg.)
1999. Parallel computing 25 (1999) H. 7 
Prädiktor-Korrektor-Verfahren mit Lösungseinschließung
Rihm, R.
1999. Z. f. angew. Math. u. Mech. 79 (1999) Suppl. 1 S. 251-254 
An enclosure method for the solution of linear ODEs with polynomial coefficients
Neher, M.
1999. Numerical functional anal. and optimizat. 20 (1999) S. 779-803 
Validated bounds for the zeros of Airy functions
Neher, M.
1999. ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 79 (S3), S813-S814 
A parallel equation solver for problems from structural analysis
Lenhardt, I.
1999. In: Developments in computational mechanics with high performance computing. Ed.: B.H.V. Topping. Edinburgh 1999. S. 87-95 
Parallel preconditioned Krylov subspace methods in structural analysis
Lenhardt, I.
1999. Z. f. angew. Math. u. Mech. 79 (1999) Suppl. 3 S. 799-800 
Inclusion of solutions of Cauchy problems for quasilinear hyperbolic equations
Koeber, M.
1999. In: Hyperbolic problems: theory, numerics, applications. Ed.: M. Fey. Basel 1999. S. 569-578 
Interval arithmetic tools for range approximation and inclusion of zeros
Alefeld, G. E.
1999. In: Error control and adaptivity in scientific computing. Ed.: H. Bulgak. Dordrecht 1999. S. 1-21 
Verification algorithms for generalized singular values
Alefeld, G. E.; Hoffmann, R.; Mayer, G.
1999. Math. Nachr. 1999 S. 5-29 
Numerical validation of solutions of linear complementarity problems
Alefeld, G. E.; Chen, X.; Potra, F. A.
1999. Numer. Math. 83 (1999) S. 1-23 
1998
Computer, Arithmetik und Numerik. Ein Memorandum
Kulisch, U. W.
1998. Überblicke Mathematik. Hrsg.: A. Beutelspacher, 19–54, Vieweg Verlag. doi:10.1007/978-3-322-88925-6_2
A numerical comparison of look-ahead Levinson and Schur algorithms for non-Hermitian Toeplitz systems
Hochbruck, M.
1998. High performance algorithms for structured matrix problems. Ed.: P. Arbenz, 127–148, Nova Science VolltextVolltext der Publikation als PDF-Dokument
Error analysis of Krylov methods in a nutshell
Hochbruck, M.; Lubich, C.
1998. SIAM Journal on Scientific Computing, 19 (2), 695–701. doi:10.1137/S1064827595290450
Adaptive finite elements for exterior domain problems
Dörfler, W.; Bänsch, E.
1998. Numerische Mathematik, 80 (4), 1878–1900 
Impedance reconstruction in an inverse Sturm-Liouville problem with finite data
Neher, M.
1998. ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 78 (S3), S1025-S1026 
Wavelets : theory and applications
Rieder, A.; Louis, A. K.
1998. (P. Maaß, Hrsg.), John Wiley and Sons 
Wavelets : Theorie und Anwendungen
Rieder, A.; Louis, A. K.
1998. (P. Maaß, Hrsg.), Teubner 
A domain embedding method for Dirichlet problems in arbitrary space dimension
Rieder, A.
1998. Mathematical modelling and numerical analysis (M2AN), 32 (4), 405–431 
An enclosure method for the solution of linear ODEs with polynomial coefficients
Neher, M.
1998. Karlsruhe 1998. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 1998,26.) 
Two-level preconditioners for regularized inverse problems I: theory
Hanke, M.; Vogel, C. R.
1998. Karlsruhe 1998. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 1998,17.) 
Numerical differentiation as an example for inverse problems
Hanke, M.; Scherzer, O.
1998. Karlsruhe 1998. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 1998,16.) 
Automatic slope computation and its application in nonsmooth global optimization
Ratz, D.
1998. Aachen 1998. (Berichte aus der Mathematik.) und Fak. f. Mathematik, Habil.-Schr. v. 24.6.1998 
Inverse Toeplitz preconditioners for ill-posed problems
Hanke, M.; Nagy, J. G.
1998. Linear algebra and its appl. 284 (1998) S. 137-156 
Nonstationary iterated Tikhonov regularizations
Groetsch, C. W.; Hanke, M.
1998. J. of optimizat. theory and appl. 98 (1998) S. 37-53 
Gauss-Runge-Kutta-Nyström methods
Burnton, C.; Scherer, R.
1998. BIT 38 (1998) S. 12-21 
Implicit methods for enclosing solutions of ODEs
Rihm, R.
1998. Z. f. angew. Math. u. Mech. 78 (1998) S3 S. S1045-S1046 und J. of univers. comput. sci. 4 (1998) S. 202-209 
Fully parallel nonlinear finite element computations using the pre-conditioned Lanczos method for solving linear equations
Schweizerhof, K.; Rottner, T.; Lenhardt, I.; Alefeld, G.
1998. Advances in computational mechanics with high performance computing. Ed.: B.H.V. Topping, 95–102, Civil-Comp Press 
Markov chains and extended convergence of SOR
Niethammer, W.
1998. Karlsruhe 1998. (Preprint. Fakultät für Mathematik, Universität Karlsruhe. 1998,3.) 
1997
Wavelet-accelerated Tikhonov-Phillips regularization with applications
Rieder, A.; Maaß, P.
1997. Inverse Problems in Medical Imaging and Nondestructive Testing. Ed.: H. W. Engl, 134–159, Springer-Verlag 
On embedding techniques for 2nd-order elliptic problems
Rieder, A.
1997. Computational science for the 21st century. Ed.: M-O. Bristeau, 179–188, John Wiley and Sons 
Wavelet multilevel solvers for linear ill-posed problems stabilized by Tikhonov regularization
Rieder, A.
1997. Multiscale wavelet methods for partial differential equations. Ed.: W. Dahmen, 347–380, Academic Press 
Coarse space orthogonalization for indefinite linear systems of equations arising in geometrically nonlinear elasticity
Schmidt, J. G.; Starke, G.
1997. Karlsruhe 1997. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universität Karlsruhe. 1997,2.) 
PASCAL-XSC. [Russisch]
Klatte, R.; Kulisch, U.; Neaga, M.; Ratz, D.; Ullrich, C.
1997. Moskau 1997 
Enclosing power series solutions of ODEs
Neher, M.
1997. ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 77 (S2), S635-S636 
Inclusion of the inverse of a function in n variables
Koeber, M.
1997. Z. f. angew. Math. u. Mech. 77 (1997) Suppl. 2 S. 591-592 
Strukturmechanische Berechnungen auf Hochleistungsrechnern - iterative und direkte Lösungsverfahren im Vergleich
Alefeld, G.; Lenhardt, I.; Rottner, T.; Schweizerhof, K.
1997. In: Tagungsband zur Statustagung des BMBF, Paralleles Höchstleistungsrechnen und seine Anwendungen, HPSC 97, München 1997. Hrsg.: G. Wolf. Berlin : DLR 1997. S. 107-122 
Nonlinear structural finite element analysis using the preconditioned Lanczos method on serial and parallel computers
Rottner, T.; Lenhardt, I.; Alefeld, G.; Schweizerhof, K.
1997. Direct methods : linear algebra in optimization. Ed.: I. Duff, 759–769, BIT 
Nichtlineare FE-Analysen mit dem Lanczos-Verfahren
Rottner, T.; Lenhardt, I.; Schweizerhof, K.
1997. ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, 77 (S2), 659–660 
On multisplitting methods for band matrices
Alefeld, G.; Lenhardt, I.; Mayer, G.
1997. Numer. Math. 75 (1997) S. 267-292 
On the shape of the symmetric, persymmetric, and skewsymmetric solution set
Alefeld, G.; Kreinovich, V.; Mayer, G.
1997. SIAM j. on matrix anal. and appl. 18 (1997) S. 693-705 
On multilevel preconditioning for weakly indefinite problems
Starke, G.
1997. In: 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, Berlin 1997. Ed.: A. Sydow. Vol. 2. Berlin 1997. S. 557-562 
The remainder term for analytic functions of Gauss-Lobatto quadratures
Schira, T.
1997. J. of comput. and appl. math. 76 (1996) S. 171-193 
Symplectic Runge-Kutta type methods
Scherer, R.
1997. In: Proceedings of the 6th International Colloquium on Numerical Analysis and Computer Science, Plodiv, Bulgaria 1997. S. 101-108 
The fifth floating-point operation for top-performance computers or accumulation of floating-point numbers and products in fixed-point arithmetic
Kulisch, U.
1997. Karlsruhe 1997. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1997,4.) VolltextVolltext der Publikation als PDF-Dokument
Die fünfte Gleitkommaoperation für top-performance Computer oder Akkumulation von Gleitkommazahlen und -produkten in Festkommaarithmetik
Kulisch, U.
1997. Karlsruhe 1997. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1997,3.) VolltextVolltext der Publikation als PDF-Dokument
Sichere und genaue Abschätzung des Approximationsfehlers bei rationalen Approximationen
Kraemer, W.
1997. Karlsruhe 1996. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1996,3.) VolltextVolltext der Publikation als PDF-Dokument
C-XSC: a C++ class library for extended scientific computing
Wiethoff, A.
1997. Karlsruhe 1996. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1996,2.) VolltextVolltext der Publikation als PDF-Dokument
Memorandum über Computer, Arithmetik und Numerik
Kulisch, U.
1997. Karlsruhe 1996. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1996,1.) VolltextVolltext der Publikation als PDF-Dokument
Improving the efficiency of a nonlinear-system-solver using a componentwise Newton method
Herbort, S.; Ratz, D.
1997. Karlsruhe 1997. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1997,2.) VolltextVolltext der Publikation als PDF-Dokument
Praktische Realisierung und Test eines Verifikationsverfahrens zur Lösung globaler Optimierungsprobleme mit Ungleichungsnebenbedingungen
Goos, A.; Ratz, D.
1997. Karlsruhe 1997. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1997,1.) VolltextVolltext der Publikation als PDF-Dokument
Inclusion isotone extended interval arithmetic. A toolbox update
Ratz, D.
1997. Karlsruhe 1996. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1996,5.) VolltextVolltext der Publikation als PDF-Dokument
An optimized interval slope arithmetic and its application
Ratz, D.
1997. Karlsruhe 1996. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1996,4.) VolltextVolltext der Publikation als PDF-Dokument
Eine Fehlerfaktorarithmetik für zuverlässige a priori Fehlerabschätzungen
Kraemer, W.
1997. Karlsruhe 1997. (Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation. 1997,5.) VolltextVolltext der Publikation als PDF-Dokument
Regularizing properties of a truncated Newton-CG algorithm for nonlinear inverse problems
Hanke, M.
1997. Kaiserslautern 1996. (Preprint. Universität Kaiserslautern, Fachbereich Mathematik. 280.) und Numer. funct. anal. and optimizat. 18 (1997) S. 165-183 VolltextVolltext der Publikation als PDF-Dokument
Nonstationary iterated Tikhonov regularization
Hanke, M.; Groetsch, C. W.
1997. Kaiserslautern 1996. (Preprint. Universität Kaiserslautern, Fachbereich Mathematik. 277.) VolltextVolltext der Publikation als PDF-Dokument
Superlinear convergence rates for the Lanczos method applied to elliptic operators
Hanke, M.
1997. Kaiserslautern 1996. (Preprint. Universität Kaiserslautern, Fachbereich Mathematik. 274.) und Numer. Math. 77 (1997) S. 487-499 VolltextVolltext der Publikation als PDF-Dokument
1996
Optimized look-ahead recurrences for adjacent rows in the Padé table
Gutknecht, M. H.; Hochbruck, M.
1996. BIT Numerical Mathematics, 36 (2), 264–286. doi:10.1007/BF01731983
A convergent adaptive algorithm for Poisson’s equation
Dörfler, W.
1996. SIAM Journal on Numerical Analysis, 33 (3), 1106–1124 
Additive and multiplicative Schwarz algorithms for linear ill-posed problems
Rieder, A.
1996. ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, 76 (Suppl. 1), 197–190 
A wavelet multigrid preconditioner for Dirichlet boundary-value problems in general domains
Rieder, A.; Glowinski, R.; Wells Jr., R. O.; Zhou, X.
1996. Mathematical modelling and numerical analysis (M2AN), 30 (6), 711–729 
Eine parallele Implementierung des Lanczos- Verfahrens für lineare Gleichungssysteme der Strukturmechanik
Lenhardt, I.; Rottner, T.
1996. In: Tagungsband zum Workshop "Wissenschaftliches Rechnen in den Ingenieurwissenschaften", 1996. Hrsg.: W. Krämer. Karlsruhe 1996. S. 51-56. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Univ. Karlsruhe. 1996,6.) 
Verwendung der Randelementmethode zur Lösung akustischer Streuprobleme
Giebermann, K.
1996. In: Tagungsband zum Workshop "Wissenschaftliches Rechnen in den Ingenieurwissenschaften", 1996. Hrsg.: W. Krämer. Karlsruhe 1996. S. 12-17. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Univ. Karlsruhe. 1996,6.) 
Ein rechnergestützter Fehlerkalkül mit Anwendung auf ein genaues Tabellenverfahren
Hofschuster, W.; Kraemer, W.
1996. Karlsruhe 1996. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung. 1996,5.) 
Ein Rekonstruktionsverfahren für die elektrische Impedanztomographie
Bruehl, M.; Hanke, M.; Wanzki, H.
1996. Universität Karlsruhe (TH) 
A comparison of several enclosure methods for ODEs
Rihm, R.
1996. In: Numerical analysis, scientific computing, computer analysis. ICIAM/GAMM 95. Hrsg.: G. Alefeld. Berlin 1996. S. 507-508. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 1.) 
Problems in enclosing solutions of ODEs
Rihm, R.
1996. In: Numerical methods and error bounds. Ed.: G. Alefeld. Berlin 1996. S. 297-302. (Mathematical research. 89.) 
An enclosure method for linear ODEs with analytical coefficients
Neher, M.
1996. In: Numerical analysis, scientific computing, computer analysis. ICIAM/GAMM 95. Hrsg.: G. Alefeld. Berlin 1996. S. 489-490. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 1.) 
Inclusion of the inverse of a function in n variables
Koeber, M.
1996. In: Scientific computing and validated numerics. Ed.: G. Alefeld. Berlin 1996. (Mathematical research. 90.) 
Inclusion of solutions of initial value problems for quasilinear hyperbolic equations
Koeber, M.
1996. In: Numerical methods and error bounds. Ed.: G. Alefeld. Berlin 1996. S. 132-137. (Mathematical research. 89.) 
Inclusion of solutions of initial value problems for hyperbolic equations
Koeber, M.
1996. In: Numerical analysis, scientific computing, computer analysis. ICIAM/GAMM 95. Hrsg.: G. Alefeld. Berlin 1996. S. 443-444. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 1.) 
Validating an a priori enclosure using high-order Taylor series
Corliss, G. F.; Rihm, R.
1996. In: Scientific computing and validated numerics. Ed.: G. Alefeld. Berlin 1996. S. 228-238. (Mathematical research. 90.) 
On multisplitting methods for linear systems of equations
Alefeld, G.; Lenhardt, I.; Mayer, G.
1996. In: Numerical analysis, scientific computing, computer analysis. ICIAM/GAMM 95. Hrsg.: G. Alefeld. Berlin 1996. S. 111-114. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 1.) 
On the solution set of symmetric interval systems
Alefeld, G.; Mayer, G.
1996. In: Applied stochastics and optimization. ICIAM/GAMM 95. Ed.: O. Mahrenholtz. Berlin 1996. S. 259-262. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 3.) 
Effective improvements of the interval-Newton-method
Alefeld, G.; Potra, F.; Voelker, W.
1996. In: Scientific computing and validated numerics. Ed.: G. Alefeld. Berlin 1996. (Mathematical research. 90.) 
Symmetric linear systems with perturbated input data
Alefeld, G.; Kreinovich, V.; Mayer, G.
1996. In: Numerical methods and error bounds. Ed.: G. Alefeld. Berlin 1996. (Mathematical research. 89.) 
The shape of the symmetric solution set
Alefeld, G.; Kreinovich, V.; Mayer, G.
1996. In: Applications of interval computations. Ed.: R.B. Kearfott. Dordrecht 1996. (Applied optimization. 3.) 
Nichtlineare FE-Berechnungen unter Einsatz einer parallelen Version des Lanczos- Verfahrens zur Gleichungslösung
Rottner, T.; Lenhardt, I.; Schweizerhof, K.
1996. Paralleles und verteiltes Rechnen. Hrsg.: H. Matthies, 3–8, Shaker Verlag 
Lösung nichtlinearer Gleichungssysteme aus der Strukturmechanik unter Einsatz einer parallelen Version des Lanczos-Algorithmus
Alefeld, G.; Lenhardt, I.; Rottner, T.; Schweizerhof, K.
1996. In: Tagungsband zur Statustagung des BMBF, HPSC 95, Stand und Perspektiven des Parallelen Höchstleistungsrechnens und seiner Anwendungen, Jülich 1995. Hrsg.: G. Wolf. Berlin : DLR 1996. S. 127-138 
First-order system least squares for second-order elliptic problems with discontinuous coefficients
Starke, G.; Manteuffel, T. A.; Mccormick, S.
1996. In: Proceedings of the 7th Copper Mountain Conference on Multigrid Methods. Ed.: N.D. Melson. Hampton, Va. : NASA 1996. S. 519-534 
Multilevel preconditioning for the time-harmonic Maxwell equations
Starke, G.
1996. In: Conference proceedings. 12th Annual Review of Progress in Applied Computational Electromagnetics, The Nav. Postgrad. Sch., Monterey, CA 1996. Vol. 1. S. 630-637 
Multilevel minimal residual methods for nonsymmetric elliptic problems
Starke, G.
1996. Numer. linear algebra with appl. 3 (1996) S. 351-367 
Hamiltonian systems and symplectic integrators
Scherer, R.; Goertz, P.
1996. In: Proceedings of the 2nd World Congress on Nonlinear Analysis, Athens 1996. S. 171-176 
Necessary and sufficient conditions for minimality of linear dynamic systems
Scherer, R.; Serdyukova, S.
1996. Dubna 1996. (Preprint of JINR. E5-96-445.) 
A general framework for regularized evaluation of unstable operators
Hanke, M.; Groetsch, C. W.
1996. J. of math. anal. and appl. 203 (1996) S. 451-463 
A note on conjugate-gradient type methods for indefinite and/or inconsistent linear systems
Fischer, B.; Hanke, M.; Hochbruck, M.
1996. Numer. algorithms 11 (1996) S. 181-187 
Regularization of inverse problems
Engl, H. W.; Hanke, M.; Neubauer, A.
1996. Dordrecht 1996. (Mathematics and its applications. 375.) 
A review of subdivision direction selection in interval methods for global optimization
Csendes, T.; Ratz, D.
1996. In: Numerical analysis, scientific computing, computer analysis. ICIAM / GAMM 95. Ed.: G. Alefeld. Berlin 1996. S. 319-322. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 1.) VolltextVolltext der Publikation als PDF-Dokument
Improved techniques for gap-treating and box-splitting in interval Newton Gauss-Seidel steps for global optimization with validation
Ratz, D.
1996. In: Numerical analysis, scientific computing, computer analysis. ICIAM / GAMM 95. Ed.: G. Alefeld. Berlin 1996. S. 323-326. (Zeitschrift für angewandte Mathematik und Mechanik. 76, Suppl. 1.) VolltextVolltext der Publikation als PDF-Dokument
On branching rules in second-order branch- and-bound methods for global optimization
Ratz, D.
1996. In: Scientific computing and validated numerics. Ed.: G. Alefeld. Berlin 1996. S. 221-227. (Mathematical research. 90.) VolltextVolltext der Publikation als PDF-Dokument
1995
A preconditioned CG-method for wavelet-Galerkin discretizations of elliptic problems
Rieder, A.; Glowinski, R.; Wells Jr., R. O.; Zhou, X.
1995. ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, 75, 683–684 
Die Berechnung von Funktionen und Konstanten in Rechenanlagen
Kraemer, W.
1995. Fak. f. Mathematik, Habil.-Schr. v. 21.4.1993 
Structured sparse matrix-vector multiplication on massively parallel SIMD architectures
Dehn, T.; Eiermann, M.; Giebermann, K.; Sperling, V.
1995. Parallel computing 21 (1995) S. 1867-1894 
First-order system least squares for second-order elliptic problems with discontinuous coefficients
Starke, G.; Manteuffel, T. A.; Mccormick, S.
1995. In: Proceedings of the 7th Copper Mountain Conference on Multigrid Methods, NASA, 1995 
Adaptive k-step iterative methods for nonsymmetric systems of linear equations
Starke, G.; Manteuffel, T. A.; Varga, R. S.
1995. Electron. trans. on numer. anal. 3 (1995) S. 50-65 
Preconditioned Krylov subspace methods for Lyapunov matrix equations
Starke, G.; Hochbruck, M.
1995. SIAM j. on matrix anal. and appl. 16 (1995) S. 156-171 
The minimal error conjugate gradient method is a regularization method
Hanke, M.
1995. Proc. of the Amer. Math. Soc. 123 (1995) S. 3487-3497 
A convergence analysis of the Landweber iteration for nonlinear ill-posed problems
Hanke, M.; Neubauer, A.; Scherzer, O.
1995. Numer. Math. 72 (1995) S. 21-37 
The Landweber iteration for an inverse scattering problem
Hanke, M.; Hettlich, F.; Scherzer, O.
1995. In: Proceedings of the 1995 Design Engineering Technical Conferences. Vol. 3, Pt. C. Ed.: K.W. Wang. New York : Amer. Soc. of Mech. Eng. 1995. S. 909-915 
Regularization of some one-dimensional inverse problems for identification of nonlinear surface phenomena
Hanke, M.; Groetsch, C. W.
1995. In: Proceedings of the 1995 Design Engineering Technical Conferences. Vol. 3, Pt. C. Ed.: K.W. Wang. New York : Amer. Soc. of Mech. Eng. 1995. S. 903-907 
Regularization by projection for unbounded operators arising in inverse problems
Hanke, M.; Groetsch, C. W.
1995. In: Inverse problems and applications to geophysics, industry, medicine and technology. Ed.: D.D. Ang. HoChiMinh City : The HoChiMinh City Math. Soc. 1995. S. 61-70 
Conjugate gradient type methods for ill-posed problems
Hanke, M.
1995. Harlow 1995. (Pitman research notes in mathematics series. 327.) 
On the strange attractor and transverse homoclinic orbits for the Lorenz equations
Spreuer, H.; Adams, E.
1995. J. of math. anal. and appl. 190 (1995) S. 329-360 
Interval methods for initial value problems in ODEs
Rihm, R.
1995. Z. f. angew. Math. u. Mech. 75 (1995) Suppl. 2 S. S433-S434 
Comparison of classical and alternative fluid equations using symmetry methods
Ames, W. F.; Nucci, M. C.; Lauster, M.; Adams, E.; Straub, D.
1995. Z. f. angew. Math. u. Mech. 75 (1995) S. 379-388 
Einschließungsverfahren
Alefeld, G.; Mayer, G.
1995. In: Wissenschaftliches Rechnen - Eine Einführung in das Scientific Computing. Hrsg.: J. Herzberger. Berlin 1995. S. 155-186 
On the symmetric and unsymmetric solution set of interval equations
Alefeld, G.; Mayer, G.
1995. SIAM j. on matrix anal. and appl. 16 (1995) S. 1223-1240 
Algorithm 748: enclosing zeros of continuous functions
Alefeld, G.; Potra, F. A.; Shi, Y.
1995. ACM trans. on math. software 21 (1995) S. 327-344 
Einfluß der Gewichte bei überlappenden Multisplitting-Verfahren für Bandmatrizen
Alefeld, G.; Lenhardt, I.; Mayer, G.
1995. Z. f. angew. Math. u. Mech. 75 (1995) S. S609-S610 
PASCAL. 2. überarb. Aufl
Kaucher, E.; Klatte, R.; Ullrich, C.
1995. Mannheim 1991. (Programmiersprachen im Griff. 2.) (BI-Hochschultaschenbücher. 796.) 
Globale Optimierung mit Ergebnisverifikation
Ratz, D.
1995. In: KfK-Seminarreihe "Aktuelle Forschungsgebiete in der Mathematik". Seminarbeiträge 1994. Hrsg.: C.F. Hugelmann. Karlsruhe 1995. S. 9-35. (Wissenschaftliche Berichte. FZKA. 5560.) VolltextVolltext der Publikation als PDF-Dokument
1994
A wavelet approach to robust multilevel solvers for anisotropic elliptic problems
Rieder, A.; Wells Jr., R. O.; Zhou, X.
1994. Applied and Computational Harmonic Analysis, 1 (4), 355–367 
Verified computing and programs in PASCAL-XSC
Lohner, R. J.
1994. Fak. f. Mathematik, Habil.-Schr. v. 15.6.1994 
A generalization of the positive real lemma
Scherer, R.; Wendler, W.
1994. IEEE trans. on automat. control 39 (1994) S. 882-886 
Complete algebraic characterization of A-stable Runge-Kutta methods
Scherer, R.; Wendler, W.
1994. SIAM j. on numer. anal. 31 (1994) S. 540-551 
Eigenvalue optimization testing stability of Runge-Kutta methods
Müller, M.; Scherer, R.
1994. In: Proceedings. International Symposium Numerical Analysis (ISNA ’92), Charles Univ., Praha 1994. S. 246-255 
A second look at Nemirovskii’s analysis of the conjugate gradient method
Hanke, M.
1994. In: Beiträge zur Angewandten Mathematik und Informatik. Hrsg.: E. Schock. Aachen 1994 
Fast preconditioned conjugate gradient algorithms for Wiener-Hopf integral equations
Gohberg, I.; Koltracht, I.; Hanke, M.
1994. SIAM j. on numer. anal. 31 (1994) S. 429-443 
Reducibility and characterization of symplectic Runge-Kutta methods
Görtz, P.; Scherer, R.
1994. Electron. trans. on numer. anal. 2 (1994) S. 194-204 
Structured sparse matrix-vector multiplication on massively parallel architectures
Dehn, T.; Eiermann, M.; Giebermann, K.; Sperling, V.
1994. Karlsruhe 1994. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung. 1994,2.) 
Subspace orthogonalization for substructuring preconditioners for nonselfadjoint elliptic problems
Starke, G.
1994. Karlsruhe 1993. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung. 1993,8.) 
Über Einschließungsverfahren für gewöhnliche Anfangswertprobleme und ihre Anwendung auf Differentialgleichungen mit unstetiger rechter Seite
Rihm, R.
1994. Karlsruhe 1993. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung. 1993,4.) 
Efficient matrix-vector multiplication on a massively parallel computer: a case study for Theodorsen’s integral equation
Giebermann, K.
1994. In: Tagungsband. 3. ODIN Symposium: Softwareentwicklung für Supercomputer, Karlsruhe 1994. Hrsg.: A. Schreiner. Karlsruhe 1994. S. 151-156 
Interval methods for initial value problems in ODEs
Rihm, R.
1994. In: Topics in validated computations. Ed.: J. Herzberger. Amsterdam 1994. S. 173-208 
Sind chaotische Strukturen in Phasenräumen nichtlinearer DGL zuverlässig nachweisbar?
Adams, E.
1994. In: Chaos und Strukturbildung. Hrsg.: H. Bremer. München : TU 1994. S. 17-33. (Reihe Faktum. 11.) 
A computer aided existence and uniqueness proof for an inverse matrix eigenvalue problem
Alefeld, G.; Mayer, G.
1994. Karlsruhe 1993. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung. 1993,2.) und Interval computations 4 (1994) Nr. 1 
Inclusion methods for systems of nonlinear equations - the interval Newton method and modifications
Alefeld, G.
1994. In: Topics in validated computations. Ed.: J. Herzberger. Amsterdam 1994. S. 7-26 
Über eine Intervallversion des Cholesky-Verfahrens
Alefeld, G.; Mayer, G.
1994. Z. f. angew. Math. u. Mech. 74 (1994) S. T 679-T 681 
The Newton-Kantorovich theorem and the validation of solutions
Alefeld, G.; Gienger, A.; Potra, F.
1994. Z. f. angew. Math. u. Mech. 74 (1994) S. T 678-T 679 
Numerical toolbox for verified computing. Bd. 1. Basic numerical problems
Hammer, R.; Hocks, M.; Kulisch, U.; Ratz, D.
1994. Berlin 1993. (Springer series in computational mathematics. 21.) 
1993
Preface + Introduction
Adams, E.; Kulisch, U.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. ix-x, 1-12. (Mathematics in science and engineering. 189.) 
Stochastische Anregungen von Getriebeschwingungen durch Teilungsabweichungen
Keppler, H.; Adams, E.
1993. Z. f. angew. Math. u. Mech. 73 (1993) S. T80-T83 
On spurious difference solutions of descretizations of nonlinear hyperbolic differential equations
Adams, E.
1993. In: Nonlinear hyperbolic problems. Ed.: A. Donato. Braunschweig 1993. S. 1-9. (Notes on numerical fluid mechanics. 43.) 
Computational chaos may be due to a single local error
Adams, E.; Ames, W. F.; Kuehn, W.; Rufeger, W.; Spreuer, H.
1993. J. of comput. phys. 104 (1993) S. 241-250 
The Cholesky method for interval data
Alefeld, G.; Mayer, G.
1993. Linear algebra and its appl. 194 (1993) S. 161-182 
On enclosing simple roots of nonlinear equations
Alefeld, G.; Potra, F.; Shi, Y.
1993. Math. of comput. 61 (1993) S. 733-744 
FORTRAN-XSC. A portable Fortran 90 module library for accurate and reliable scientific computing
Walter, W. V.
1993. In: Validation numerics. Ed.: R. Albrecht. Wien 1993. S. 265-285. (Computing: Supplementum. 9.) 
On the existence and the verified determination of homoclinic and heteroclinic orbits of the origin for the Lorenz equations
Spreuer, H.; Adams, E.
1993. In: Validation numerics. Ed.: R. Albrecht. Wien 1993. S. 233-246. (Computing: Supplementum. 9.) 
A verified computation of Fourier- representations of solutions for functional equations
Kaucher, E.; Baumhof, C.
1993. In: Validation numerics. Ed.: R. Albrecht. Wien 1993. S. 101-115. (Computing: Supplementum. 9.) 
Two-stage interval iterative methods
Frommer, A.; Mayer, G.
1993. In: Validation numerics. Ed.: R. Albrecht. Wien 1993. S. 45-65. (Computing: Supplementum. 9.) 
Validation numerics. Theory and applications
Albrecht, R.; Alefeld, G.; Stetter, H. J. (Hrsg.)
1993. Wien 1993. (Computing: Supplementum. 9.) 
A note on a perturbation analysis of iterative methods with an application to the SSOR and ADI iterative methods
Varga, R. S.; Niethammer, W.
1993. In: Proceedings. Numerical Mathematics in Theory and Practise, Plzen 1993. Dept. of Math., Univ. of West Bohemia. S. 18-27 
Fields of values and the ADI method for non- normal matrices
Starke, G.
1993. Linear algebra and its appl. 180 (1993) S. 199-218 
Regularization methods for large-scale problems
Hanke, M.; Hansen, P. C.
1993. Surveys on math. for indust. 3 (1993) S. 253- 315 
A Chebyshev-like semiiteration for inconsistent linear systems
Hanke, M.; Hochbruck, M.
1993. Electron. trans. on numer. anal. 1 (1993) S. 89-103 
Iterative solution of underdetermined linear systems by transformation to standard form
Hanke, M.
1993. In: Proceedings. Numerical Mathematics in Theory and Practise, Plzen 1993. Dept. of Math., Univ. of West Bohemia. S 55-63 
The geometry of the set of scaled projections
Hanke, M.; Neumann, M.
1993. Linear algebra and its appl. 190 (1993) S. 137-148 
Preconditioned iterative regularization for ill-posed problems
Hanke, M.; Nagy, J.; Plemmons, R. J.
1993. In: Numerical linear algebra. Ed.: L. Reichel. Berlin 1993, S. 141-163 
Zero and local extreme points of Faber polynomials associated with hypocycloidal domains
Eiermann, M.; Varga, R. S.
1993. Electron. trans. on numer. anal. 1 (1993) S. 49-71 
Optimal semi-iterative methods applied to SOR in the mixed case
Eiermann, M.; Varga, R. S.
1993. In: Numerical linear algebra. Ed.: L. Reichel. Berlin 1993. S. 47-73 
Is the optimal omega best for the SOR iteration method?
Eiermann, M.; Varga, R. S.
1993. Linear algebra and its appl. 182 (1993) S. 257-277 
Fields of values and iterative methods
Eiermann, M.
1993. Linear algebra and its appl. 180 (1993) S. 167-197 
Bibliography on enclosure methods and related topics
Bohlender, G.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 571-608. (Mathematics in science and engineering. 189.) 
A hardware kernel for scientific/engineering computations
Knoefel, A.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 549-570. (Mathematics in science and engineering. 189.) 
The reliability question for discretizations of evolution problems
Adams, E.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 423-526. (Mathematics in science and engineering. 189.) 
Verification of asymptotic stability for interval matrices and applications in control theory
Gross, B.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 357-395. (Mathematics in science and engineering. 189.) 
Multiple-precision computations with result verification
Kraemer, W.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 325-356. (Mathematics in science and engineering. 189.) 
Interval arithmetic in staggered correction format
Lohner, R.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 301-321. (Mathematics in science and engineering. 189.) 
A step size control for Lohner’s enclosure algorithm for ordinary differential equations with initial conditions
Rufeger, W.; Adams, E.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 283-299. (Mathematics in science and engineering. 189.) 
C-XSC. A C++ class library for extended scientific computing
Klatte, R.; Kulisch, U.; Wiethoff, A.; Lawo, C.; Rauch, M.
1993. Berlin 1993 
Numerical integration in two dimensions with automatic result verification
Storck, U.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 187-224. (Mathematics in science and engineering. 189.) 
Computation of interval bounds for Weierstrass’ elliptic function gamma-(z)
Kraemer, W.; Barth, B.
1993. In: Validation numerics. Ed.: R. Albrecht. Wien 1993. S. 147-159. (Computing: Supplementum. 9.) 
Proposal for accurate floating-point vector arithmetic
Bohlender, G.; Cordes, D.; Knoefel, A.; Kulisch, U.; Lohner, R.; Walter, W. V.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 87-102. (Mathematics in science and engineering. 189.) 
C-XSC. A programming environment for verified scientific computing and numerical data processing
Lawo, C.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 71-86. (Mathematics in science and engineering. 189.) 
ACRITH-XSC. A Fortran-like language for verified scientific computing
Walter, W. V.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 45-70. (Mathematics in science and engineering. 189.) 
PASCAL-XSC. New concepts for scientific computation and numerical data processing
Hammer, R.; Neaga, M.; Ratz, D.
1993. In: Scientific computing with automatic result verification. Ed.: E. Adams. Boston 1993. S. 15-44. (Mathematics in science and engineering. 189.) VolltextVolltext der Publikation als PDF-Dokument
1992
Computational and applied mathematics. 1. Algorithms and theory
Brezinski, C.; Kulisch, U. (Hrsg.)
1992. North-Holland Publishing 
PASCAL-XSC - Language Reference with Examples
Kulisch, U.; Klatte, R.; Ratz, D.; Neaga, M.; Ulrich, C.
1992. Springer-Verlag. doi:10.1007/978-3-642-77277-1
Hierarchical bases for elliptic problems
Dörfler, W.
1992. Mathematics of Computation, 58 (198), 513–529 
Numerische Berechnung von Schranken fuer Pi
Kraemer, W.
1992. Jb. Ueberblicke Math. 1993 (1992) S. 57-72 
Evaluation of polynomials in several variables with high accuracy
Kraemer, W.
1992. In: Computer arithmetic, scientific computation and mathematical modelling. Ed.: E. Kaucher. Basel 1991. S. 239-249. (IMACS annals on computing and applied mathematics. 12.) 
Verified solution of eigenvalue problems with sparse matrices
Kraemer, W.
1992. In: Proceedings. 13th World Congress on Computation and Applied Mathematics, IMACS ’91, Dublin 1991. S. 32-33. und In: Computational and applied mathematics I. Algorithms and theory. Ed.: C. Brezinsky. Amsterdam 1992. S. 1-11 
Genaue Berechnung von komplexen Polynomen in mehreren Variablen
Kraemer, W.
1992. Wiss. Z. d. Tech. Hochsch. Leipz. 15 (1991) S. 401-407 
Computation of verified bounds for elliptic integrals
Kraemer, W.
1992. In: Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany 1991. Ed.: L. Atanassova. Amsterdam 1992 
Enclosing solutions with switching points in ordinary differential equations
Rihm, R.
1992. In: Computer arithmetic and enclosure methods. Ed.: L. Atanassova. Amsterdam 1992 
Inclusion of eigenvalues and eigenfunctions of the Sturm-Liouville problem
Neher, M.
1992. Computer arithmetic and enclosure methods. Ed.: L. Atanassova, 401–408, North-Holland Publishing VolltextVolltext der Publikation als PDF-Dokument
Enclosure for eigenvalues and eigenvectors
Mayer, G.
1992. In: Computer arithmetic and enclosure methods. Ed.: L. Atanassova. Amsterdam 1992 
How reliable are traditional numerical methods for the determination of orbits concerning strange attractors?
Adams, E.; Spreuer, H.
1992. In: Nonlinear dynamics: attractor approximation and global behavior. ISAM ’92, Gaussig 1992. Ed.: N. Koksch. Dresden 1992. S. 1-25 
Wenn Zahnraeder schwingen
Adams, E.
1992. Forsch. u. Konstr. 98 (1992) H. 8 S. 48-52 
Optimal numerical algorithms
Ames, W. F.; Postell, F. V.; Adams, E.
1992. Appl. numer. math. 10 (1992) S. 235-259 
PASCAL-XSC: from accurate expressions to the accurate evaluation of program parts
Hammer, R.
1992. In: Computer arithmetic and enclosure methods. Ed.: L. Atanassova. Amsterdam 1992 
PASCAL-XSC. Language reference with examples
Klatte, R.; Kulisch, U.; Neaga, M.; Ratz, D.; Ullrich, C.
1992. Berlin 1992 
PASCAL-XSC - a new language for scientific computing. [in Russian]
Hammer, R.; Neaga, M.; Ratz, D.; Shiriaev, D.
1992. Interval comput. 2 (1991) 
Numerical programming in ACRITH-XSC and in Fortran 90
Walter, W. V.
1992. In: Computer arithmetic and enclosure methods. Ed.: L. Atanassova. Amsterdam 1992 
Some numerical aspects of ACRITH-XSC and Fortran 90
Walter, W. V.
1992. In: Proceedings. SHARE Europe Anniversary Meeting, Amsterdam 1991. Vol. 2. S. 651-655 
A comparison of the numerical facilities of FORTRAN-SC and Fortran 90
Walter, W. V.
1992. In: Proceedings. 13th IMACS World Congress on Computation and Applied Mathematics (IMACS ’91), Dublin 1991. Vol. 1. S. 30-31 
Semantics for exact floating point operations
Bohlender, G.; Kornerup, P.; Matula, D. W.; Walter, W. V.
1992. In: Proceedings. 10th IEEE Symposium on Computer Arithmetic (ARITH 10), Grenoble, France 1991. Ed.: P. Kornerup. Los Alamitos, Calif. 1991. S. 22-26 
Experiments with Krylov subspace methods on a massively parallel computer
Hanke, M.; Hochbruck, M.; Niethammer, W.
1992. Zuerich 1992. (IPS research report. No. 92-16.) 
SOR-like methods for Lyapunov matrix equations
Starke, G.
1992. In: Iterative methods in linear algebra. Ed.: R. Beauwens. Amsterdam 1992. S. 233-240 
Algebraic conditions for A-stable Runge-Kutta methods
Scherer, R.; Mueller, M.
1992. In: Computational ordinary differential equations. Ed.: J.R. Cash. Oxford 1992. S. 1-7 
Preconditioned iterative regularization for ill-posed problems
Hanke, M.; Nagy, J.; Plemmons, R. J.
1992. Minneapolis, Minn. 1992. (IMA preprint series. 1924.) 
Regularization with differential operators: an iterative approach
Hanke, M.
1992. Numer. funct. anal. and optimizat. 13 (1992) S. 523-540 
Acceleration of relaxation methods for non- Hermitian linear systems
Eiermann, M.; Niethammer, W.; Varga, R.
1992. SIAM j. on matrix anal. and appl. 13 (1992) S. 979-991 
Symmetric versus non-symmetric matrix techniques: implementations of two Galerkin- FE/CG-like approaches for the advection- dispersion equation
Daniels, H.; Eiermann, M.; Peters, A.
1992. In: Applications of supercomputers in engineering II. Ed.: C.A. Brebbia. London 1992. S. 387-401 
An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation
Ratz, D.
1992. In: Computer arithmetic and enclosure methods. Ed.: L. Atanassova. Amsterdam 1992. S. 329-338 VolltextVolltext der Publikation als PDF-Dokument
1991
Old and new aspects for the interval Gaussian algorithm
Mayer, G.
1991. In: Computer arithmetic, scientific computation and mathematical modelling. Ed.: E. Kaucher. Basel 1991. S. 329-349. (IMACS annals on computing and applied mathematics. 12.) 
Computer arithmetic, scientific computation and mathematical modelling
Kaucher, E.; Markov, S. M.; Mayer, G. (Hrsg.)
1991. Basel 1991. (IMACS annals on computing and applied mathematics. 12.) 
Iterationsverfahren fuer lineare Gleichungssysteme auf Parallelrechnern
Frommer, A.; Mayer, G.
1991. Z. f. angew. Math. u. Mech. 71 (1991) S. T 799 - T 801 
On asynchronous iterations in partially ordered spaces
Frommer, A.
1991. Numer. functional analys. and optimization 12 (1991) S. 315-325 
Farbschemata fuer das SOR-Verfahren und Beispiele auf dem Prototypen des TX3
Block, U.; Frommer, A.; Mayer, G.
1991. In: Arbeitspapiere der GMD. Sankt Augustin 1991. 523 
SOR-aehnliche Verfahren auf einem Prototypen des TX3
Block, U.; Frommer, A.; Mayer, G.
1991. In: Arbeitspapiere der GMD. Sankt Augustin 1991. 523 
SOR for AX - XB = C
Starke, G.; Niethammer, W.
1991. Linear algebra and its appl. 154/156 (1991) S. 355-375 
Optimal ADI parameters for nonsymmetric systems of linear equations
Starke, G.
1991. SIAM j. of numer. analys. 28 (1991) S. 1431- 1445 
Radau II A-like methods for stiff problems
Scherer, R.; Scholz, S.
1991. Dresden 1991. (Report. TU Dresden. 07-14-91.) 
On the spectrum of the SOR operator for symmetric positive definite matrices
Hanke, M.; Neumann, M.; Niethammer, W.
1991. Linear algebra and its appl. 154/156 (1991) S. 457-472 
On the acceleration of Kaczmarz’s method for inconsistent linear systems
Hanke, M.; Niethammer, W.
1991. Linear algebra and its appl. 130 (1991) S. 83-98 
A biconjugate gradient type algorithm on massively parallel architectures
Freund, R. W.; Hochbruck, M.
1991. In: Proceedings of the 13th IMACS World Congress on Computation and Applied Mathematics, Dublin 1991 
Computational complexity analysis of two Galerkin-FE/CG-like approaches for the advection-dispersion equation
Eiermann, M.; Peters, A.; Daniels, H.
1991. In: Numerical methods in laminar and turbulent flow VII. Hrsg.: C. Taylor. Swansea 1991. S. 1579-1589 
Gear drive vibrations and verified periodic solutions
Adams, E.
1991. In: Computer arithmetic, scientific computation and mathematical modelling. Ed.: E. Kaucher. Basel 1991. S. 395-416 
Fortran 90 - Was bringt der Fortran- Standard fuer das numerische Programmieren?
Walter, W.
1991. In: Jahrbuch Ueberblicke Mathematik 1991. Hrsg.: S.D. Chatterji. Braunschweig 1991. S. 151-175 
Auswertung von Formeln und Nullstellenbestimmung auf Rechenanlagen
Schumacher, G.
1991. In: Jahrbuch Ueberblicke Mathematik 1991. Hrsg.: S.D. Chatterji. Braunschweig 1991. S. 47-59 
On the use of two QMR algorithms for solving singular systems and applications in Markov chain modeling
Freund, R. W.; Hochbruck, M.
1991. Palo Alto, Cal. 1991. (RIACS Technical report. 91.25.) 
Symmetric versus non-symmetric matrix techniques: a comparative study of two galerkin-FE approaches for the advection-dispersion equation
Peters, A.; Eiermann, M.; Daniels, H.
1991. Heidelberg 1991. (Technischer Bericht. IBM Germany, Heidelberg Scientific Center. TR 75.91.07.) 
Fields of values and iterative methods
Eiermann, M.
1991. Heidelberg 1991. (Technischer Bericht. IBM Germany, Heidelberg Scientific Center. TR 75.91.19.) 
PASCAL-XSC. Sprachbearbeitung mit Beispielen
Klatte, R.; Kulisch, U.; Neaga, M.; Ratz, D.; Ullrich, C.
1991. Springer-Verlag 
1990
Approximationseigenschaften der Wavelet-Transformation
Rieder, A.
1990. ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik, 70 (6), T577 - T578 
A note on the algebraic stability of Runge-Kutta methods
Mueller, M.; Scherer, R.
1990. Z. f. angew. Math. u. Mech. 70 (1990) S. T613 - T614 
On the use of small relaxation parameters in Kaczmarz’s method
Hanke, M.; Niethammer, W.
1990. Z. f. angew. Math. u. Mech. 70 (1990) S. T575 - T576 
On the acceleration of Kaczmarz’s method for inconsistent linear systems
Hanke, M.; Niethammer, W.
1990. Linear algebra and its appl. 130 (1990) S. 83-98 
Preconditionings and splittings for rectangular systems
Hanke, M.; Neumann, M.
1990. Numer. Math. 57 (1990) S. 85-95 
Optimal successive overrelaxation iterative methods for p-cyclic matrices
Eiermann, M.; Niethammer, W.; Ruttan, A.
1990. Numer. Math. 57 (1990) S. 593-606 
Verified computations on supercomputers. Pt. 2. Error control in matrix problems
Schumacher, G.
1990. In: Contributions to computer arithmetic and self-validating numerical methods. Hrsg.: C. Ullrich. Basel 1990. S. 515-521 
Highly accurate evaluation of program parts with applications
Kraemer, W.
1990. In: Contributions to computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. Basel 1990. S. 397-409 
How reliable is the arithmetic of vector computers?
Hammer, R.
1990. In: Contributions to computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. Basel 1990. S. 467-482 
Two methods for the verified inclusion of zeros of complex polynomials
Geoerg, S.
1990. In: Contributions to computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. Basel 1990. S. 229-244 
What do we need beyond IEEE arithmetic?
Bohlender, G.
1990. In: Computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. New York 1990. S. 1-32. (Notes and reports in mathematics in science and engineering. 7.) 
Automated error control on vector computers
Schumacher, G.
1990. In: Proceedings 14th Symposium on Operations Research, Ulm 1989. Hrsg.: U. Rieder. Tl. 1. Koenigstein, Ts 1989. S. 475-479. (Methods of operations research. 62.) 
Fehlerschranken fuer haeufig auftretende Approximationsausdruecke
Kraemer, W.
1990. Z. f. angew. Math. u. Mech. 69 (1989) S. 44- 47 
Theoretische und praktische Ergebnisse zu Multisplitting-Verfahren auf Parallelrechnern
Frommer, A.; Mayer, G.
1990. Z. f. angew. Math. u. Mech. 70 (1990) S. T600 - T602 
Ueber die R-Orndung bei Newton-aehnlichen Iterationsverfahren
Mayer, G.; Frommer, A.
1990. Z. f. angew. Math. u. Mech. 70 (1990) S. T558 - T559 
A multisplitting method for verification and enclosure on a parallel computer
Mayer, G.; Frommer, A.
1990. In: Contributions to computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. Basel 1990. S. 483-497 
Efficient modifications of the interval Newton method
Frommer, A.; Mayer, G.
1990. In: Contributions to computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. Basel 1990. S. 213-227 
Block colouring schemes for the SOR method on parallel computers
Block, U.; Frommer, A.; Mayer, G.
1990. In: 14th Symposium on Operations Research, Ulm 1989. Ed.: U. Rieder. Proc. Frankfurt a. M. 1990. Section 1/8. S. 447-449. (Methods of operations research. 62.) 
Block iterative methods for binary tree computers
Block, U.; Frommer, A.; Mayer, G.
1990. In: 14th Symposium on Operations Research, Ulm 1989. Ed.: U. Rieder. Proc. Frankfurt a. M. 1990. Section 1/8. S. 451-453. (Methods of operations research. 62.) 
Block colouring schemes for the SOR method on local memory parallel computers
Block, U.; Frommer, A.; Mayer, G.
1990. Parallel computing 14 (1990) S. 61-75 
Enclosure methods as applied to linaer periodic ODEs and matrices
Adams, E.; Cordes, D.; Keppler, H.
1990. Z. f. angew. Math. u. Mech. 70 (1990) S. T565 - T578 
Periodic solutions: enclosure, verification, and applications
Adams, E.
1990. In: Computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. San Diego, Calif. 1990. S. 199-245 
Enclosure methods
Alefeld, G.
1990. In: Computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. San Diego, Calif. 1990. S. 55-71 
Programmierpraktikum mit PASCAL-SC
Ratz, D.
1990. Computer-Theoretikum u. -Praktikum f. Physiker 5 (1990) S. 43-68 VolltextVolltext der Publikation als PDF-Dokument
The effects of the arithmetic of vector computers on basic numerical methods
Ratz, D.
1990. In: Contributions to computer arithmetic and self-validating numerical methods. Ed.: C. Ullrich. Basel 1990. S. 499-514. (IMACS annals on computing and applied mathematics. 7.) VolltextVolltext der Publikation als PDF-Dokument
1989
Neues zur algebraischen Stabilitaet der Runge-Kutta-Verfahren
Scherer, R.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 17 
Numerischer Nachweis der Stabilitaet fuer Runge-Kutta-Verfahren
Mueller, M.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 17 
Zur Konvergenzbeschleunigung des Kaczmarz-Verfahrens fuer ueberbestimmte lineare Gleichungssysteme
Hanke, M.; Niethammer, W.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 56 
Berechnung der Gammafunktion gamma(x) fuer reelle Punkt- und Intervallargumente
Kraemer, W.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 20 
Einsatz genauer Nullstellenverfahren bei der Berechnung zweiseitig gekuehlter Halbleiterbauelemente
Wolff von Gudenberg, J.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 43 
FORTRAN 66, 77, 88, - SC ... Ein Vergleich der numerischen Eigenschaften von FORTRAN 88 und FORTRAN-SC
Walter, W.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 20 
Accurate numerical algorithms
Ullrich, C.; Wolff von Gudenberg, J. (Hrsg.)
1989. Berlin 1989. (Research reports ESPRIT. Project 1072, DIAMOND. 1.) 
Solving nonlinear equations with verification of results
Schumacher, G.
1989. In: Accurate numerical algorithms. Hrsg.: C. Ullrich. Berlin 1989. S. 203-234. (Research reports ESPRIT. Project 1072, DIAMOND. 1.) 
Highly accurate numerical algorithms
Schumacher, G.; Wolff von Gudenberg, J.
1989. In: Accurate numerical algorithms. Hrsg.: C. Ullrich. Berlin 1989. S. 1-58. (Research reports ESPRIT. Project 1072, DIAMOND. 1.) 
Modellierung von Getriebeschwingungen mit Hilfe von Einschliessungsverfahren
Schulte, U.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 46 
Eine Erweiterung von PASCAL fuer Anwendungen im technisch-wissenschaftlichen Bereich
Neaga, M.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 20 
Ueber die Entstehung von Wirbelstrassen in Ueberschallstroemungen
Munz, C.-D.; Schmidt, L.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 35 
Neue Techniken zur hochgenauen Auswertung von Programmteilen
Metzger, M.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 20 
Ueber die R-Ordnung bei Newton-aehnlichen Iterationsverfahren
Mayer, G.; Frommer, A.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 44 
Enclosing all eigenvalues of symmetric matrices
Lohner, R.
1989. In: Accurate numerical algorithms. Hrsg.: C. Ullrich. Berlin 1989. S. 87-103. (Research reports ESPRIT. Project 1072, DIAMOND. 1.) 
Einschliessung der singulaeren Werte und Vektoren reeller Matrizen
Lohner, R.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 76 
Zur verifizierten Berechnung quasischwacher Loesungen einer Klasse hyperbolischer nichtlinearer PDG-Systeme
Kaucher, E.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 21 
Verified results for linear systems with sparse matrices
Klein, W.
1989. In: Accurate numerical algorithms. Hrsg.: C. Ullrich. Berlin 1989. S. 137-161. (Research reports ESPRIT. Project 1072, DIAMOND. 1.) 
Self-validating numerical quadrature
Kelch, R.
1989. In: Accurate numerical algorithms. Hrsg.: C. Ullrich. Berlin 1989. S. 162-202. (Research reports ESPRIT. Project 1072, DIAMOND. 1.) 
Solving the complex algebraic eigenvalue problem with verified high accuracy
Gruener, K.
1989. In: Accurate numerical algorithms. Hrsg.: C. Ullrich. Berlin 1989. S. 59-78. (Research reports ESPRIT. Project 1072, DIAMOND. 1.) 
Mehrfachzerlegungen fuer lineare Gleichungssysteme auf einem Parallelrechner
Frommer, A.; Mayer, G.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 73 
Verified inclusion of all roots of a complex polynomial by means of circular arithmetic
Frangen, W.
1989. In: Accurate numerical algorithms. Hrsg.: C. Ullrich. Berlin 1989. S. 116-136. (Research reports ESPRIT. Project 1072, DIAMOND. 1.) 
Computer-Viren auf der Spur. Tl. 2
Fischer, C.; Boerstler, T.
1989. Micro-BIT J. 1 (1989) Nr. 2 S. 27-32 
A-posteriori Fehlerschranken bei der Berechnung inverser Standardfunktionen mit Hilfe des Newton-Verfahren
Braune, K.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 20 
Numerisch gesicherte Aproximation von Leistungsdichtespektren durch vollstaendige Filter
Ammon, D.; Klein, W.
1989. In: Abstracts. Wissenschaftliche Jahrestagung, Karlsruhe 1989. Ges. f. Angew. Math. u. Mech. 1989. Nr. 23 
Methoden zur Loesung von Integral- und Differentialgleichungen
Kaucher, E.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 225-238 
Praktikum "Einschliessung bei Differentialgleichungen"
Lohner, R.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 209-223 
Einschliessungen bei Anfangs- und Randwertaufgaben gewoehnlicher Differentialgleichungen
Lohner, R.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 183-207 
Vom Problem zum Einschliessungsalgorithmus
Cordes, D.; Kraemer, W.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 167-181 
Genaue Auswertung von Polynomen und Ausdruecken
Fischer, H. C.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 155-165 
Spaerlich besetzte Matrizen
Cordes, D.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 129-135 
PASCAL-SC, eine PASCAL-Erweiterung fuer wissenschaftliches Rechnen
Neaga, M.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 69-84 
FORTRAN-SC, eine FORTRAN-Erweiterung fuer wissenschaftliches Rechnen
Metzger, M.; Walter, W.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg. U. Kulisch. Braunschweig 1989. S. 45-67 
Uebersicht ueber neue Programmiersprachen fuer wissenschaftliches Rechnen
Klatte, R.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 29-43 
Zeitgemaesse Rechnerarithmetik
Kulisch, U.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 1-27 
High accurate numerical algorithms
Schumacher, G.; Wolff von Gudenberg, J.
1989. In: Accurate numerical algorithms. Hrsg.: C. Ullrich. Berlin 1989. S. 1-58. (Research reports ESPRIT. 1.) 
Is floating-point arithmetic still adequate?
Bohlender, G.
1989. In: Systems analysis and simulation 1988. Ed.: A. Sydow. Bd. 1. Berlin 1988. S. 105- 108. (Mathematical research. 46.) 
Einschliessung der Loesung von nichtlinearen Gleichungssystemen auf Vektorrechnern
Schumacher, G.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 239-249 
Loesung nichtlinearer Gleichungen mit Verifikation des Ergebnisses
Schumacher, G.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Braunschweig 1989. S. 137-154 
Evaluation of arithmetic expressions with guaranteed high accuracy
Fischer, H. C.; Schumacher, G.; Haggenmueller, R.
1989. Computing, Suppl. 6 (1988) S. 149-158 
New developments in PASCAL-SC
Bohlender, G.; Ullrich, C.; Wolff von Gudenberg, J.
1989. SIGPLAN notices 23 (1989) No. 8 S. 83-92 
PASCAL-SC: a computer language for scientific computation
Bohlender, G.; Rall, L. B.; Ullrich, C.; Wolff von Gudenberg, J.
1989. Orlando 1987. (Perspectives in computing. 17.) 
Practical stability and stochastic point processes
Adams, B.; Adams, E.; Spreuer, H.
1989. In: IMACS Transactions on Scientific Computing. 12th IMACS World Congress, Paris 1988. Ed.: W.F. Ames. Bd. 1. Basel 1988. S. 81-89. (IMACS Annals on Computing and Applied Mathematics. 1.) 
Grundbegriffe der Intervallrechnung
Mayer, G.
1989. In: Wissenschaftliches Rechnen mit Ergebnisverifikation. Hrsg.: U. Kulisch. Berlin 1989. S. 101-117. (Mathematical research. 58.) 
Zur Loesungseinschliessung bei linearen Gleichungssystemen auf einem Parallelrechner
Frommer, A.; Mayer, G.
1989. Z. f. angew. Math. u. Mech. 69 (1989) S. T 102 - T 103 
Lokale Konvergenzaussagen bei nichtlinearen Mehrfachzerlegungen
Frommer, A.
1989. Z. f. angew. Math. u. Mech. 69 (1989) S. T 101 - T 102 
Parallel interval multisplittings
Frommer, A.; Mayer, G.
1989. Numer. Math. 56 (1989) S. 255-267 
Convergence of relaxed parallel multisplitting methods
Frommer, A.; Mayer, G.
1989. Linear algebra and its appl. 119 (1989) S. 141-152 
Parallel nonlinear multisplitting methods
Frommer, A.
1989. Numer. Math. 56 (1989) S. 269-282 
Bounds for spatially nonhomogeneous model Boltzmann energy equations
Herod, J.; Adams, E.; Spreuer, H.
1989. J. of math. analys. and appl. 142 (1989) S. 188-205 
Dynamische Zahnkraefte
Schulte, U.; Koelle, M.; Adams, E.
1989. Z. f. angew. Math. u. Mech. 69 (1989) S. T 350 - T 352 
Algebraic characterization of A-stable Runge-Kutta methods
Scherer, R.; Tuerke, H.
1989. Appl. numer. methods 5 (1989) S. 133-144 
Zur Stabilitaet der Runge-Kutta-Verfahren: 25 Jahre A-Stabilitaet
Scherer, R.
1989. Z. f. angew. Math. u. Mech. 69 (1989) S. T139 - T140 
Relaxation methods for non-Hermitian linear systems
Niethammer, W.; Varga, R. S.
1989. Results in math. 16 (1989) S. 308-320 
The SOR method on parallel computers
Niethammer, W.
1989. Numer. Math. 56 (1989) S. 247-254 
Non-minimal Runge-Kutta methods
Mueller, M.; Scherer, R.
1989. Results in math. 16 (1989) S. 299-307 
On cyclic k-step iterative methods
Hanke, M.
1989. Z. f. angew. Math. u. Mech. 69 (1989) S. T188 - T190 
A detailed look at optimal successive overrelaxation iterative methods for p-cyclic matrices
Eiermann, M.; Niethammer, W.; Ruttan, A.
1989. Karlsruhe 1989. (Technischer Bericht. Institut fuer Praktische Mathematik, Universitaet Karlsruhe.) 
On hybrid semi-iterative methods
Eiermann, M.; Li, X.; Varga, R. S.
1989. SIAM j. on numer. anal. 26 (1989) S. 152-168 
1971
An axiomatic approach to rounded computations
Kulisch, U. W.
1971. Numerische Mathematik, 18, 1–17 
1969
Analogrechnen : eine Einführung
Heinhold, J.; Kulisch, U.
1969. Bibliographisches Institut