Xinxin Liu

According to our database1, Xinxin Liu
  • authored at least 68 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Pilot Reuse and Interference-Aided MMSE Detection for D2D Underlay Massive MIMO.
IEEE Trans. Vehicular Technology, 2017

Event-Triggered Sliding-Mode Control for Multi-Area Power Systems.
IEEE Trans. Industrial Electronics, 2017

Sliding Mode Control of Discrete-Time Switched Systems with Repeated Scalar Nonlinearities.
IEEE Trans. Automat. Contr., 2017

Dynamic joint construction and optimal operation strategy of multi-period reverse logistics network: a case study of Shanghai apparel E-commerce enterprises.
J. Intelligent Manufacturing, 2017

Analyzing divergence in bisimulation semantics.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Negative Results on Decidability and Small Model Property of Process Equations.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Guoguo: Enabling Fine-Grained Smartphone Localization via Acoustic Anchors.
IEEE Trans. Mob. Comput., 2016

Stripe Noise Separation and Removal in Remote Sensing Images by Consideration of the Global Sparsity and Local Variational Properties.
IEEE Trans. Geoscience and Remote Sensing, 2016

A description logic-based policy compliance checker for trust negotiation.
Peer-to-Peer Networking and Applications, 2016

Reduced-order model approximation of fuzzy switched systems with pre-specified performance.
Inf. Sci., 2016

Distance and Cooperation Based Broadcast in Wireless Ad Hoc Networks.
Proceedings of the Testbeds and Research Infrastructures for the Development of Networks and Communities, 2016

2015
Exploring Fine-Grained Resource Rental Planning in Cloud Computing.
IEEE Trans. Cloud Computing, 2015

Pilot Reuse for Device-to-Device Underlay Massive MIMO Systems.
Proceedings of the IEEE 82nd Vehicular Technology Conference, 2015

Large-Scale Fading Based Power Allocation for Device-to-Device Underlay Cellular Communication.
Proceedings of the IEEE 81st Vehicular Technology Conference, 2015

A Low-Complexity Pilot Reuse Scheme to Increase the Throughput of Massive MIMO.
Proceedings of the IEEE 82nd Vehicular Technology Conference, 2015

Joint Design Model of Multi-period Reverse Logistics Network with the Consideration of Carbon Emissions for E-Commerce Enterprises.
Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

2014
Towards efficient and fair resource trading in community-based cloud computing.
J. Parallel Distrib. Comput., 2014

2013
Location Privacy Protection in Mobile Networks.
Springer Briefs in Computer Science, Springer, ISBN: 978-1-4614-9074-6, 2013

SinkTrail: A Proactive Data Reporting Protocol for Wireless Sensor Networks.
IEEE Trans. Computers, 2013

UWB-based Receiver Initiated MAC Protocol with Packet Aggregation and Selective Retransmission.
JCP, 2013

An ontology-based approach to automated trust negotiation.
Computer Standards & Interfaces, 2013

Load balanced routing for low power and lossy networks.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Guoguo: enabling fine-grained indoor localization via smartphone.
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

Towards accurate acoustic localization on a smartphone.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

A game-theoretic approach for achieving k-anonymity in Location Based Services.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

ExoApp: Performance Evaluation of Data-Intensive Applications on ExoGENI.
Proceedings of the 2013 Second GENI Research and Educational Experiment Workshop, 2013

2012
MagicLink: Weaving Multi-site Wireless Sensor Networks for Large-Scale Experiments.
Proceedings of the Testbeds and Research Infrastructure. Development of Networks and Communities, 2012

Specification in PDL with Recursion.
Proceedings of the NASA Formal Methods, 2012

Optimal Resource Rental Planning for Elastic Applications in Cloud Market.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

Privacy Preserving Techniques for Location Based Services in Mobile Networks.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Traffic-aware multiple mix zone placement for protecting location privacy.
Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

Blind Spots: Unveiling users' true willingness in online social networks.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

Acoustic ranging and communication via microphone channel.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

User-centric private matching for eHealth networks - A social perspective.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

2011
A taxonomy of peer-to-peer desktop grid paradigms.
Cluster Computing, 2011

Algorithm and strategy research of generating test paper for large scale online examination.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

EPC: Energy-Aware Probability-Based Clustering Algorithm for Correlated Data Gathering in Wireless Sensor Networks.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

2010
Trailing mobile sinks: A proactive data reporting protocol for Wireless Sensor Networks.
Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

Hypergraph-based task-bundle scheduling towards efficiency and fairness in heterogeneous distributed systems.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Formal security analysis of automated trust negotiation.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010

2009
ASGrid: autonomic management of hybrid sensor grid systems and applications.
IJSNet, 2009

2008
DLBEM: Dynamic load balancing using expectation-maximization.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Autonomic Management of Hybrid Sensor Grid Systems and Applications.
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Formal Privacy Analysis of an Electronic Voting Scheme.
Proceedings of the 2008 International Conference on Computational Intelligence and Security, 2008

2007
A Distributed and Efficient Flooding Scheme Using 1-Hop Information in Mobile Ad Hoc Networks.
IEEE Trans. Parallel Distrib. Syst., 2007

Scheduling Divisible Workloads from Multiple Sources in Linear Daisy Chain Networks.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

A Location Aided Flooding Protocol for Wireless Ad Hoc Networks.
Proceedings of the Mobile Ad-Hoc and Sensor Networks, Third International Conference, 2007

Utility-Based Divisible Sensing Task Scheduling in Wireless Sensor Networks.
Proceedings of the 2007 International Conference on Wireless Networks, 2007

Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.
Proceedings of the Theoretical Aspects of Computing, 2007

Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory.
Proceedings of the Global Communications Conference, 2007

Expansive-Bisimulation for Context-Free Processes.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Efficient Flooding Scheme Based on 1-Hop Information in Mobile Ad Hoc Networks.
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

2005
Distributed Policy Specification and Enforcement in Service-Oriented Business Systems.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Simulation Verification and Validation by Dynamic Policy Enforcement.
Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004
Towards a Theory of Bisimulation for the Higher-Order Process Calculi.
J. Comput. Sci. Technol., 2004

2002
Bisimulation for Higher-Order Pi-calculus.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2000
Concurrent objects as mobile processes.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1998
Partial Confluence of Proceses and Systems of Objects.
Theor. Comput. Sci., 1998

Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1995
A Modal Logic for Message Passing Processes.
Acta Inf., 1995

Confluence of Processes and Systems of Objects.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

A Polymorphic Type System for the Polyadic pi-calculus.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract).
Proceedings of the CONCUR '94, 1994

1993
A Modal Logic for Message passing Processes (Extended Abstract).
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1991
Compositionality through an Operational Semantics of Contexts.
J. Log. Comput., 1991

1990
Equation Solving Using Modal Transition Systems
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Compositionality Through an Operational Semantics of Contexts.
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990


  Loading...