Daoyun Xu

From MaRDI portal
Person:1040958

Available identifiers

zbMath Open xu.daoyunMaRDI QIDQ1040958

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q33815122021-09-29Paper
https://portal.mardi4nfdi.de/entity/Q33069202020-08-12Paper
Wirtinger-type inequality and the stability analysis of delayed Lur'e system2019-07-05Paper
On-Line Load Balancing with Task Buffer2018-11-29Paper
https://portal.mardi4nfdi.de/entity/Q52774092017-07-14Paper
Stable analysis for neural networks: set-valued mapping method2016-01-18Paper
Existence and stability analysis of optimal control2014-12-22Paper
Convergence of Warning Propagation Algorithms for Random Satisfiable Instances2014-02-28Paper
Piecewise convex technique for the stability analysis of delayed neural network2013-09-09Paper
Vector Wirtinger-type inequality and the stability analysis of delayed neural network2013-01-25Paper
https://portal.mardi4nfdi.de/entity/Q49021142013-01-24Paper
https://portal.mardi4nfdi.de/entity/Q49011212013-01-24Paper
Some properties of pigeon-hole formulas2012-10-05Paper
Strips minimization in two-dimensional cutting stock of circular items2009-11-27Paper
https://portal.mardi4nfdi.de/entity/Q53226382009-07-22Paper
NP-Completeness of (k-SAT,r-UNk-SAT) and (LSAT ≥ k ,r-UNLSAT ≥ k )2008-06-19Paper
https://portal.mardi4nfdi.de/entity/Q35013992008-06-03Paper
https://portal.mardi4nfdi.de/entity/Q54350912008-01-14Paper
The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 32007-11-13Paper
Theory and Applications of Models of Computation2007-04-30Paper
FC-normal and extended stratified logic program2007-02-20Paper
https://portal.mardi4nfdi.de/entity/Q54903972006-10-04Paper
https://portal.mardi4nfdi.de/entity/Q54731772006-06-19Paper
https://portal.mardi4nfdi.de/entity/Q53136982005-09-01Paper
The complexity of homomorphisms and renamings for minimal unsatisfiable formulas2005-05-13Paper
https://portal.mardi4nfdi.de/entity/Q46756222005-05-06Paper
Characterization of an auto-compatible default theory2003-12-09Paper

Research outcomes over time

This page was built for person: Daoyun Xu