Xiang Fu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simple linear string constraints Formal Aspects of Computing	2014-11-10	Paper
Short-term scheduling of cascade reservoirs using an immune algorithm-based particle swarm optimization Computers & Mathematics with Applications	2012-02-05	Paper
Conversation protocols: a formalism for specification and verification of reactive electronic services Implementation and Application of Automata	2010-05-07	Paper
Spatial shape error concealment method based on cubic B-spline interpolation Journal of Computer Applications	2009-11-22	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
Conversation protocols: a formalism for specification and verification of reactive electronic services Theoretical Computer Science	2005-01-11	Paper
scientific article; zbMATH DE number 1980999 (Why is no real title available?)	2003-09-15	Paper
scientific article; zbMATH DE number 1701756 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 3877106 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Xiang Fu