Yuan Feng

According to our database1, Yuan Feng
  • authored at least 132 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Precisely deciding CSL formulas through approximate model checking for CTMCs.
J. Comput. Syst. Sci., 2017

Study of Multirate Sampled Acquisition of Lightning Current Waveform Based on Short-Time Fourier Transform.
JACIII, 2017

Super-activating Quantum Memory with Entanglement.
CoRR, 2017

Quantum Privacy-Preserving Perceptron.
CoRR, 2017

Quantum Privacy-Preserving Data Analytics.
CoRR, 2017

Reliable Portfolio Selection Problem in Fuzzy Environment: An mλ Measure Based Approach.
Algorithms, 2017

CPCA: The Cloud Platform of Complex Virtual Instruments System Architecture.
IEEE Access, 2017

Using Observational Engagement Assessment Method VC-IOE for Evaluating an Interactive Table Designed for Seniors with Dementia.
Proceedings of the Smart Health - International Conference, 2017

ProEva: runtime proactive performance evaluation based on continuous-time markov chains.
Proceedings of the 39th International Conference on Software Engineering, 2017

Understanding the efficiency of cooperation in location-aware wireless networks.
Proceedings of the 2017 IEEE International Conference on Communications Workshops, 2017

Model Checking Omega-regular Properties for Quantum Markov Chains .
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters.
IEEE Trans. Software Eng., 2016

A Novel Two-Dimensional Sparse-Weight NLMS Filtering Scheme for Passive Bistatic Radar.
IEEE Geosci. Remote Sensing Lett., 2016

Verify LTL with Fairness Assumptions Efficiently.
CoRR, 2016

Verify LTL with Fairness Assumptions Efficiently.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

User Identification and Authentication Using Keystroke Dynamics with Acoustic Signal.
Proceedings of the 12th International Conference on Mobile Ad-Hoc and Sensor Networks, 2016

A Novel Clutter Suppression Technique in Pulse Radar Exploiting Adaptive Filter.
Proceedings of the 8th International Conference on Signal Processing Systems, 2016

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Structured Degradation Model for Object Tracking in Non-uniform Degraded Videos.
Proceedings of the Pattern Recognition - 7th Chinese Conference, 2016

Analysis of closed loop production lines in automotive body shops.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015
Redundancy Elimination in DTN via ACK Mechanism.
ICST Trans. Security Safety, 2015

Minimum guesswork discrimination between quantum states.
Quantum Information & Computation, 2015

On hybrid models of quantum finite automata.
J. Comput. Syst. Sci., 2015

Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties.
Inf. Comput., 2015

A nearly optimal upper bound for the self-stabilization time in Herman's algorithm.
Distributed Computing, 2015

Quantum Privacy-Preserving Data Mining.
CoRR, 2015

Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties.
CoRR, 2015

Toward automatic verification of quantum cryptographic protocols.
CoRR, 2015

Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.
CoRR, 2015

Extend Transferable Belief Models with Probabilistic Priors.
Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Planning for Stochastic Games with Co-Safe Objectives.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

QPMC: A Model Checker for Quantum Programs and Protocols.
Proceedings of the FM 2015: Formal Methods, 2015

Toward Automatic Verification of Quantum Cryptographic Protocols.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

On Coinduction and Quantum Lambda Calculi.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Waving Authentication: Your Smartphone Authenticate You on Motion Gesture.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

Decentralized Bisimulation for Multiagent Systems.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Model-Checking Linear-Time Properties of Quantum Systems.
ACM Trans. Comput. Log., 2014

Symbolic Bisimulation for Quantum Processes.
ACM Trans. Comput. Log., 2014

Price Competition in an Oligopoly Market with Multiple IaaS Cloud Providers.
IEEE Trans. Computers, 2014

Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.
CoRR, 2014

A hybrid simulation approach to dynamic multi-skilled workforce planning of production line.
Proceedings of the 2014 Winter Simulation Conference, 2014

WaP: Indoor localization and tracking using WiFi-Assisted Particle filter.
Proceedings of the IEEE 39th Conference on Local Computer Networks, 2014

Ready, Set, Go: Coalesced offloading from mobile devices to the cloud.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Towards performance-centric fairness in datacenter networks.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Time synchronization for underwater sensor networks based on multi-source beacon fusion.
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

When Equivalence and Bisimulation Join Forces in Probabilistic Automata.
Proceedings of the FM 2014: Formal Methods, 2014

A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Perturbation Analysis in Verification of Discrete-Time Markov Chains.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
Verification of quantum programs.
Sci. Comput. Program., 2013

Research and Design of Water Pump Diagnosis System Based on Wavelet Transform and DSP.
JSW, 2013

Model checking quantum Markov chains.
J. Comput. Syst. Sci., 2013

A tighter bound for the self-stabilization time in Herman's algorithm.
Inf. Process. Lett., 2013

Quantum Information-Flow Security: Noninterference and Access Control
CoRR, 2013

When Equivalence and Bisimulation Join Forces in Probabilistic Automata.
CoRR, 2013

Reachability Analysis of Recursive Quantum Markov Chains.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

The influence of driving form on stability control in in-wheel-motor EV.
Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2013

Bellini: Ferrying application traffic flows through geo-distributed datacenters in the cloud.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

Quantum Information-Flow Security: Noninterference and Access Control.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Reachability Probabilities of Quantum Markov Chains.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

The Change of Resting EEG in Depressive Disorders.
Proceedings of the Brain and Health Informatics - International Conference, 2013

A Discrete Event Simulation Based Production Line Optimization through Markov Decision Process.
Proceedings of the AsiaSim 2013, 2013

2012
Bisimulation for Quantum Processes.
ACM Trans. Program. Lang. Syst., 2012

GestureFlow: QoE-Aware Streaming of Multi-TouchGestures in Interactive Multimedia Applications.
IEEE Journal on Selected Areas in Communications, 2012

Design of Wireless Sensor Network-Based Greenhouse Environment Monitoring and Automatic Control System.
JNW, 2012

Design and Analysis for Reliability of Wireless Sensor Network.
JNW, 2012

Defining Quantum Control Flow
CoRR, 2012

On hybrid models of quantum finite automata
CoRR, 2012

Model checking quantum Markov chains
CoRR, 2012

Symbolic bisimulation for quantum processes
CoRR, 2012

Open Bisimulation for Quantum Processes
CoRR, 2012

Modeling and characteristic analysis of underwater acoustic signal of the accelerating propeller.
SCIENCE CHINA Information Sciences, 2012

MusicScore: mobile music composition for practice and fun.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

Jetway: minimizing costs on inter-datacenter video traffic.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

A LTCC miniaturized broadband modified Marchand balun.
Proceedings of the International Symposium on Communications and Information Technologies, 2012

Socialize spontaneously with mobile applications.
Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

Bargaining towards maximized resource utilization in video streaming datacenters.
Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

Open Bisimulation for Quantum Processes.
Proceedings of the Theoretical Computer Science, 2012

Airlift: Video conferencing as a cloud service using inter-datacenter networks.
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Postcard: Minimizing Costs on Inter-Datacenter Traffic with Store-and-Forward.
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

A Potential Approach to Efficient, Multiplicative and Symmetric Values for TU Games.
Proceedings of the 11th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2012

CCSA: A Cloud Computing Service Architecture for Sensor Networks.
Proceedings of the 2012 International Conference on Cloud and Service Computing, 2012

2011
A Flowchart Language for Quantum Programming.
IEEE Trans. Software Eng., 2011

Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting.
Quantum Information & Computation, 2011

Complex system maintainability verification with limited samples.
Microelectronics Reliability, 2011

Design of Greenhouse Control System Based on Wireless Sensor Networks and AVR Microcontroller.
JNW, 2011

Design of LED Display Control System Based on AT89C52 Single Chip Microcomputer.
JCP, 2011

Verification of Quantum Programs
CoRR, 2011

Bisimulation for quantum processes.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

When multi-touch meets streaming.
Proceedings of the 10th International Conference on Mobile and Ubiquitous Multimedia, 2011

PSD: One-to-Many Routing Protocol for Publish/Subscribe Applications in DTN.
Proceedings of the Mobile Wireless Middleware, Operating Systems, and Applications, 2011

Partner Selection for Design Chain Based on Osculating Value Method.
Proceedings of the 4th International Symposium on Computational Intelligence and Design, 2011

GestureFlow: Streaming gestures to an audience.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

A preliminary study on impervious surface area dynamics and water quality response at watershed scale.
Proceedings of the IEEE International Conference on Spatial Data Mining and Geographical Knowledge Services, 2011

