( en | de | ru )

 

Disambiguation of "Liu, Xinxin"

Author of the publication

copydeleteadd this publication to your clipboard
Bisimulation for Higher-Order Pi-calculus.

, and . APLAS, page 216-229. (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xinxin Wang

Xinxin Guo

Xinxin Cui

Xinxin Cui

Xinxin Xie

 

Other publications of authors with the same name

Hybrid Noise Removal in Hyperspectral Imagery With a Spatial-Spectral Gradient Network., , , , , and . CoRR, (2018)Expansive-Bisimulation for Context-Free Processes.. Formal Methods and Hybrid Real-Time Systems, volume 4700 of Lecture Notes in Computer Science, page 472-482. Springer, (2007)A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours., and . LICS, page 1-13. IEEE, (2021)Formal Privacy Analysis of an Electronic Voting Scheme., and . CIS (2), page 283-287. IEEE Computer Society, (2008)978-0-7695-3508-1.Distance and Cooperation Based Broadcast in Wireless Ad Hoc Networks., , , , and . TRIDENTCOM, volume 177 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 168-178. Springer, (2016)Event-triggered controller design for interconnected power systems., , and . IECON, page 5473-5476. IEEE, (2016)Acoustic ranging and communication via microphone channel., , and . GLOBECOM, page 291-296. IEEE, (2012)Towards accurate acoustic localization on a smartphone., , , and . INFOCOM, page 495-499. IEEE, (2013)The dynamics of a harvested predator-prey system with Holling type IV functional response., and . Biosyst., (2018)On the Performance of LAP-Based Multiple-Hop RF/FSO Systems., , , and . IEEE Trans. Aerosp. Electron. Syst., 55 (1): 499-505 (2019)