| Publication | Date of Publication | Type |
|---|
| Equilibrium set-valued variational principles and the lower boundedness condition with application to psychology | 2024-03-11 | Paper |
| On a question concerning Meir-Keeler contractions in complete \(b\)-metric spaces | 2023-08-07 | Paper |
| Kaleva-Seikkala's type fuzzy \(b\)-metric spaces and several contraction mappings | 2022-08-09 | Paper |
| Chaotic unilateral weighted backward shifts on sequentially complete topological sequence spaces | 2022-07-22 | Paper |
| On the biharmonic heat equation on complete Riemannian manifolds | 2022-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5062806 | 2022-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3385102 | 2021-12-17 | Paper |
| Regularity estimates for the gradient flow of a spinorial energy functional | 2021-11-30 | Paper |
| Weakly PIC1 manifolds with maximal volume growth | 2021-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3381709 | 2021-09-29 | Paper |
| DeepMRMP: a new predictor for multiple types of RNA modification sites using deep learning | 2021-08-13 | Paper |
| On the best areas for Kannan system and Chatterjea system in b-metric spaces | 2021-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4983722 | 2021-04-26 | Paper |
| A note on the paper ``A novel approach of graphical rectangular \(b\)-metric spaces with an application to the vibrations of a vertical heavy hanging cable | 2021-03-26 | Paper |
| Equilibrium versions of set-valued variational principles and their applications to organizational behavior | 2021-02-19 | Paper |
| Discrete game-theoretic analysis of defense in correlated cyber-physical systems | 2021-01-07 | Paper |
| On the uniqueness for the heat equation on complete Riemannian manifolds | 2020-11-20 | Paper |
| On distributionally robust extreme value analysis | 2020-06-24 | Paper |
| Ekeland variational principles for set-valued functions with set perturbations | 2020-05-18 | Paper |
| Pata-type fixed-point theorems in Kaleva-Seikkala's type fuzzy metric space | 2020-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208979 | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5209080 | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5197175 | 2019-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5233668 | 2019-09-12 | Paper |
| Answers to questions on the generalized Banach contraction conjecture in \(b\)-metric spaces | 2019-05-16 | Paper |
| Common fixed point theorems for Ciric type mappings in b-metric spaces without any completeness assumption | 2019-04-24 | Paper |
| Cyclic quasi-contractions of Ciric type in b-metric spaces | 2019-04-23 | Paper |
| Existence, lifespan, and transfer rate of Ricci flows on manifolds with small Ricci curvature | 2019-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4627922 | 2019-03-05 | Paper |
| Some notes on the existence of solution for ordinary differential equations via fixed point theory | 2019-02-14 | Paper |
| Common fixed points for nonlinear quasi-contractions of Ćirić type | 2019-02-14 | Paper |
| Cyber-physical correlation effects in defense games for large discrete infrastructures | 2018-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4690527 | 2018-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3175926 | 2018-07-18 | Paper |
| Equilibrium versions of variational principles in quasi-metric spaces and the robust trap problem | 2018-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130881 | 2018-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130892 | 2018-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3132581 | 2018-01-29 | Paper |
| Set-valued pseudo-metric families and Ekeland's variational principles in fuzzy metric spaces | 2018-01-22 | Paper |
| Inferring Software Behavioral Models with MapReduce | 2017-08-31 | Paper |
| Some rigidity results for noncompact gradient steady Ricci solitons and Ricci-flat manifolds | 2017-07-13 | Paper |
| Maxterm Covering for Satisfiability | 2017-07-12 | Paper |
| Balancing pre-disaster preparedness and post-disaster relief | 2016-10-07 | Paper |
| Existence and applications of Ricci flows via pseudolocality | 2016-10-06 | Paper |
| Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems | 2016-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992135 | 2016-08-10 | Paper |
| Fixed points for cyclic \(\varphi\)-contractions in generalized metric spaces | 2016-08-09 | Paper |
| A unified view on common fixed point theorems for Ćirić quasi-contraction maps | 2016-05-20 | Paper |
| \(p\)-distances, \(q\)-distances and a generalized Ekeland's variational principle in uniform spaces | 2016-04-07 | Paper |
| Identification and frequency domain analysis of non-stationary and nonlinear systems using time-varying NARMAX models | 2016-03-14 | Paper |
| Sequentially lower complete spaces and Ekeland's variational principle | 2015-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5260005 | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5260021 | 2015-06-29 | Paper |
| Array theory of bounded elements and its applications | 2015-06-23 | Paper |
| Estimating the volume of solution space for satisfiability modulo linear real arithmetic | 2015-05-29 | Paper |
| Common fixed point of four self maps on dislocated metric spaces | 2015-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5499219 | 2015-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5499335 | 2015-02-11 | Paper |
| Remarks on the extension of the Ricci flow | 2014-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2926742 | 2014-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2926826 | 2014-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2927301 | 2014-11-03 | Paper |
| VCS: A Verifier for Component-Based Systems | 2014-07-08 | Paper |
| A general vectorial Ekeland's variational principle with a P-distance | 2013-12-05 | Paper |
| Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems | 2013-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2838765 | 2013-07-10 | Paper |
| A unified framework for DPLL(T) + certificates | 2013-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3108987 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3109702 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3404604 | 2010-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3404652 | 2010-02-12 | Paper |
| Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3614387 | 2009-03-06 | Paper |
| A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement | 2008-09-04 | Paper |
| A combinatorial congestion estimation approach with generalized detours | 2008-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5295685 | 2007-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3428148 | 2007-03-27 | Paper |
| Congestion estimation for hexagonal routing | 2007-02-15 | Paper |
| Design methodology of networked software evolution growth based on software patterns | 2007-01-25 | Paper |
| Multiterminal net assignments by scatter search | 2006-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5697828 | 2005-10-27 | Paper |
| A stochastic model for cellassignments in PCS networks | 2005-06-23 | Paper |
| A comparative study on search strategies for cell assignments | 2005-01-14 | Paper |
| Multi-modal human interactions with an intelligent interface utilizing images, sounds, and force feedback | 2002-05-01 | Paper |
