| Publication | Date of Publication | Type |
|---|
| Single-peak solution for a fractional slightly subcritical problem with non-power nonlinearity | 2024-12-06 | Paper |
| Multi-peak solutions to a biharmonic elliptic problem with non-power nonlinearity | 2024-12-06 | Paper |
| Distributed bandit online optimisation for energy management in smart grids | 2024-02-09 | Paper |
| Multiple blowing-up solutions for a slightly critical Lane-Emden system with non-power nonlinearity | 2023-11-08 | Paper |
| On a biharmonic elliptic problem with slightly subcritical non-power nonlinearity | 2023-11-03 | Paper |
| Sign changing bubble tower solutions to a slightly subcritical elliptic problem with non-power nonlinearity | 2023-06-05 | Paper |
| Multiple solutions for a singular nonhomogenous biharmonic equation in Heisenberg group | 2023-04-19 | Paper |
| Cryptanalysis and improvement of a semi-quantum private comparison protocol based on Bell states | 2023-03-17 | Paper |
| Dynamics of a plant-herbivore model with a chemically-mediated numerical response | 2022-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5037965 | 2022-09-29 | Paper |
| Compressive strength test of recycled concrete based on multi - constrained mathematical model | 2022-04-19 | Paper |
| On a nonhomogeneous Kirchhoff-type elliptic problem with critical exponential in dimension two | 2022-03-22 | Paper |
| Efficient mediated semi-quantum key distribution | 2022-03-01 | Paper |
| Transient spatio-temporal dynamics of a diffusive plant–herbivore system with Neumann boundary conditions | 2020-08-03 | Paper |
| On a fractional Kirchhoff type problem with critical exponential growth nonlinearity | 2020-04-07 | Paper |
| The efficient computation of aircraft range problem | 2020-02-27 | Paper |
| Local well-posedness and blow-up phenomenon for a generalization two-component Camassa-Holm system | 2020-01-08 | Paper |
| String Analysis via Automata Manipulation with Logic Circuit Representation | 2019-05-03 | Paper |
| Research on the efficient computation mechanism -- in the case of \(N\)-vehicle exploration problem | 2018-09-18 | Paper |
| Application of blind quantum computation to two-party quantum computation | 2018-08-02 | Paper |
| A geometrical model for diffusion of hydrophilic compounds in human stratum corneum | 2018-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2987575 | 2017-05-17 | Paper |
| Multiple-server flexible blind quantum computation in networks | 2016-07-05 | Paper |
| Continuous Riemann solvers for traffic flow at a junction | 2016-03-09 | Paper |
| Structurally Stable Singularities for a Nonlinear Wave Equation | 2016-01-07 | Paper |
| Bifurcation analysis and transient spatio-temporal dynamics for a diffusive plant-herbivore system with Dirichlet boundary conditions | 2015-11-02 | Paper |
| Structural Stability of Supersonic Contact Discontinuities in Three-Dimensional Compressible Steady Flows | 2015-05-26 | Paper |
| On modeling repeated binary responses and time-dependent missing covariates | 2015-03-05 | Paper |
| Nonlinear geometric optics for contact discontinuities in three dimensional compressible isentropic steady flows | 2014-10-20 | Paper |
| Automata-based symbolic string analysis for vulnerability detection | 2014-06-30 | Paper |
| THERMODYNAMICAL BEHAVIORS OF NONFLAT BRANS–DICKE GRAVITY WITH INTERACTING NEW AGEGRAPHIC DARK ENERGY | 2014-04-10 | Paper |
| Security problems in the quantum signature scheme with a weak arbitrator | 2014-04-08 | Paper |
| Stability of contact discontinuities in three-dimensional compressible steady flows | 2014-02-04 | Paper |
| Stabilization effect of magnetic fields on two-dimensional compressible current-vortex sheets | 2013-05-07 | Paper |
| Variational analysis of Nash equilibria for a model of traffic flow | 2012-09-12 | Paper |
| RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA | 2012-03-13 | Paper |
| A Temporal Logic for the Interaction of Strategies | 2011-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3016633 | 2011-07-19 | Paper |
| Bayesian Hierarchical Modeling and Selection of Differentially Expressed Genes for the EST Data | 2011-06-22 | Paper |
| Relational String Verification Using Multi-track Automata | 2011-02-11 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2003 | 2010-05-26 | Paper |
| TCTL Inevitability Analysis of Dense-Time Systems | 2010-05-07 | Paper |
| Symbolic String Verification: Combining String Analysis and Size Analysis | 2009-03-31 | Paper |
| Designing an Efficient Hardware Implication Accelerator for SAT Solving | 2008-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3502482 | 2008-05-23 | Paper |
| On spiking neural P systems and partially blind counter machines | 2008-05-20 | Paper |
| On Spiking Neural P Systems and Partially Blind Counter Machines | 2007-11-29 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| SAT-BASED MODEL CHECKING FOR REGION AUTOMATA | 2006-08-21 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445941 | 2004-02-02 | Paper |
| Effective discovery of exception class association rules | 2002-08-28 | Paper |
