Fair ambientsYUXI FU.Acta informatica. 2007, Vol 43, Num 8, pp 535-594, issn 0001-5903, 60 p.Article

On quasi-open bisimulationYUXI FU.Theoretical computer science. 2005, Vol 338, Num 1-3, pp 96-126, issn 0304-3975, 31 p.Article

Bisimulation congruence of X-calculusYUXI FU.Information and computation (Print). 2003, Vol 184, Num 1, pp 201-226, issn 0890-5401, 26 p.Article

Understanding the mismatch combinator in chi calculusYUXI FU; ZHENRONG YANG.Theoretical computer science. 2003, Vol 290, Num 1, pp 779-830, issn 0304-3975, 52 p.Article

CIS 2004 : computational and information science (Shanghai, 16-18 December 2004)Jun Zhang; Ji-Huan He; Yuxi Fu et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-24127-2, XXIV, 1259 p, isbn 3-540-24127-2Conference Proceedings

On the expressiveness of interactionYUXI FU; HAO LU.Theoretical computer science. 2010, Vol 411, Num 11-13, pp 1387-1451, issn 0304-3975, 65 p.Article

Tau laws for pi calculusYUXI FU; ZHENRONG YANG.Theoretical computer science. 2003, Vol 308, Num 1-3, pp 55-130, issn 0304-3975, 76 p.Article

Analyzing iKP security in applied pi calculusYONGGEN GU; GUOQIANG LI; YUXI FU et al.Lecture notes in computer science. 2004, pp 879-887, issn 0302-9743, isbn 3-540-24127-2, 9 p.Conference Paper

Formalizing the environment view of process equivalenceYUXI FU; XIAOJU DONG.Lecture notes in computer science. 2004, pp 336-345, issn 0302-9743, isbn 3-540-24127-2, 10 p.Conference Paper

A mobile application of client-side personalization based on WIPI-platformSANGJUN LEE.Lecture notes in computer science. 2004, pp 903-909, issn 0302-9743, isbn 3-540-24127-2, 7 p.Conference Paper

A parallel optical computer architecture for large database and knowledge based systemsJONG WHOA NA.Lecture notes in computer science. 2004, pp 934-939, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

High order locally one-dimensional method for parabolic problemsKARAA, Samir.Lecture notes in computer science. 2004, pp 124-129, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

Load and performance balancing scheme for heterogeneous parallel processingKIM, Tae-Hyung.Lecture notes in computer science. 2004, pp 298-303, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

A brief review on allometric scaling in biologyHE, Ji-Huan.Lecture notes in computer science. 2004, pp 652-658, issn 0302-9743, isbn 3-540-24127-2, 7 p.Conference Paper

Consistency conditions of the expert rule set in the probabilistic pattern recognitionKURZYNSKI, Marek W.Lecture notes in computer science. 2004, pp 831-836, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

Dual-source backoff for enhancing language modelsSEHYEONG CHO.Lecture notes in computer science. 2004, pp 407-412, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

A MPLS-based micro-mobility supporting scheme in wireless internetSUKYOUNG LEE.Lecture notes in computer science. 2004, pp 160-165, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

FIR filtering based image stabilization mechanism for mobile video appliancesPYUNG SOO KIM.Lecture notes in computer science. 2004, pp 1106-1113, issn 0302-9743, isbn 3-540-24127-2, 8 p.Conference Paper

Reconstruction of human anatomical models from segmented contour linesSHIN, Byeong-Seok.Lecture notes in computer science. 2004, pp 619-624, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

The early and late congruences for asymmetric λ^¬=-calculusFARONG ZHONG.Lecture notes in computer science. 2004, pp 371-378, issn 0302-9743, isbn 3-540-24127-2, 8 p.Conference Paper

p-Belief communication leading to a Nash equilibriumMATSUHISA, Takashi.Lecture notes in computer science. 2004, pp 1114-1120, issn 0302-9743, isbn 3-540-24127-2, 7 p.Conference Paper

Approximate waiting time analysis of burst queue at an edge in optical burst-switched networksSUKYOUNG LEE.Lecture notes in computer science. 2004, pp 142-147, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

A QoS-based access and scheduling algorithm for wireless multimedia communicationsBIN WANG.Lecture notes in computer science. 2004, pp 25-31, issn 0302-9743, isbn 3-540-24127-2, 7 p.Conference Paper

An effective compressed sparse preconditioner for large scale biomolecular simulationsDEXUAN XIE.Lecture notes in computer science. 2004, pp 64-70, issn 0302-9743, isbn 3-540-24127-2, 7 p.Conference Paper

An adaptive two-dimensional mesh refinement method for the problems in Fluid engineeringZHENQUAN LI.Lecture notes in computer science. 2004, pp 118-123, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper