| Publication | Date of Publication | Type |
|---|
| Multiple SLEs and Dyson Brownian motion: transition density and Green's function | 2023-11-12 | Paper |
| Two‐part D‐vine copula models for longitudinal insurance claim data | 2023-04-13 | Paper |
| Incompressible limit of isentropic magnetohydrodynamic equations with ill-prepared data in bounded domains | 2023-04-04 | Paper |
| Random attractor for stochastic non-autonomous Berger equation with critical exponent | 2023-03-23 | Paper |
| On multiplicities of eigenvalues of a spectral problem on a prolate tree | 2023-03-17 | Paper |
| Uniform attractors for nonautonomous 2D MHD equations with partial dissipation | 2023-03-17 | Paper |
| Asymptotic behavior of small-data solutions to a Keller-Segel-Navier-Stokes system with indirect signal production | 2023-02-21 | Paper |
| Integral matching-based nonlinear grey Bernoulli model for forecasting the coal consumption in China | 2022-11-21 | Paper |
| Global classical solutions in a self-consistent chemotaxis-fluid system with gradient-dependent flux limitation | 2022-11-14 | Paper |
| Mechanical decision for a class of integral inequalities | 2022-10-28 | Paper |
| Uncertain seepage equation in fissured porous media | 2022-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101603 | 2022-08-30 | Paper |
| Traveling waves in a SIRH model with spatio-temporal delay and nonlocal dispersal | 2022-07-20 | Paper |
| Robust stochastic Stackelberg differential reinsurance and investment games for an insurer and a reinsurer with delay | 2022-06-03 | Paper |
| Incompressible Limit of Isentropic Navier--Stokes Equations with Ill-Prepared Data in Bounded Domains | 2022-05-23 | Paper |
| Assessment of Regression Models With Discrete Outcomes Using Quasi-Empirical Residual Distribution Functions | 2022-03-29 | Paper |
| Heuristics to sift extraneous factors in Dixon resultants | 2022-03-21 | Paper |
| Dynamics for a plate equation with nonlinear damping on time-dependent space | 2022-03-14 | Paper |
| On unified framework for nonlinear grey system models: an integro-differential equation perspective | 2022-02-16 | Paper |
| Global solutions to a two-species chemotaxis system with singular sensitivity and logistic source | 2022-01-19 | Paper |
| Non-autonomous weakly damped plate model on time-dependent domains | 2022-01-03 | Paper |
| Upper semi-continuity of random attractors and existence of invariant measures for nonlocal stochastic Swift–Hohenberg equation with multiplicative noise | 2021-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3381547 | 2021-09-29 | Paper |
| A sufficient condition for counterexamples to the Nelson-Seiberg theorem | 2021-09-03 | Paper |
| The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations | 2021-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995722 | 2021-07-01 | Paper |
| Direct and inverse spectral problems for a star graph of Stieltjes strings damped at a pendant vertex | 2021-06-30 | Paper |
| Forecasting confirmed cases of the COVID-19 pandemic with a migration-based epidemiological model | 2021-05-03 | Paper |
| Structure properties of collaboration network with tunable clustering | 2021-03-16 | Paper |
| A counterexample to the Nelson-Seiberg theorem | 2021-03-14 | Paper |
| A trajectory planning and tracking control approach for obstacle avoidance of wheeled inverted pendulum vehicles | 2020-11-16 | Paper |
| Nonparametric Estimation of Copula Regression Models With Discrete Outcomes | 2020-10-28 | Paper |
| Understanding cumulative sum operator in grey prediction model with integral matching | 2020-10-23 | Paper |
| On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas | 2020-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5118103 | 2020-09-07 | Paper |
| Inverse problem for a Stieltjes string damped at an interior point | 2020-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114732 | 2020-06-25 | Paper |
| Inverse eigenvalue problems for a damped Stieltjes string with mixed data | 2020-06-02 | Paper |
| Recurrent solutions of a nonautonomous modified Swift-Hohenberg equation | 2020-05-14 | Paper |
| Attractors with higher-order regularity of stochastic reaction–diffusion equations on time-varying domains | 2020-04-01 | Paper |
| Automated hazard escaping trajectory planning/tracking control framework for vehicles subject to tire blowout on expressway | 2020-02-18 | Paper |
| Incompressible limit of non-isentropic compressible magnetohydrodynamic equations with zero magnetic diffusivity in bounded domains | 2019-12-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5236769 | 2019-10-10 | Paper |
| A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry | 2019-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5193760 | 2019-09-20 | Paper |
| Index reduction of differential algebraic equations by differential Dixon resultant | 2019-07-10 | Paper |
| Stochastic semi-linear degenerate parabolic model with multiplicative noise and deterministic non-autonomous forcing | 2019-05-14 | Paper |
| Pullback attractors for 2D Navier-Stokes equations on time-varying domains | 2019-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4624756 | 2019-02-22 | Paper |
| Pair Copula Constructions for Insurance Experience Rating | 2018-10-23 | Paper |
| On Degrees of Freedom Region of Three-User MIMO Interference Channels | 2018-08-22 | Paper |
| Analysis of Orthogonality Error Propagation for FRANS and HFRANS Algorithms | 2018-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4597262 | 2017-12-12 | Paper |
| Long-time behavior of stochastic reaction-diffusion equation with dynamical boundary condition | 2017-06-07 | Paper |
| Elasto-Plastic Bearing Capacity of Four Types of Single-Layer Reticulated Shell Structures Under Fire Hazards | 2017-04-07 | Paper |
| Positive steady states and dynamics for a diffusive predator-prey system with a degeneracy | 2016-10-06 | Paper |
| Automated Inequality Proving and Discovering | 2016-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3461067 | 2016-01-15 | Paper |
| An open problem on metric invariants of tetrahedra | 2015-07-16 | Paper |
| Asymptotic regularity for p-Laplacian equation | 2015-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5498023 | 2015-02-11 | Paper |
| Quantifier elimination for a class of exponential polynomial formulas | 2014-12-09 | Paper |
| On semilinear biharmonic equations with concave-convex nonlinearities involving weight functions | 2014-12-02 | Paper |
| Uniform attractors for non-autonomous suspension bridge-type equations | 2014-11-19 | Paper |
| Nontrivial solutions for a quasilinear elliptic system | 2014-11-07 | Paper |
| On uniform attractors for non-autonomous \(p\)-Laplacian equation with dynamic boundary condition | 2014-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5400343 | 2014-02-28 | Paper |
| Solving Spatial Constraints with Generalized Distance Geometry | 2013-07-29 | Paper |
| Recent advances in program verification through computer algebra | 2013-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4926691 | 2013-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4926737 | 2013-06-20 | Paper |
| Real polynomial iterative roots in the case of nonmonotonicity height \(\geqslant 2\) | 2013-01-28 | Paper |
| Pullback attractors for non-autonomous quasi-linear parabolic equations with dynamical boundary conditions | 2012-10-29 | Paper |
| Differential elimination with Dixon resultants | 2012-09-13 | Paper |
| Discussion on polynomials having polynomial iterative roots | 2012-07-04 | Paper |
| Asymptotic regularity and attractors of the reaction-diffusion equation with nonlinear boundary condition | 2012-06-10 | Paper |
| Computing cylindrical algebraic decomposition via triangular decomposition | 2012-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3109345 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3111724 | 2012-01-13 | Paper |
| Asymptotic behavior for a semilinear second order evolution equation | 2011-12-07 | Paper |
| Long-time behavior of reaction-diffusion equations with dynamical boundary condition | 2011-06-14 | Paper |
| Symbolic decision procedure for termination of linear programs | 2011-05-27 | Paper |
| Attractors of the non-autonomous reaction-diffusion equation with nonlinear boundary condition | 2010-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571253 | 2010-07-08 | Paper |
| Attractors for the nonclassical diffusion equations with fading memory | 2009-12-09 | Paper |
| Automated Deduction in Geometry | 2009-06-04 | Paper |
| Quantifier Elimination for Quartics | 2009-01-15 | Paper |
| Global attractor for plate equation with nonlinear damping | 2009-01-14 | Paper |
| Uniform attractor for non-autonomous hyperbolic equation with critical exponent | 2009-01-14 | Paper |
| Generating Polynomial Invariants with DISCOVERER and QEPCAD | 2008-09-25 | Paper |
| Harnessing rCOS for Tool Support —The CoCoME Experience | 2008-09-25 | Paper |
| Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems | 2008-09-17 | Paper |
| Investigation on gradient-dependent nonlocal constitutive models for elasto-plasticity coupled with damage | 2008-09-01 | Paper |
| GETTING AWAY FROM NUMBERS: USING QUALITATIVE OBSERVATION FOR AGENT-BASED MODELING | 2008-08-26 | Paper |
| A perturbation method for numerical differentiation | 2008-05-16 | Paper |
| Constructing a Tetrahedron with Prescribed Heights and Widths | 2008-04-01 | Paper |
| A class of mechanically decidable problems beyond Tarski's model | 2008-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5446124 | 2008-03-06 | Paper |
| Uniform attractor for non-autonomous plate equation with a localized damping and a critical nonlinearity | 2008-03-05 | Paper |
| Solution to the generalized champagne problem on simultaneous stabilization of linear systems | 2007-12-06 | Paper |
| A complete algorithm for automated discovering of a class of inequality-type theorems | 2007-02-20 | Paper |
| SOLVING SPATIAL CONSTRAINTS WITH GLOBAL DISTANCE COORDINATE SYSTEM | 2007-02-09 | Paper |
| Automated Deduction in Geometry | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718720 | 2006-01-16 | Paper |
| A new result on the \(p\)-irreducibility of binding polynomials | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4810728 | 2004-08-16 | Paper |
| Shift visual cryptography scheme of two secret images. | 2004-01-25 | Paper |
| On number of circles intersected by a line | 2003-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4550812 | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4795855 | 2003-04-06 | Paper |
| An algorithm for isolating the real solutions of semi-algebraic systems | 2003-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790469 | 2003-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779013 | 2003-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752585 | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531854 | 2002-05-23 | Paper |
| A recursive algorithm for constructing generalized Sturm sequence | 2002-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2725961 | 2002-03-27 | Paper |
| ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs. | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234291 | 2001-07-16 | Paper |
| Recent advances on determining the number of real roots of parametric polynomials | 2001-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4486136 | 2000-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946077 | 2000-03-22 | Paper |
| Recent advances in automated theorem proving on inequalities | 2000-02-24 | Paper |
| A computer-aided geometric approach to inverse kinematics | 2000-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838777 | 1999-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883379 | 1998-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883378 | 1998-01-18 | Paper |
| A complete discrimination system for polynomials | 1997-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867574 | 1996-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864924 | 1996-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4848888 | 1995-09-25 | Paper |
| A criterion for dependency of algebraic equations with applications to automated theorem proving | 1995-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320225 | 1995-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4303118 | 1995-03-05 | Paper |
| The realization of elementary configurations in Euclidean space | 1995-01-17 | Paper |
| A note on Wu's non-degenerate condition | 1993-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038243 | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4021269 | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4021270 | 1993-01-16 | Paper |
| The criterion algorithm of relation of implication between periodic orbits. I | 1992-06-26 | Paper |
| What can we do with only a pair of rusty compasses? | 1991-01-01 | Paper |
| The parallel numerical method of mechanical theorem proving | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3473856 | 1990-01-01 | Paper |
| Average distance constants for polygons in spaces with non-positive curvature | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3793762 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774603 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3790311 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3027902 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764807 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782479 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796316 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468226 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3706093 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3717832 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676732 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709507 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757270 | 1985-01-01 | Paper |
| Metric spaces which cannot be isometrically embedded in Hilbert space | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3038091 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310513 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3311052 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668386 | 1983-01-01 | Paper |
| A generalisation to several dimensions of the Neuberg-Pedoe inequality, with applications | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3952742 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956120 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4743383 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672990 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941967 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668387 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672593 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906054 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310501 | 1980-01-01 | Paper |
