| Publication | Date of Publication | Type |
|---|
| Well-balanced Finite difference WENO-AO scheme for rotating shallow water equations with Coriolis force | 2024-04-17 | Paper |
| Improved efficiency assessment in network DEA through interval data analysis: An empirical study in agriculture | 2024-01-22 | Paper |
| A novel saturation‐related event‐triggered scheme for systems with asymmetric input constraint | 2023-12-16 | Paper |
| Uncertain spreading model of Internet rumors on social media platforms | 2023-12-11 | Paper |
| Solutions and stability for \(p\)-Laplacian differential problems with mixed type fractional derivatives | 2023-12-07 | Paper |
| A novel approach to verifying context free properties of programs | 2023-10-16 | Paper |
| Risk-based premium evaluation with jump diffusion process for PBGC | 2023-06-26 | Paper |
| Size-dependent static bending, free vibration and buckling analysis of curved flexomagnetic nanobeams | 2023-06-21 | Paper |
| Propositional projection temporal logic specification mining | 2023-03-21 | Paper |
| A proof system for unified temporal logic | 2023-02-24 | Paper |
| High Order Conservative Finite Difference/Fourier Spectral Methods for Inviscid Surface Quasi-Geostrophic Flows | 2023-02-23 | Paper |
| Measuring global flow of funds: who-to-whom matrix and financial network | 2022-12-13 | Paper |
| PPTL specification mining based on LNFG | 2022-10-24 | Paper |
| A joint estimation approach to sparse additive ordinary differential equations | 2022-09-15 | Paper |
| Theoretical analysis on the Rényi holographic dark energy in the Finsler–Randers cosmology | 2022-06-28 | Paper |
| Covering-Based Optimistic Multigranulation Decision-Theoretic Rough Sets Based on Maximal Descriptors | 2022-06-15 | Paper |
| Attribute Reduction in Utility-Based Decision-Theoretic Rough Set Models | 2022-06-15 | Paper |
| Dynamical modeling for non-Gaussian data with high-dimensional sparse ordinary differential equations | 2022-05-30 | Paper |
| Modelling the aggregate loss for insurance claims with dependence | 2022-05-23 | Paper |
| Pricing longevity-linked derivatives using a stochastic mortality model | 2022-05-20 | Paper |
| Multiple positive solutions for nonlinear high-order Riemann-Liouville fractional differential equations boundary value problems with \(p\)-Laplacian operator | 2022-04-19 | Paper |
| Existence-uniqueness and monotone iteration of positive solutions to nonlinear tempered fractional differential equation with \(p\)-Laplacian operator | 2022-04-19 | Paper |
| Existence-uniqueness of positive solutions to nonlinear impulsive fractional differential systems and optimal control | 2022-04-19 | Paper |
| Existence and monotone iteration of unique solution for tempered fractional differential equations Riemann-Stieltjes integral boundary value problems | 2022-02-25 | Paper |
| Equilibrium reinsurance-investment strategy with a common shock under two kinds of premium principles | 2022-02-21 | Paper |
| Fixed point theorems for sum operator with parameter | 2022-01-20 | Paper |
| Reliability and maintenance analysis of a degradation-threshold-shock model for a system in a dynamic environment | 2021-12-08 | Paper |
| \(H_\infty\) filter design for discrete-time networked systems with adaptive event-triggered mechanism and hybrid cyber attacks | 2021-12-07 | Paper |
| Improved general attribute reduction algorithms | 2021-11-23 | Paper |
| Parameter estimation in uncertain differential equations based on the solution | 2021-08-02 | Paper |
| Fracture analysis on the arc-shaped interfacial crack between a homogeneous cylinder and its coating | 2021-06-21 | Paper |
| Optimal stop-loss reinsurance with joint utility constraints | 2021-06-09 | Paper |
| A Proof System for MSVL Programs in Coq | 2021-05-20 | Paper |
| Deep specification mining with attention | 2021-04-21 | Paper |
| Unified temporal logic | 2021-04-08 | Paper |
| Stochastic differential investment and reinsurance games with nonlinear risk processes and VaR constraints | 2021-03-17 | Paper |
| Reinsurance-investment game between two mean-variance insurers under model uncertainty | 2020-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5115264 | 2020-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3306913 | 2020-08-12 | Paper |
| A unified method for completions of posets and closure spaces | 2020-07-15 | Paper |
| Condition-based maintenance for a \(K\)-out-of-\(N\) deteriorating system under periodic inspection with failure dependence | 2020-06-17 | Paper |
| Diagnosing Tsallis holographic dark energy models with interactions | 2020-05-19 | Paper |
| m-Algebraic lattices in formal concept analysis | 2020-05-04 | Paper |
| An efficient decision procedure for propositional projection temporal logic | 2020-02-24 | Paper |
| Evaluation of the warranty cost of a product with type III stochastic dependence between components | 2020-02-17 | Paper |
| Translating Xd-C programs to MSVL programs | 2020-01-29 | Paper |
| A novel approach to verifying context free properties of programs | 2020-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5209969 | 2020-01-22 | Paper |
| Sufficient variable selection using independence measures for continuous response | 2019-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5196958 | 2019-09-20 | Paper |
| Stochastic differential reinsurance games with capital injections | 2019-09-19 | Paper |
| Index set expressions can represent temporal logic formulas | 2019-08-09 | Paper |
| Verifying a scheduling protocol of safety-critical systems | 2019-06-25 | Paper |
| A temporal logic programming approach to planning | 2019-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5382258 | 2019-06-21 | Paper |
| Analysis of the limit cycle properties of a fast–slow predator–prey system | 2019-06-12 | Paper |
| Increased infection severity in downstream cities in infectious disease transmission and tourists surveillance analysis | 2019-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4624677 | 2019-02-22 | Paper |
| Dynamic Resource Allocation for Energy Efficient Transmission in Digital Subscriber Lines | 2019-02-08 | Paper |
| Modeling semi-steady state near-well flow performance for horizontal wells in anisotropic reservoirs | 2019-01-22 | Paper |
| Robust non-zero-sum investment and reinsurance game with default risk | 2019-01-15 | Paper |
| A compiler for MSVL and its applications | 2018-12-05 | Paper |
| Reliability-based measures and prognostic analysis of a \(K\)-out-of-\(N\) system in a random environment | 2018-10-30 | Paper |
| Modeling and analysis of bifurcation in a delayed worm propagation model | 2018-10-10 | Paper |
| Deep extreme learning machine and its application in EEG classification | 2018-08-27 | Paper |
| Two bonded multiferroic ceramics half-planes with coupled interfacial imperfections: in-plane fracture and its dislocation-based physical mechanisms | 2018-08-14 | Paper |
| Sufficient dimension reduction using Hilbert-Schmidt independence criterion | 2018-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3175573 | 2018-07-18 | Paper |
| Optimal quota-share reinsurance based on the mutual benefit of insurer and reinsurer | 2018-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4640783 | 2018-05-25 | Paper |
| Modeling and verifying multi-core programs | 2018-03-26 | Paper |
| On Fredholm completions of partial operator matrices | 2018-02-20 | Paper |
| Adaptive Basis Selection for Exponential Family Smoothing Splines with Application in Joint Modeling of Multiple Sequencing Samples | 2018-01-12 | Paper |
| Sharp maximal and weighted estimates for multilinear iterated commutators of multilinear integrals with generalized kernels | 2017-11-14 | Paper |
| Lifshitz effects on holographic \(p\)-wave superfluid | 2017-10-26 | Paper |
| Attribute reduction for sequential three-way decisions under dynamic granulation | 2017-10-11 | Paper |
| Localization Attacks to Internet Threat Monitors: Modeling and Countermeasures | 2017-07-27 | Paper |
| Just-in-Time Analytics on Large File Systems | 2017-07-12 | Paper |
| Markowitz's mean-variance optimization with investment and constrained reinsurance | 2017-06-15 | Paper |
| Optimal reinsurance under dynamic VaR constraint | 2016-12-14 | Paper |
| A mechanism of function calls in MSVL | 2016-11-24 | Paper |
| Verifying safety critical task scheduling systems in PPTL axiom system | 2016-02-23 | Paper |
| Verification of distributed systems with the axiomatic system of MSVL | 2016-01-06 | Paper |
| A canonical form based decision procedure and model checking approach for propositional projection temporal logic | 2015-12-11 | Paper |
| A complete axiom system for propositional projection temporal logic with cylinder computation model | 2015-12-11 | Paper |
| Efficient computation of smoothing splines via adaptive basis sampling | 2015-12-11 | Paper |
| Lifshitz scaling effects on holographic superconductors | 2015-11-23 | Paper |
| Direction Estimation in Single-Index Regressions via Hilbert-Schmidt Independence Criterion | 2015-11-03 | Paper |
| Influence of Systematic Coupling Stiffness Parameter on Coupling Duffing System Lag Self-synchronization Characteristic | 2015-11-02 | Paper |
| Model Checking MSVL Programs Based on Dynamic Symbolic Execution | 2015-10-29 | Paper |
| Knowledge Granulation in Interval-Valued Information Systems Based on Maximal Consistent Blocks | 2015-10-02 | Paper |
| Uncertainty Measures in Interval-Valued Information Systems | 2015-10-02 | Paper |
| An extended strange planet protocol | 2015-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257335 | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5173740 | 2015-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2924481 | 2014-11-03 | Paper |
| A formal proof of the deadline driven scheduler in PPTL axiomatic system | 2014-10-06 | Paper |
| An Axiomatization for Cylinder Computation Model | 2014-09-26 | Paper |
| Normal Form Expressions of Propositional Projection Temporal Logic | 2014-09-26 | Paper |
| Reliability Analysis of Unrepairable Systems withk-out-of-m:GSubsystems Subject to Suspended Animation | 2014-08-18 | Paper |
| A cylinder computation model for many-core parallel computing | 2014-01-10 | Paper |
| A complete proof system for propositional projection temporal logic | 2014-01-10 | Paper |
| A generalized hypergeometric function method for axisymmetric vibration analysis of a piezoelectric actuator | 2013-12-19 | Paper |
| Some Fixed-Point Issues in PPTL | 2013-08-16 | Paper |
| An efficient approach for abstraction-refinement in model checking | 2012-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3166681 | 2012-10-15 | Paper |
| RIKE: Using Revocable Identities to Support Key Escrow in PKIs | 2012-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2886914 | 2012-06-01 | Paper |
| A Semantic Model for Many-Core Parallel Computing | 2011-08-12 | Paper |
| gPath: A Game-Theoretic Path Selection Algorithm to Protect Tor’s Anonymity | 2010-11-23 | Paper |
| A variational approach to analyzing catalytic reactions in short monoliths | 2010-06-28 | Paper |
| Computing optimised parallel speeded-up robust features (P-SURF) on multi-core processors | 2010-03-09 | Paper |
| BRVAAF and performance analysis for target detection | 2009-12-15 | Paper |
| Dynamic stress intensity factor of a crack perpendicular to the weak-discontinuous interface in a nonhomogeneous coating-substrate structure | 2009-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3641352 | 2009-11-11 | Paper |
| Regression Survival Analysis with an Assumed Copula for Dependent Censoring: A Sensitivity Analysis Approach | 2008-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3538195 | 2008-11-24 | Paper |
| Anti-plane fracture analysis of functionally gradient material infinite strip with finite width | 2008-09-17 | Paper |
| Numerical simulation of quasi-streamwise hairpin-like vortex generation in turbulent boundary layer | 2008-09-01 | Paper |
| Dynamic stress intensity factor of the weak/micro-discontinuous interface crack of a FGM coating | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5754335 | 2007-08-22 | Paper |
| Using an improved clustering method to detect anomaly activities | 2007-06-01 | Paper |
| Information Security | 2006-10-20 | Paper |
