Guiping Dai

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Formal verification for KMB09 protocol	2019-11-28	Paper
Linear-transformation-based analysis and design of state consensus for multi-agent systems with state observers	2018-08-16	Paper
Quantum process algebra with priorities	2018-02-22	Paper
A quantum single sign-on protocol based on GHZ states	2015-10-23	Paper
A four-state entanglement based quantum single sign-on protocol	2015-07-02	Paper
A non-entanglement quantum single sign-on protocol	2015-01-22	Paper
A two-state entanglement based quantum single sign-on protocol	2015-01-22	Paper
Single sign-on under quantum cryptography	2014-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q3170724	2011-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q3170727	2011-09-29	Paper
Palmprint recognition method using WTA-ICA based on 2DPCA	2010-10-28	Paper
Rotating machinery fault diagnosis based on EMD-approximate entropy and LS-SVM	2010-10-28	Paper
Relations between discounted models and average models for semi-Markov decision processes	2009-10-12	Paper
Simulation optimization algorithms for SMDPs with parameterized randomized stationary policies	2007-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3370579	2006-02-08	Paper
Sensitivity estimates and optimization algorithms based on parallel simulation for a class of closed queueing networks	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5709290	2005-11-29	Paper
Performance optimization algorithms based on potentials for semi-Markov control processes	2005-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4661423	2005-04-04	Paper
Relations between performance potentials and infinitesimal realization factors in closed queueing networks	2003-03-05	Paper

Research outcomes over time

This page was built for person: Guiping Dai