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 }