Xiang Fu

Available identifiers

zbMath Open fu.xiang.1MaRDI QIDQ469345

List of research outcomes

Publication	Date of Publication	Type
Simple linear string constraints	2014-11-10	Paper
Short-term scheduling of cascade reservoirs using an immune algorithm-based particle swarm optimization	2012-02-05	Paper
Conversation protocols: a formalism for specification and verification of reactive electronic services	2010-05-07	Paper
Spatial shape error concealment method based on cubic B-spline interpolation	2009-11-22	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Computer Aided Verification	2005-08-25	Paper
Conversation protocols: a formalism for specification and verification of reactive electronic services	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4428410	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q2769584	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q3342380	1984-01-01	Paper

Research outcomes over time

This page was built for person: Xiang Fu