Fang Yu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fang Yu