2010
Peer-Assisted Media Streaming: A Holistic Review.
Proceedings of the Intelligent Multimedia Communication: Techniques and Applications, 2010

Perpendicular Intersection: Locating Wireless Sensors With Mobile Beacon.
IEEE Trans. Vehicular Technology, 2010

ISDP: Interactive Software Development Platform for Household Appliance Testing Industry.
IEEE Trans. Instrumentation and Measurement, 2010

Oceansense: monitoring the sea with wireless sensor networks.
Mobile Computing and Communications Review, 2010

Selective aberrant functional connectivity of resting state networks in social anxiety disorder.
NeuroImage, 2010

Efficient and adaptive transmission algorithms for underwater acoustic networks.
Comput. Syst. Sci. Eng., 2010

Bisimulation for quantum processes
CoRR, 2010

Quantum loop programs.
Acta Inf., 2010

Peer-to-peer bargaining in container-based datacenters.
Proceedings of the 9th international conference on Peer-to-peer systems, 2010

Peer-assisted VoD prefetching in double auction markets.
Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010

2009
An algebra of quantum processes.
ACM Trans. Comput. Log., 2009

Characterizing locally indistinguishable orthogonal product states.
IEEE Trans. Information Theory, 2009

Distinguishability of Quantum States by Separable Operations.
IEEE Trans. Information Theory, 2009

An Algebraic Language for Distributed Quantum Computing.
IEEE Trans. Computers, 2009

Energy Balanced Strategies for Maximizing the Lifetime of Sparsely Deployed Underwater Acoustic Sensor Networks.
Sensors, 2009

Introduction to the Teaching Reform of the Course "Computer Organization Principles".
Proceedings of the International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, 2009

Improving Teaching Quality through the Conversion of Research Production.
Proceedings of the International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, 2009

System Optimization for Design Chain Based on Entropy Theory.
Proceedings of the 2009 Pacific-Asia Conference on Circuits, Communications and Systems, 2009

EDA: Event-oriented data aggregation in sensor networks.
Proceedings of the 28th International Performance Computing and Communications Conference, 2009

A Test Platform for Household Appliances Based on Web Services.
Proceedings of the Fourth ChinaGrid Annual Conference, ChinaGrid 2009, Yantai, Shandong, 2009

2008
Parameter Estimation of Quantum Channels.
IEEE Trans. Information Theory, 2008

An Efficient Resource Management Scheme with Guaranteed QoS of Heterogeneous Services in MIMO-OFDM System.
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

Perpendicular Intersection: Locating Wireless Sensors with Mobile Beacon.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

An Adaptive Transmission Control Mechanism for Underwater Acoustic Sensor Network.
Proceedings of the IFIP International Conference on Network and Parallel Computing, 2008

EBMD: Energy-Balanced Multi-path Data Propation Algorithm for Sensor Networks.
Proceedings of the IFIP International Conference on Network and Parallel Computing, 2008

Energy-Predicted Shortest Routing Tree Algorithm in Wireless Sensor Networks.
Proceedings of the Advances in Computation and Intelligence, Third International Symposium, 2008

TC: The Transmission Control Strategy for Restricted Floating Sensor Network.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

Image Restoration Based on Wavelet-Domain Contextual Hidden Markov Tree Model.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Proof rules for the correctness of quantum programs.
Theor. Comput. Sci., 2007

Commutativity of quantum weakest preconditions.
Inf. Process. Lett., 2007

Probabilistic bisimulations for quantum processes.
Inf. Comput., 2007

Structure optimization of the endoscopic robot ciliary leg based on dimensional analysis.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007

Constructing Incentive Oriented Overlay on Mobile Peer-to-Peer Networks.
Proceedings of the 2007 International Conference on Parallel Processing Workshops (ICPP Workshops 2007), 2007

2006
Partial Recovery of Quantum Entanglement.
IEEE Trans. Information Theory, 2006

Some Issues in Quantum Information Theory.
J. Comput. Sci. Technol., 2006

Probabilistic bisimilarities between quantum processes
CoRR, 2006

2005
Catalyst-assisted probabilistic entanglement transformation.
IEEE Trans. Information Theory, 2005

Proof rules for purely quantum programs
CoRR, 2005

2004
Process Algebra Approach to Reasoning About Concurrent Actions.
J. Comput. Sci. Technol., 2004


  Loading...