@Proceedings{chen04:_proceed_of_inter_confer_asian,
title = {Digital Libraries: International Collaboration and
Cross-Fertilization, Proceedings of the 7th
International Conference on Asian Digital Libraries
(ICADL'04)},
year = 2004,
editor = {Zhaoneng Chen and Hsinchun Chen and Yuxi Fu and
Qihao Miao and Edward Fox and Lim, Ee-peng},
volume = 3334,
series = {Lecture Notes in Computer Science},
address = {Shanghai, China},
month = {December},
publisher = {Springer}
}
@Article{cheng06:_error_estim_of_pertur_under_cri,
author = {Guosheng Cheng and Yuxi Fu},
title = {Error Estimation of Perturbations Under {CRI}},
journal = {IEEE Transactions on Fuzzy Systems},
year = 2006,
volume = 14,
number = 6,
pages = {709-715},
month = {December}
}
@InProceedings{dong03:_obser_asymm_and_mismat,
author = {Xiaoju Dong and Yuxi Fu},
title = {Observing Asymmetry and Mismatch},
booktitle = {Proceedings of the 1st Asian Symposium on
Programming Languages and Systems (APLAS'03)},
pages = {2-19},
year = 2003,
volume = 2895,
series = {Lecture Notes in Computer Science},
address = {Beijing, China},
month = {November},
publisher = {Springer}
}
@InProceedings{fu00:_chi_calcul_with_mismat,
author = {Yuxi Fu and Zhengrong Yang},
title = {Chi Calculus with Mismatch},
booktitle = {Proceedings of the 11th International Conference on
Concurrency Theory (CONCUR'00)},
pages = {596-610},
year = 2000,
volume = 1877,
series = {Lecture Notes in Computer Science},
address = {Pennsylvania, USA},
month = {August},
publisher = {Springer}
}
@InProceedings{fu00:_groun_congr_for_chi_calcul,
author = {Yuxi Fu and Zhengrong Yang},
title = {The Ground Congruence for Chi Calculus},
booktitle = {Proceedings of the 20th Conference on the
Foundations of Software Technology and Theoretical
Computer Science (FSTTCS'00)},
pages = {385-396},
year = 2000,
volume = 1974,
series = {Lecture Notes in Computer Science},
address = {New Delhi, India},
month = {December},
publisher = {Springer}
}
@Article{fu00:_inter_struc_of_induc_types,
author = {Yuxi Fu},
title = {On the Internal Structures of Inductive Types},
journal = {Science in China (Series E)},
year = 2000,
volume = 43,
pages = {542-560}
}
@InCollection{fu01:_axiom_without_prefix_combin,
author = {Yuxi Fu},
title = {Axiomatization without Prefix Combinator},
booktitle = {Domains and Processes},
pages = {245-273},
publisher = {Kluwer Academic Publishers},
year = 2001,
editor = {Klaus Keimel and others}
}
@Article{fu01:_funct_presen_of_pi_calcul,
author = {Yuxi Fu},
title = {A Functional Presentation of Pi Calculus},
journal = {Science in China (Series F)},
year = 2001,
volume = 44,
number = 1,
pages = {20-32}
}
@Article{fu01:_seman_of_const_i,
author = {Yuxi Fu},
title = {Semantics of Constructions (I): The Traditional
Approach},
journal = {Journal of Computer Science and Technology},
year = 2001,
volume = 16,
number = 1,
pages = {13-25}
}
@Article{fu01:_seman_of_const_ii,
author = {Yuxi Fu},
title = {Semantics of Constructions (II): The Initial
Algebraic Approach},
journal = {Journal of Computer Science and Technology},
year = 2001,
volume = 16,
number = 2,
pages = {137-145}
}
@Article{fu02:_testin_congr_for_mobil_proces,
author = {Yuxi Fu},
title = {Testing Congruence for Mobile Process},
journal = {Journal of Computer Science and Technology},
year = 2002,
volume = 17,
number = 1,
pages = {73-82}
}
@Article{fu03:_bisim_congr_of_chi_calcul,
author = {Yuxi Fu},
title = {Bisimulation Congruences of Chi Calculus},
journal = {Information and Computation},
year = 2003,
volume = 184,
pages = {201-226}
}
@Article{fu03:_tau_laws_for_pi_calcul,
author = {Yuxi Fu and Zhengrong Yang},
title = {Tau Laws for Pi Calculus},
journal = {Theoretical Computer Science},
year = 2003,
volume = 308,
pages = {55-130}
}
@Article{fu03:_under_mismat_combin_in_chi_calcul,
author = {Yuxi Fu and Zhengrong Yang},
title = {Understanding the Mismatch Combinator in Chi
Calculus},
journal = {Theoretical Computer Science},
year = 2003,
volume = 290,
pages = {779-830}
}
@Article{fu05:_quasi_open_bisim,
author = {Yuxi Fu},
title = {On Quasi Open Bisimulation},
journal = {Theoretical Computer Science},
year = 2005,
volume = 338,
pages = {96-126}
}
@Article{fu05:_schem_axiom_for_open_congr,
author = {Yuxi Fu},
title = {A Schematic Axiom for Open Congruence},
journal = {Science in China (Series F)},
year = 2005,
volume = 48,
pages = {67-77}
}
@Misc{fu06:_check_equiv_for_higher_order_proces,
author = {Yuxi Fu},
title = {Checking Equivalence for Higher Order Process},
year = 2006,
note = {Working Paper}
howpublished =
{\url{http://basics.sjtu.edu.cn/~yuxi/papers/LHO.pdf}}
}
@Article{fu07:_fair_ambien,
author = {Yuxi Fu},
title = {Fair Ambients},
journal = {Acta Informatica},
year = 2007,
volume = 43,
number = 8,
pages = {535-594}
}
@Article{fu10:_on_the_expressiveness_of_interaction,
author = {Fu, Y. and Lu, H.},
title = {On the Expressiveness of Interaction},
journal = {Theoretical Computer Scienc},
volume= {411},
pages= {1387--1451},
year = 2010}
@Article{fu96:_recur_model_of_gener_induc_types,
author = {Yuxi Fu},
title = {Recursive Models of General Inductive Types},
journal = {Fundamenta Informaticae},
year = 1996,
volume = 26,
pages = {115-131}
}
@Article{fu97:_categ_proper_of_logic_framew,
author = {Yuxi Fu},
title = {Categorical Properties of Logical Frameworks},
journal = {Mathematical Structures in Computer Science},
year = 1997,
volume = 7,
pages = {1-47}
}
@InProceedings{fu97:_chi_calcul,
author = {Yuxi Fu},
title = {The $\chi$-Calculus},
booktitle = {Advances in Computing Science, Proceedings of the
1997 International Conference on Advances in
Parallel and Distributed Computing (APDC'97)},
pages = {74-81},
year = 1997,
publisher = {IEEE Computer Society Press}
}
@Article{fu97:_const_sets_in_comput_sets,
author = {Yuxi Fu},
title = {Constructive Sets in Computable Sets},
journal = {Journal of Computer Science and Technology},
year = 1997,
volume = 12,
pages = {425-440}
}
@InProceedings{fu97:_proof_theor_approac_to_commun,
author = {Yuxi Fu},
title = {A Proof Theoretical Approach to Communications},
booktitle = {Proceedings of the 24th International Colloquium on
Automata, Languages and Programming (ICALP'97)},
pages = {325-335},
year = 1997,
volume = 1256,
series = {Lecture Notes in Computer Science},
address = {Bologna, Italy},
month = {July},
publisher = {Springer}
}
@InProceedings{fu98:_bisim_lattic_of_chi_proces,
author = {Yuxi Fu},
title = {Bisimulation Lattice of Chi Processes},
booktitle = {Proceedings of the 4th Asian Computing Science
Conference (ASIAN'98)},
pages = {245-262},
year = 1998,
volume = 1538,
series = {Lecture Notes in Computer Science},
address = {Manila, The Philippines},
month = {December},
publisher = {Springer}
}
@Article{fu98:_react_graph,
author = {Yuxi Fu},
title = {Reaction Graph},
journal = {Journal of Computer Science and Technology},
year = 1998,
volume = 13,
pages = {510-530}
}
@Article{fu98:_struc_defin_in_polym,
author = {Yuxi Fu},
title = {Structures Defined in Polymorphism},
journal = {Journal of Computer Science and Technology},
year = 1998,
volume = 13,
pages = {579-587}
}
@Article{fu98:_symmet_pi_calcul,
author = {Yuxi Fu},
title = {Symmetric $\pi$-Calculus},
journal = {Journal of Computer Science and Technology},
year = 1998,
volume = 13,
pages = {202-208}
}
@InProceedings{fu99:_open_bisim_chi_proces,
author = {Yuxi Fu},
title = {Open Bisimulations on Chi Processes},
booktitle = {Proceedings of the 10th International Conference on
Concurrency Theory (CONCUR'99)},
pages = {304-319},
year = 1999,
volume = 1664,
series = {Lecture Notes in Computer Science},
address = {Eindhoven, The Netherlands},
month = {August},
publisher = {Springer}
}
@Article{fu99:_relat_proper_of_frame_languag,
author = {Yuxi Fu},
title = {Relative Properties of Frame Language},
journal = {Journal of Computer Science and Technology},
year = 1999,
volume = 14,
pages = {320-327}
}
@Article{fu99:_variat_mobil_proces,
author = {Yuxi Fu},
title = {Variations on Mobile Processes},
journal = {Theoretical Computer Science},
year = 1999,
volume = 221,
pages = {327-368}
}
@Proceedings{zhang04:_proceed_of_inter_sympos_comput,
title = {Proceedings of the 1st International Symposium on
Computational and Information Sciences (CIS'04)},
year = 2004,
editor = {Jun Zhang and Jihuan He and Yuxi Fu},
volume = 3314,
series = {Lecture Notes in Computer Science},
address = {Shanghai, China},
month = {December},
publisher = {Springer}
}