Dao-Yun 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/Q4901121	2013-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4902114	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

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: Dao-Yun Xu