| Publication | Date of Publication | Type |
|---|
| An efficient two-grid high-order compact difference scheme with variable-step BDF2 method for the semilinear parabolic equation | 2024-04-15 | Paper |
| A linearlized mass-conservative fourth-order block-centered finite difference method for the semilinear Sobolev equation with variable coefficients | 2024-01-23 | Paper |
| A fractional block-centered finite difference method for two-sided space-fractional diffusion equations on general nonuniform grids and its fast implementation | 2023-12-16 | Paper |
| Analysis and efficient implementation of alternating direction implicit finite volume method for Riesz space‐fractional diffusion equations in two space dimensions | 2023-12-14 | Paper |
| Efficient, linearized high‐order compact difference schemes for nonlinear parabolic equations I: One‐dimensional problem | 2023-12-12 | Paper |
| High order numerical methods based on quadratic spline collocation method and averaged L1 scheme for the variable-order time fractional mobile/immobile diffusion equation | 2023-10-04 | Paper |
| Energy-preserving splitting finite element method for nonlinear stochastic space-fractional wave equations with multiplicative noise | 2023-09-21 | Paper |
| A high-order two-grid difference method for nonlinear time-fractional biharmonic problems and its unconditional \(\alpha\)-robust error estimates | 2023-07-06 | Paper |
| Two linearized second-order block-centered finite difference methods for nonlinear Sobolev equations | 2023-06-22 | Paper |
| An efficient QSC approximation of variable-order time-fractional mobile-immobile diffusion equations with variably diffusive coefficients | 2022-12-13 | Paper |
| An Efficient Second-Order Finite Volume ADI Method for Nonlinear Three-Dimensional Space-Fractional Reaction-Diffusion Equations | 2022-09-21 | Paper |
| Non-polynomial worst-case analysis of recursive programs | 2022-08-12 | Paper |
| Analysis of a Multi-Term Variable-Order Time-Fractional Diffusion Equation and Its Galerkin Finite Element Approximation | 2022-07-20 | Paper |
| Automated recurrence analysis for almost-linear expected-runtime bounds | 2022-07-01 | Paper |
| Well-posedness of fractional differential equations with variable-order Caputo-Fabrizio derivative | 2022-04-07 | Paper |
| Error estimate of finite element approximation for two-sided space-fractional evolution equation with variable coefficient | 2021-11-29 | Paper |
| A two-grid block-centered finite difference method for the nonlinear regularized long wave equation | 2021-11-02 | Paper |
| Efficient spatial second-/fourth-order finite difference ADI methods for multi-dimensional variable-order time-fractional diffusion equations | 2021-09-28 | Paper |
| Efficient second-order ADI difference schemes for three-dimensional Riesz space-fractional diffusion equations | 2021-08-20 | Paper |
| An efficient quadratic finite volume method for variable coefficient Riesz space‐fractional diffusion equations | 2021-07-30 | Paper |
| A Preconditioned Fast Finite Volume Method for Distributed-Order Diffusion Equation and Applications | 2021-04-26 | Paper |
| A mass-conservative characteristic splitting mixed finite element method for convection-dominated Sobolev equation | 2021-03-02 | Paper |
| Termination Analysis of Probabilistic Programs with Martingales | 2021-02-16 | Paper |
| Optimal-order finite element approximations to variable-coefficient two-sided space-fractional advection-reaction-diffusion equations in three space dimensions | 2021-02-15 | Paper |
| A QSC method for fractional subdiffusion equations with fractional boundary conditions and its application in parameters identification | 2021-02-02 | Paper |
| A finite volume method for two-dimensional Riemann-Liouville space-fractional diffusion equation and its efficient implementation | 2021-01-25 | Paper |
| A fast method for variable-order space-fractional diffusion equations | 2021-01-06 | Paper |
| Analysis of a physically-relevant variable-order time-fractional reaction-diffusion model with Mittag-Leffler kernel | 2020-12-03 | Paper |
| Termination of nondeterministic probabilistic programs | 2020-01-23 | Paper |
| Characteristic splitting mixed finite element analysis of compressible wormhole propagation | 2019-11-27 | Paper |
| Stability and convergence analysis of the quadratic spline collocation method for time-dependent fractional diffusion equations | 2019-11-25 | Paper |
| An efficient finite volume method for nonlinear distributed-order space-fractional diffusion equations in three space dimensions | 2019-10-22 | Paper |
| Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems | 2019-09-17 | Paper |
| A preconditioned fast quadratic spline collocation method for two-sided space-fractional partial differential equations | 2019-07-26 | Paper |
| A preconditioned fast parareal finite difference method for space-time fractional partial differential equation | 2019-06-27 | Paper |
| A stabilized mixed finite element method for steady and unsteady reaction-diffusion equations | 2019-06-12 | Paper |
| Stability and convergence of a Crank-Nicolson finite volume method for space fractional diffusion equations | 2019-05-09 | Paper |
| Termination Analysis of Probabilistic Programs Through Positivstellensatz’s | 2019-05-03 | Paper |
| A divide-and-conquer fast finite difference method for space-time fractional partial differential equation | 2019-03-12 | Paper |
| A stabilized mixed finite element approximation of bilinear state optimal control problems | 2018-08-23 | Paper |
| POD/DEIM reduced-order modeling of time-fractional partial differential equations with applications in parameter identification | 2018-03-01 | Paper |
| A stabilized mixed finite element method for elliptic optimal control problems | 2017-08-16 | Paper |
| Erratum to: ``A stabilized mixed finite element method for elliptic optimal control problems | 2017-08-16 | Paper |
| A Priori Error Estimate of Splitting Positive Definite Mixed Finite Element Method for Parabolic Optimal Control Problems | 2017-07-14 | Paper |
| Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata | 2017-05-16 | Paper |
| A preconditioned fast finite difference method for space-time fractional partial differential equations | 2017-04-06 | Paper |
| A mass-conservative characteristic FE scheme for optimal control problems governed by convection-diffusion equations | 2017-01-12 | Paper |
| Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs | 2016-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3187145 | 2016-08-15 | Paper |
| A posteriori error estimates for optimal control problems constrained by convection-diffusion equations | 2016-03-09 | Paper |
| \textit{A priori} error analysis of stabilized mixed finite element method for reaction-diffusion optimal control problems | 2016-02-10 | Paper |
| A new parallel subspace correction method for advection-diffusion equation | 2016-02-09 | Paper |
| A Priori Error Estimates for Least-Squares Mixed Finite Element Approximation of Elliptic Optimal Control Problems | 2015-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3195796 | 2015-10-28 | Paper |
| A splitting positive definite mixed finite element method for elliptic optimal control problem | 2015-01-28 | Paper |
| A posteriori error estimates for continuous interior penalty Galerkin approximation of transient convection diffusion optimal control problems | 2014-12-12 | Paper |
| Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes | 2014-04-16 | Paper |
| Superconvergence of the split least‐squares method for second‐order hyperbolic equations | 2014-01-29 | Paper |
| Two splitting positive definite mixed finite element methods for parabolic integro-differential equations | 2013-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2858620 | 2013-11-19 | Paper |
| A Characteristic Finite Element Method for Constrained Convection-Diffusion-Reaction Optimal Control Problems | 2013-11-19 | Paper |
| Adaptive characteristic finite element approximation of convection–diffusion optimal control problems | 2013-06-13 | Paper |
| Computing Game Metrics on Markov Decision Processes | 2012-11-01 | Paper |
| Parallel characteristic finite element method for time-dependent convection-diffusion problem | 2012-10-08 | Paper |
| Finite Element Approximation of Semilinear Parabolic Optimal Control Problems | 2012-10-05 | Paper |
| Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems | 2012-08-31 | Paper |
| Decidability of Behavioral Equivalences in Process Calculi with Name Scoping | 2012-06-29 | Paper |
| A characteristic-mixed finite element method for time-dependent convection-diffusion optimal control problem | 2012-06-11 | Paper |
| A priorianda posteriorierror estimates for the method of lumped masses for parabolic optimal control problems | 2012-05-23 | Paper |
| Model Checking EGF on Basic Parallel Processes | 2011-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3170597 | 2011-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3074115 | 2011-02-05 | Paper |
| A priori error estimates for optimal control problems governed by transient advection-diffusion equations | 2011-01-16 | Paper |
| A characteristic finite element method for optimal control problems governed by convection-diffusion equations | 2010-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571922 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5453073 | 2008-04-04 | Paper |
