| Publication | Date of Publication | Type |
|---|
| Reachability analysis of linear systems | 2024-08-24 | Paper |
| Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis | 2024-04-19 | Paper |
| An instance-oriented performance measure for classification | 2024-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5873241 | 2023-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5873458 | 2023-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5873719 | 2023-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5035533 | 2022-02-22 | Paper |
| A solution to an open problem for Wilker-type inequalities | 2021-06-09 | Paper |
| Examine manipulated datasets with topology data analysis: a case study | 2021-01-18 | Paper |
| Automated proof of mixed trigonometric-polynomial inequalities | 2020-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5210068 | 2020-01-22 | Paper |
| A novel perceptual hash algorithm for multispectral image authentication | 2019-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3175733 | 2018-07-18 | Paper |
| An Application-Level Data Transparent Authentication Scheme without Communication Overhead | 2017-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2987155 | 2017-05-17 | Paper |
| Fast finite difference approximation for identifying parameters in a two-dimensional space-fractional nonlocal model with variable diffusivity coefficients | 2016-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3104973 | 2011-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3170041 | 2011-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3087295 | 2011-08-16 | Paper |
| A novel implicit finite difference method for the one-dimensional fractional percolation equation | 2011-04-08 | Paper |
| Secure and Conditional Resource Coordination for Successful Collaborations | 2010-03-04 | Paper |
| A Contract Language for Service-Oriented Dynamic Collaborations | 2010-03-04 | Paper |
| Using Gini measures to evaluate and optimize structure of cluster’s nodes | 2010-02-01 | Paper |
| Assisted interest-based method for searching shared files in P2P network | 2009-10-12 | Paper |
| ADI-Euler and extrapolation methods for the two-dimensional fractional advection-dispersion equation | 2008-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3442696 | 2007-05-22 | Paper |
| Parallel transports associated to stochastic holonomies | 2006-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5476327 | 2006-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3371739 | 2006-02-21 | Paper |
| 3-partitioning problems for maximizing the minimum load | 2005-01-17 | Paper |
| The solution to the SK-model | 2002-11-28 | Paper |
| Pricing and hedging option under portfolio constrained | 2002-09-25 | Paper |
| The liquidity discount | 2002-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3836373 | 2001-10-04 | Paper |
| A class of high accuracy explicit difference schemes for solving parabolic equations of higher dimension | 2001-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4528321 | 2001-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489614 | 2000-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391792 | 1999-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392762 | 1998-08-02 | Paper |
| Three-partitioning containing kernels: Complexity and heuristic | 1997-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4271702 | 1994-04-17 | Paper |
