Hao Shi - Citegraph

Author Info

Name	Affiliation	Papers
HAO SHI	School of Computer Science and Mathematics, Victoria University, Australia	25
Collaborators	Citations	PageRank
84	30	9.58
Referers	Referees	References
131	627	202

Search Limit

100627

Publications (25 rows)

Collaborators (84 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms	0	0.34	2020
Iterative Controller Synthesis for Multirobot System	0	0.34	2020
Decentralized Runtime Enforcement For Robotic Swarms	0	0.34	2020
Controller Resynthesis for Multirobot System When Changes Happen	1	0.35	2020
Controller Synthesis for ROS-based Multi-Robot Collaboration.	0	0.34	2020
Effects Of Numerical Integration On Dlm/Fd Method For Solving Interface Problems With Body-Unfitted Meshes	0	0.34	2019
Spatial Enhanced-SSD For Multiclass Object Detection in Remote Sensing Images	0	0.34	2019
A Novel Ship Detection Method Based on Gradient and Integral Feature for Single-Polarization Synthetic Aperture Radar Imagery.	4	0.40	2018
Data-driven Optimization of Order Sets Within an Electronic Health Record System.	0	0.34	2018
Modified Method for Orbit Relative Reachable Domain with State Uncertainties.	0	0.34	2018
Numerical Statistical Analysis On Self-Organizing Behavior Of Microfracturing Events In Rock Failure	0	0.34	2018
A SoPC based Fixed Point System for Spaceborne SAR Real-Time Imaging Processing	0	0.34	2018
Development of a Machine Learning Model for Prediction of Successful Extubation and User-Friendly Implementation for Real-World Use.	0	0.34	2018
On-Board, Real-Time Preprocessing System for Optical Remote-Sensing Imagery.	3	0.66	2018
Real-Time Spaceborne Synthetic Aperture Radar Float-Point Imaging System Using Optimized Mapping Methodology and a Multi-Node Parallel Accelerating Technique.	3	0.48	2018
Monitor Synthesis for Parametric MTL Properties in Discrete Control Software	0	0.34	2017
Hiding debuggers from malware with apate.	1	0.35	2017
Breast tumor segmentation with prior knowledge learning.	7	0.58	2017
Robust texture analysis of multi-modal images using Local Structure Preserving Ranklet and multi-task learning for breast tumor diagnosis.	1	0.40	2017
Do you see me now? Sparsity in passive observations of address liveness.	1	0.35	2017
Optimizing Monitor Code Based on Patterns in Runtime Verification	0	0.34	2017
Harbor Water Area Extraction From Pan-Sharpened Remotely Sensed Images Based on the Definition Circle Model.	3	0.41	2017
Quantification of transplant-derived circulating cell-free DNA in absence of a donor genotype.	0	0.34	2017
Safe and automated live malware experimentation on public testbeds	2	0.38	2014
BPEL4RBAC: An Authorisation Specification for WS-BPEL	4	0.49	2008