Daoyun Xu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3381512	2021-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q3306920	2020-08-12	Paper
Wirtinger-type inequality and the stability analysis of delayed Lur'e system	2019-07-05	Paper
On-Line Load Balancing with Task Buffer	2018-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q5277409	2017-07-14	Paper
Stable analysis for neural networks: set-valued mapping method	2016-01-18	Paper
Existence and stability analysis of optimal control	2014-12-22	Paper
Convergence of Warning Propagation Algorithms for Random Satisfiable Instances	2014-02-28	Paper
Piecewise convex technique for the stability analysis of delayed neural network	2013-09-09	Paper
Vector Wirtinger-type inequality and the stability analysis of delayed neural network	2013-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4902114	2013-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4901121	2013-01-24	Paper
Some properties of pigeon-hole formulas	2012-10-05	Paper
Strips minimization in two-dimensional cutting stock of circular items	2009-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q5322638	2009-07-22	Paper
NP-Completeness of (k-SAT,r-UNk-SAT) and (LSAT ≥ k ,r-UNLSAT ≥ k )	2008-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q3501399	2008-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5435091	2008-01-14	Paper
The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3	2007-11-13	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
FC-normal and extended stratified logic program	2007-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q5490397	2006-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q5473177	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q5313698	2005-09-01	Paper
The complexity of homomorphisms and renamings for minimal unsatisfiable formulas	2005-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4675622	2005-05-06	Paper
Characterization of an auto-compatible default theory	2003-12-09	Paper

Research outcomes over time

This page was built for person: Daoyun Xu