Xiaoxiao Yang

Orcid: 0000-0001-6442-840X

According to our database1, Xiaoxiao Yang authored at least 43 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Transendoscopic flexible parallel continuum robotic mechanism for bimanual endoscopic submucosal dissection.
Int. J. Robotics Res., March, 2024

OSSAR: Towards Open-Set Surgical Activity Recognition in Robot-assisted Surgery.
CoRR, 2024

2023
An Efficient Hybrid Graph Network Model for Traveling Salesman Problem with Drone.
Neural Process. Lett., December, 2023

SAVAnet: Surgical Action-Driven Visual Attention Network for Autonomous Endoscope Control.
IEEE Trans Autom. Sci. Eng., October, 2023

AMagPoseNet: Real-Time Six-DoF Magnet Pose Estimation by Dual-Domain Few-Shot Learning From Prior Model.
IEEE Trans. Ind. Informatics, 2023

Research on Improving Gray Wolf Algorithm Based on Multi-Strategy Fusion.
IEEE Access, 2023

2022
scAPAatlas: an atlas of alternative polyadenylation across cell types in human and mouse.
Nucleic Acids Res., 2022

A Miniature 3-DoF Flexible Parallel Robotic Wrist Using NiTi Wires for Gastrointestinal Endoscopic Surgery.
CoRR, 2022

Recognition of Degradation Scenarios for LiDAR SLAM Applications.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022

GESRsim: Gastrointestinal Endoscopic Surgical Robot Simulator.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

BAANet: Learning Bi-directional Adaptive Attention Gates for Multispectral Pedestrian Detection.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Few-shot Edge Classification in Graph Meta-learning.
Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022

2021
Online robust echo state broad learning system.
Neurocomputing, 2021

Incentive mechanism based on Stackelberg game under reputation constraint for mobile crowdsensing.
Int. J. Distributed Sens. Networks, 2021

BAANet: Learning Bi-directional Adaptive Attention Gates for Multispectral Pedestrian Detection.
CoRR, 2021

A New Extended State Observer.
Proceedings of the ICISCAE 2021: 4th International Conference on Information Systems and Computer Aided Education, Dalian, China, September 24, 2021

Dynamic Hypergraph Regularized Broad Learning System for Image Classification.
Proceedings of the Image and Graphics - 11th International Conference, 2021

Photometric Stereo Based on Multiple Kernel Learning.
Proceedings of the Image and Graphics - 11th International Conference, 2021

2020
A Joint Constraint Incentive Mechanism Algorithm Utilizing Coverage and Reputation for Mobile Crowdsensing.
Sensors, 2020

Indoor Test System for Liquid CO2 Phase Change Shock Wave Pressure with PVDF Sensors.
Sensors, 2020

Vortex dislocation characteristics of a dual-step cylinder in low-Re flow.
Int. J. Comput. Appl. Technol., 2020

Learning Consistency Pursued Correlation Filters for Real-Time UAV Tracking.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Research on CIM Basic Platform Construction.
Proceedings of the ICIT 2020, 2020

2018
The Effect Race in Fine-Grained Concurrency.
CoRR, 2018

Branching Bisimulation and Concurrent Object Verification.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation.
CoRR, 2017

A Robust Hand Cursor Interaction Method Using Kinect.
Proceedings of the 19th IEEE International Symposium on Multimedia, 2017

2016
Proving Linearizability via Branching Bisimulation.
CoRR, 2016

Performance Evaluation of Concurrent Data Structures.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

An Adaptive Strategy for an Immersive Visuo-Haptic Attention Training Game.
Proceedings of the Haptics: Perception, Devices, Control, and Applications, 2016

2014
Force Control Tasks with Pure Haptic Feedback Promote Short-Term Focused Attention.
IEEE Trans. Haptics, 2014

A temporal programming model with atomic blocks based on projection temporal logic.
Frontiers Comput. Sci., 2014

Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

2012
A Concurrent Temporal Programming Model with Atomic Blocks.
Proceedings of the Formal Methods and Software Engineering, 2012

2011
A Probabilistic Variant of Projection Temporal Logic
CoRR, 2011

2010
Axiomatic semantics of projection temporal logic programs.
Math. Struct. Comput. Sci., 2010

Probabilistic Model Checking for Propositional Projection Temporal Logic
CoRR, 2010

Axiomatic Temporal Logic Programs Verification.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2008
Framed temporal logic programming.
Sci. Comput. Program., 2008

Operational semantics of Framed Tempura.
J. Log. Algebraic Methods Program., 2008

2007
An Interpreter for Framed Tempura and Its Application.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Operational Semantics of Framed Temporal Logic Programs.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2005
Semantics of Framed Temporal Logic Programs.
Proceedings of the Logic Programming, 21st International Conference, 2005


  Loading...