Bisimulation congruence of X-calculusYUXI FU.Information and computation (Print). 2003, Vol 184, Num 1, pp 201-226, issn 0890-5401, 26 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

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

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

The application of nonaffine network structural model in sine pulsating flow fieldJUAN ZHANG.Lecture notes in computer science. 2004, pp 486-491, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

Improvements to collaborative filtering systemsFU LEE WANG.Lecture notes in computer science. 2004, pp 975-981, issn 0302-9743, isbn 3-540-24127-2, 7 p.Conference Paper

On He Map (River Map) and the oldest scientific management methodHE, Ji-Huan.Lecture notes in computer science. 2004, pp 659-664, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

Scientific computing on commodity graphics hardwareRUIGANG YANG.Lecture notes in computer science. 2004, pp 1100-1105, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

Secrecy of Signals by Typing in Signal TransductionMIN ZHANG; GUOQIANG LI; YUXI FU et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45901-4, Vol2, 384-393Conference Paper

Open bisimulations on Chi processesYUXI FU.Lecture notes in computer science. 1999, pp 304-319, issn 0302-9743, isbn 3-540-66425-4Conference Paper

A generic model for analyzing security protocolsYONGGEN GU; YUXI FU; FARONG ZHONG et al.Lecture notes in computer science. 2005, pp 119-128, issn 0302-9743, isbn 3-540-29113-X, 1Vol, 10 p.Conference Paper

Chi calculus with mismatchYUXI FU; ZHENRONG YANG.Lecture notes in computer science. 2000, pp 596-610, issn 0302-9743, isbn 3-540-67897-2Conference Paper

Representation of the signal transduction with aberrance using Ipi calculusMIN ZHANG; GUOQIANG LI; YUXI FU et al.Lecture notes in computer science. 2004, pp 477-485, issn 0302-9743, isbn 3-540-24127-2, 9 p.Conference Paper

An algorithm for the optimal tuning of fuzzy PID controllers on precision measuring deviceJIA LU; YUNXIA HU.Lecture notes in computer science. 2004, pp 7-12, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper

Genetic algorithms with stochastic ranking for optimal channel assignment in mobile communicationsLIPO WANG; WEN GU.Lecture notes in computer science. 2004, pp 154-159, issn 0302-9743, isbn 3-540-24127-2, 6 p.Conference Paper