Warning, /office/kbibtex-testset/bib/in-the-wild/fu.bib is written in an unsupported language. File is not indexed.
0001 @Proceedings{chen04:_proceed_of_inter_confer_asian,
0002 title = {Digital Libraries: International Collaboration and
0003 Cross-Fertilization, Proceedings of the 7th
0004 International Conference on Asian Digital Libraries
0005 (ICADL'04)},
0006 year = 2004,
0007 editor = {Zhaoneng Chen and Hsinchun Chen and Yuxi Fu and
0008 Qihao Miao and Edward Fox and Lim, Ee-peng},
0009 volume = 3334,
0010 series = {Lecture Notes in Computer Science},
0011 address = {Shanghai, China},
0012 month = {December},
0013 publisher = {Springer}
0014 }
0015
0016 @Article{cheng06:_error_estim_of_pertur_under_cri,
0017 author = {Guosheng Cheng and Yuxi Fu},
0018 title = {Error Estimation of Perturbations Under {CRI}},
0019 journal = {IEEE Transactions on Fuzzy Systems},
0020 year = 2006,
0021 volume = 14,
0022 number = 6,
0023 pages = {709-715},
0024 month = {December}
0025 }
0026
0027 @InProceedings{dong03:_obser_asymm_and_mismat,
0028 author = {Xiaoju Dong and Yuxi Fu},
0029 title = {Observing Asymmetry and Mismatch},
0030 booktitle = {Proceedings of the 1st Asian Symposium on
0031 Programming Languages and Systems (APLAS'03)},
0032 pages = {2-19},
0033 year = 2003,
0034 volume = 2895,
0035 series = {Lecture Notes in Computer Science},
0036 address = {Beijing, China},
0037 month = {November},
0038 publisher = {Springer}
0039 }
0040
0041 @InProceedings{fu00:_chi_calcul_with_mismat,
0042 author = {Yuxi Fu and Zhengrong Yang},
0043 title = {Chi Calculus with Mismatch},
0044 booktitle = {Proceedings of the 11th International Conference on
0045 Concurrency Theory (CONCUR'00)},
0046 pages = {596-610},
0047 year = 2000,
0048 volume = 1877,
0049 series = {Lecture Notes in Computer Science},
0050 address = {Pennsylvania, USA},
0051 month = {August},
0052 publisher = {Springer}
0053 }
0054
0055 @InProceedings{fu00:_groun_congr_for_chi_calcul,
0056 author = {Yuxi Fu and Zhengrong Yang},
0057 title = {The Ground Congruence for Chi Calculus},
0058 booktitle = {Proceedings of the 20th Conference on the
0059 Foundations of Software Technology and Theoretical
0060 Computer Science (FSTTCS'00)},
0061 pages = {385-396},
0062 year = 2000,
0063 volume = 1974,
0064 series = {Lecture Notes in Computer Science},
0065 address = {New Delhi, India},
0066 month = {December},
0067 publisher = {Springer}
0068 }
0069
0070 @Article{fu00:_inter_struc_of_induc_types,
0071 author = {Yuxi Fu},
0072 title = {On the Internal Structures of Inductive Types},
0073 journal = {Science in China (Series E)},
0074 year = 2000,
0075 volume = 43,
0076 pages = {542-560}
0077 }
0078
0079 @InCollection{fu01:_axiom_without_prefix_combin,
0080 author = {Yuxi Fu},
0081 title = {Axiomatization without Prefix Combinator},
0082 booktitle = {Domains and Processes},
0083 pages = {245-273},
0084 publisher = {Kluwer Academic Publishers},
0085 year = 2001,
0086 editor = {Klaus Keimel and others}
0087 }
0088
0089 @Article{fu01:_funct_presen_of_pi_calcul,
0090 author = {Yuxi Fu},
0091 title = {A Functional Presentation of Pi Calculus},
0092 journal = {Science in China (Series F)},
0093 year = 2001,
0094 volume = 44,
0095 number = 1,
0096 pages = {20-32}
0097 }
0098
0099 @Article{fu01:_seman_of_const_i,
0100 author = {Yuxi Fu},
0101 title = {Semantics of Constructions (I): The Traditional
0102 Approach},
0103 journal = {Journal of Computer Science and Technology},
0104 year = 2001,
0105 volume = 16,
0106 number = 1,
0107 pages = {13-25}
0108 }
0109
0110 @Article{fu01:_seman_of_const_ii,
0111 author = {Yuxi Fu},
0112 title = {Semantics of Constructions (II): The Initial
0113 Algebraic Approach},
0114 journal = {Journal of Computer Science and Technology},
0115 year = 2001,
0116 volume = 16,
0117 number = 2,
0118 pages = {137-145}
0119 }
0120
0121 @Article{fu02:_testin_congr_for_mobil_proces,
0122 author = {Yuxi Fu},
0123 title = {Testing Congruence for Mobile Process},
0124 journal = {Journal of Computer Science and Technology},
0125 year = 2002,
0126 volume = 17,
0127 number = 1,
0128 pages = {73-82}
0129 }
0130
0131 @Article{fu03:_bisim_congr_of_chi_calcul,
0132 author = {Yuxi Fu},
0133 title = {Bisimulation Congruences of Chi Calculus},
0134 journal = {Information and Computation},
0135 year = 2003,
0136 volume = 184,
0137 pages = {201-226}
0138 }
0139
0140 @Article{fu03:_tau_laws_for_pi_calcul,
0141 author = {Yuxi Fu and Zhengrong Yang},
0142 title = {Tau Laws for Pi Calculus},
0143 journal = {Theoretical Computer Science},
0144 year = 2003,
0145 volume = 308,
0146 pages = {55-130}
0147 }
0148
0149 @Article{fu03:_under_mismat_combin_in_chi_calcul,
0150 author = {Yuxi Fu and Zhengrong Yang},
0151 title = {Understanding the Mismatch Combinator in Chi
0152 Calculus},
0153 journal = {Theoretical Computer Science},
0154 year = 2003,
0155 volume = 290,
0156 pages = {779-830}
0157 }
0158
0159 @Article{fu05:_quasi_open_bisim,
0160 author = {Yuxi Fu},
0161 title = {On Quasi Open Bisimulation},
0162 journal = {Theoretical Computer Science},
0163 year = 2005,
0164 volume = 338,
0165 pages = {96-126}
0166 }
0167
0168 @Article{fu05:_schem_axiom_for_open_congr,
0169 author = {Yuxi Fu},
0170 title = {A Schematic Axiom for Open Congruence},
0171 journal = {Science in China (Series F)},
0172 year = 2005,
0173 volume = 48,
0174 pages = {67-77}
0175 }
0176
0177 @Misc{fu06:_check_equiv_for_higher_order_proces,
0178 author = {Yuxi Fu},
0179 title = {Checking Equivalence for Higher Order Process},
0180 year = 2006,
0181 note = {Working Paper},
0182 howpublished =
0183 {\url{http://basics.sjtu.edu.cn/~yuxi/papers/LHO.pdf}}
0184 }
0185
0186 @Article{fu07:_fair_ambien,
0187 author = {Yuxi Fu},
0188 title = {Fair Ambients},
0189 journal = {Acta Informatica},
0190 year = 2007,
0191 volume = 43,
0192 number = 8,
0193 pages = {535-594}
0194 }
0195
0196 @Article{fu10:_on_the_expressiveness_of_interaction,
0197 author = {Fu, Y. and Lu, H.},
0198 title = {On the Expressiveness of Interaction},
0199 journal = {Theoretical Computer Scienc},
0200 volume= {411},
0201 pages= {1387--1451},
0202 year = 2010}
0203
0204 @Article{fu96:_recur_model_of_gener_induc_types,
0205 author = {Yuxi Fu},
0206 title = {Recursive Models of General Inductive Types},
0207 journal = {Fundamenta Informaticae},
0208 year = 1996,
0209 volume = 26,
0210 pages = {115-131}
0211 }
0212
0213 @Article{fu97:_categ_proper_of_logic_framew,
0214 author = {Yuxi Fu},
0215 title = {Categorical Properties of Logical Frameworks},
0216 journal = {Mathematical Structures in Computer Science},
0217 year = 1997,
0218 volume = 7,
0219 pages = {1-47}
0220 }
0221
0222 @InProceedings{fu97:_chi_calcul,
0223 author = {Yuxi Fu},
0224 title = {The $\chi$-Calculus},
0225 booktitle = {Advances in Computing Science, Proceedings of the
0226 1997 International Conference on Advances in
0227 Parallel and Distributed Computing (APDC'97)},
0228 pages = {74-81},
0229 year = 1997,
0230 publisher = {IEEE Computer Society Press}
0231 }
0232
0233 @Article{fu97:_const_sets_in_comput_sets,
0234 author = {Yuxi Fu},
0235 title = {Constructive Sets in Computable Sets},
0236 journal = {Journal of Computer Science and Technology},
0237 year = 1997,
0238 volume = 12,
0239 pages = {425-440}
0240 }
0241
0242 @InProceedings{fu97:_proof_theor_approac_to_commun,
0243 author = {Yuxi Fu},
0244 title = {A Proof Theoretical Approach to Communications},
0245 booktitle = {Proceedings of the 24th International Colloquium on
0246 Automata, Languages and Programming (ICALP'97)},
0247 pages = {325-335},
0248 year = 1997,
0249 volume = 1256,
0250 series = {Lecture Notes in Computer Science},
0251 address = {Bologna, Italy},
0252 month = {July},
0253 publisher = {Springer}
0254 }
0255
0256 @InProceedings{fu98:_bisim_lattic_of_chi_proces,
0257 author = {Yuxi Fu},
0258 title = {Bisimulation Lattice of Chi Processes},
0259 booktitle = {Proceedings of the 4th Asian Computing Science
0260 Conference (ASIAN'98)},
0261 pages = {245-262},
0262 year = 1998,
0263 volume = 1538,
0264 series = {Lecture Notes in Computer Science},
0265 address = {Manila, The Philippines},
0266 month = {December},
0267 publisher = {Springer}
0268 }
0269
0270 @Article{fu98:_react_graph,
0271 author = {Yuxi Fu},
0272 title = {Reaction Graph},
0273 journal = {Journal of Computer Science and Technology},
0274 year = 1998,
0275 volume = 13,
0276 pages = {510-530}
0277 }
0278
0279 @Article{fu98:_struc_defin_in_polym,
0280 author = {Yuxi Fu},
0281 title = {Structures Defined in Polymorphism},
0282 journal = {Journal of Computer Science and Technology},
0283 year = 1998,
0284 volume = 13,
0285 pages = {579-587}
0286 }
0287
0288 @Article{fu98:_symmet_pi_calcul,
0289 author = {Yuxi Fu},
0290 title = {Symmetric $\pi$-Calculus},
0291 journal = {Journal of Computer Science and Technology},
0292 year = 1998,
0293 volume = 13,
0294 pages = {202-208}
0295 }
0296
0297 @InProceedings{fu99:_open_bisim_chi_proces,
0298 author = {Yuxi Fu},
0299 title = {Open Bisimulations on Chi Processes},
0300 booktitle = {Proceedings of the 10th International Conference on
0301 Concurrency Theory (CONCUR'99)},
0302 pages = {304-319},
0303 year = 1999,
0304 volume = 1664,
0305 series = {Lecture Notes in Computer Science},
0306 address = {Eindhoven, The Netherlands},
0307 month = {August},
0308 publisher = {Springer}
0309 }
0310
0311 @Article{fu99:_relat_proper_of_frame_languag,
0312 author = {Yuxi Fu},
0313 title = {Relative Properties of Frame Language},
0314 journal = {Journal of Computer Science and Technology},
0315 year = 1999,
0316 volume = 14,
0317 pages = {320-327}
0318 }
0319
0320 @Article{fu99:_variat_mobil_proces,
0321 author = {Yuxi Fu},
0322 title = {Variations on Mobile Processes},
0323 journal = {Theoretical Computer Science},
0324 year = 1999,
0325 volume = 221,
0326 pages = {327-368}
0327 }
0328
0329 @Proceedings{zhang04:_proceed_of_inter_sympos_comput,
0330 title = {Proceedings of the 1st International Symposium on
0331 Computational and Information Sciences (CIS'04)},
0332 year = 2004,
0333 editor = {Jun Zhang and Jihuan He and Yuxi Fu},
0334 volume = 3314,
0335 series = {Lecture Notes in Computer Science},
0336 address = {Shanghai, China},
0337 month = {December},
0338 publisher = {Springer}
0339 }