Hao Wang

Proceedings of the IEEE Global Communications Conference, 2022

A Fast Block-Based Feature Method for Low Cost Dynamic Objects Detection.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022

CE-GAN : A Camera Image Enhancement Generative Adversarial Network for Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022

Multi-label Abdominal Image Segmentation with Partially Labeled Data: A Prototypical Consistent Learning Perspective.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

2021

Blockchain-Based Power Energy Trading Management.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2021

SOS: NDN Based Service-Oriented Game-Theoretic Efficient Security Scheme for IoT Networks.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2021

ContractWard: Automated Vulnerability Detection Models for Ethereum Smart Contracts.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Sci. Eng., 2021

Wide-Attention and Deep-Composite Model for Traffic Flow Prediction in Transportation Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

A Feature Discretization Method for Classification of High-Resolution Remote Sensing Images in Coastal Areas.

[BibT_eX]

[DOI]

Qiong Chen

Mengxing Huang

IEEE Trans. Geosci. Remote. Sens., 2021

Dual Calibration Mechanism Based L<sub>2</sub>, p-Norm for Graph Matching.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2021

Activity-Driven Task Allocation in Energy-Constrained Heterogeneous GPUs Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Augmented Data Selector to Initiate Text-Based CAPTCHA Attack.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2021

Blockchain-Based Privacy Preservation for 5G-Enabled Drone Communications.

[BibT_eX]

[DOI]

Yulei Wu

Kim-Kwang Raymond Choo

IEEE Netw., 2021

Deep Learning for Mobile Crowdsourcing Techniques, Methods, and Challenges: A Survey.

[BibT_eX]

[DOI]

Mob. Inf. Syst., 2021

EZPlugIn: Plug-n-Play Framework for a Heterogeneous Iot Infrastructure for Smart Home.

[BibT_eX]

[DOI]

Pushpendu Kar

IEEE Internet Things Mag., 2021

Blockchain-Empowered Edge Intelligence for Internet of Medical Things Against COVID-19.

[BibT_eX]

[DOI]

IEEE Internet Things Mag., 2021

Convergence of Blockchain and Edge Computing for Secure and Scalable IIoT Critical Infrastructures in Industry 4.0.

[BibT_eX]

[DOI]

Yulei Wu

IEEE Internet Things J., 2021

An attention-based category-aware GRU model for the next POI recommendation.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2021

SEENS: Nuclei segmentation in Pap smear images with selective edge enhancement.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2021

Selection strategy in graph-based spreading dynamics with limited capacity.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2021

Forecasting cryptocurrency price using convolutional neural networks with weighted and attentive memory channels.

[BibT_eX]

[DOI]

Miguel Martinez-Garcia

Expert Syst. Appl., 2021

Evolutionary community discovery in dynamic social networks via resistance distance.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2021

A geographic routing protocol based on trunk line in VANETs.

[BibT_eX]

[DOI]

Digit. Commun. Networks, 2021

A new replica placement mechanism for mobile media streaming in edge computing.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2021

A deep learning based non-intrusive household load identification for smart grid in China.

[BibT_eX]

[DOI]

Comput. Commun., 2021

Deep learning for privacy preservation in autonomous moving platforms enhanced 5G heterogeneous networks.

[BibT_eX]

[DOI]

Comput. Networks, 2021

An intrusion detection method for industrial control systems based on bidirectional simple recurrent unit.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2021

Sport Location-Based User Clustering With Privacy-Preservation in Wireless IoT-Driven Healthcare.

[BibT_eX]

[DOI]

IEEE Access, 2021

A Probabilistic Broadcasting Scheme for Emergent Message Dissemination in Urban Internet of Vehicles.

[BibT_eX]

[DOI]

IEEE Access, 2021

A Case-Based Reasoning Solution for Urban Drinking Water Quality Control.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Perceiving the Narrative Style for Fake News Detection Using Deep Learning.

[BibT_eX]

[DOI]

Inflow Forecasting Based On Principal Component Analysis and Long Short Term Memory.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl Conf on Dependable, 2021

2020

Service Recommendation with High Accuracy and Diversity.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2020

Trust-Based Missing Link Prediction in Signed Social Networks with Privacy Preservation.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2020

Quality Risk Analysis for Sustainable Smart Water Supply Using Data Perception.

[BibT_eX]

[DOI]

IEEE Trans. Sustain. Comput., 2020

A Secure Random Key Distribution Scheme Against Node Replication Attacks in Industrial Wireless Sensor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2020

Energy Optimization by Software Prefetching for Task Granularity in GPU-Based Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2020

On Privacy Aware Carriers for Value-Possessed e-Invoices Considering Intelligence Mining.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput. Intell., 2020

Sensing Users' Emotional Intelligence in Social Networks.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2020

HUCDO: A Hybrid User-centric Data Outsourcing Scheme.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2020

Kernelized dual regression incorporating local information for image set classification.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2020

A multivariable optical remote sensing image feature discretization method applied to marine vessel targets recognition.

[BibT_eX]

[DOI]

Mengxing Huang

Qiong Chen

Multim. Tools Appl., 2020

Deep-Learning-Enhanced Human Activity Recognition for Internet of Healthcare Things.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2020

Smart data driven quality prediction for urban water source management.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

Blockchain-based data privacy management with Nudge theory in open banking.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

New advancement in information technologies for industry 4.0.

[BibT_eX]

[DOI]

Gang Li

Wibowo Hardjawana

Enterp. Inf. Syst., 2020

Big data analytics for manufacturing internet of things: opportunities, challenges and enabling technologies.

[BibT_eX]

[DOI]

Enterp. Inf. Syst., 2020

SFE-GACN: A Novel Unknown Attack Detection Method Using Intra Categories Generation in Embedding Space.

[BibT_eX]

[DOI]

CoRR, 2020

Am I eclipsed? A smart detector of eclipse attacks for Ethereum.

[BibT_eX]

[DOI]

Comput. Secur., 2020

Security-Driven hybrid collaborative recommendation method for cloud-based iot services.

[BibT_eX]

[DOI]

Comput. Secur., 2020

UAV-enabled data acquisition scheme with directional wireless energy transfer for Internet of Things.

[BibT_eX]

[DOI]

Comput. Commun., 2020

Precious Metal Price Prediction Based on Deep Regularization Self-Attention Regression.

[BibT_eX]

[DOI]

IEEE Access, 2020

Secure User Privacy in Population Physique Clustering and Prediction Based on Sport Questionnaires.

[BibT_eX]

[DOI]

IEEE Access, 2020

Weakly-Supervised Network for Detection of COVID-19 in Chest CT Scans.

[BibT_eX]

[DOI]

IEEE Access, 2020

Control Strategy for Denitrification Efficiency of Coal-Fired Power Plant Based on Deep Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Access, 2020

Calibrating User Response Predictions in Online Advertising.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases: Applied Data Science Track, 2020

Toward A Sustainable Cyber-Physical System Architecture for Urban Water Supply System**This work was supported by KLIMAFORSK programme(No. 244147/E10) from Research Council of Norway.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2020

DHD-Net: A Novel Deep-Learning-based Dehazing Network.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

A Novel Ensemble Representation Framework for Sentiment Classification.

[BibT_eX]

[DOI]

Mengtao Sun

Ibrahim A. Hameed

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Fused 3-Stage Image Segmentation for Pleural Effusion Cell Clusters.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Pattern Recognition, 2020

Web-based Scalable Visual Exploration of Large Multidimensional Data Using Human-in-the-Loop Edge Bundling in Parallel Coordinates.

[BibT_eX]

[DOI]

Wenqiang Cui

Girts Strazdins

Proceedings of the Workshops of the EDBT/ICDT 2020 Joint Conference, 2020

LSH-based Collaborative Recommendation Method with Privacy-Preservation.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2019

Lightweight Convolution Neural Networks for Mobile Edge Computing in Transportation Cyber Physical Systems.

[BibT_eX]

[DOI]

Junhao Zhou

ACM Trans. Intell. Syst. Technol., 2019

A Rhombic Dodecahedron Topology for Human-Centric Banking Big Data.

[BibT_eX]

[DOI]

Shenglan Ma

IEEE Trans. Comput. Soc. Syst., 2019

SCTSC: A Semicentralized Traffic Signal Control Mode With Attribute-Based Blockchain in IoVs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2019

Adversarial Samples on Android Malware Detection Systems for IoT Systems.

[BibT_eX]

[DOI]

Sensors, 2019

UAV-enabled friendly jamming scheme to secure industrial Internet of Things.

[BibT_eX]

[DOI]

J. Commun. Networks, 2019

Privacy-preserving data search with fine-grained dynamic search right management in fog-assisted Internet of Things.

[BibT_eX]

[DOI]

Inf. Sci., 2019

Energy optimization of parallel programs in a heterogeneous system by combining processor core-shutdown and dynamic voltage scaling.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

LoC - A new financial loan management system based on smart contracts.

[BibT_eX]

[DOI]

Chaonian Guo

Shuhan Cheng

Future Gener. Comput. Syst., 2019

Big Data Analytics for Large-scale Wireless Networks: Challenges and Opportunities.

[BibT_eX]

[DOI]

Raymond Chi-Wing Wong

Zibin Zheng

Athanasios V. Vasilakos

ACM Comput. Surv., 2019

Confluent-Drawing Parallel Coordinates: Web-Based Interactive Visual Analytics of Large Multi-Dimensional Data.

[BibT_eX]

[DOI]

Wenqiang Cui

Girts Strazdins

CoRR, 2019

Whole procedure heterogeneous multiprocessors low-power optimization at algorithm-level.

[BibT_eX]

[DOI]

Clust. Comput., 2019

A Study on Sensitive Bands of EEG Data under Different Mental Workloads.

[BibT_eX]

[DOI]

Algorithms, 2019

Sentiment Analysis of Chinese Microblog Based on Stacked Bidirectional LSTM.

[BibT_eX]

[DOI]

IEEE Access, 2019

DT-CP: A Double-TTPs-Based Contract-Signing Protocol With Lower Computational Cost.

[BibT_eX]

[DOI]

IEEE Access, 2019

Detection and Classification of Moving Vehicle From Video Using Multiple Spatio-Temporal Features.

[BibT_eX]

[DOI]

IEEE Access, 2019

TAW: Cost-Effective Threshold Authentication With Weights for Internet of Things.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Novel Algorithm for Estimating Purchase Incentive of the Public Based on Mobile Cloud Computing.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Self-Adaptive Process Mining Algorithm Based on Information Entropy to Deal With Uncertain Data.

[BibT_eX]

[DOI]

IEEE Access, 2019

Bid Optimization by Multivariable Control in Display Advertising.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

Portable Convolution Neural Networks for Traffic Sign Recognition in Intelligent Transportation Systems.

[BibT_eX]

[DOI]

Junhao Zhou

Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Terahertz Image Super-Resolution Reconstruction of Passive Safety Inspection Based on Generative Adversarial Network.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Multi-Scale Feature Pair Based R-CNN Method for Defect Detection.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Multi-Parameter Performance Modeling Based on Machine Learning with Basic Block Features.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

Edge Computing-Enabled Resource Provisioning for Video Surveillance in Internet of Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Smart City and Informatization - 7th International Conference, 2019

Virtual Environment Model of Glucose Homeostasis for Diabetes Patients.

[BibT_eX]

[DOI]

Neeraj Kumar Singh

Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

FADBM: Frequency-Aware Dummy-Based Method in Long-Term Location Privacy Protection.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

MHDT: A Deep-Learning-Based Text Detection Algorithm for Unstructured Data in Banking.

[BibT_eX]

[DOI]

Proceedings of the 2019 11th International Conference on Machine Learning and Computing, 2019

Poster: UAV-enabled Data Acquisition Scheme with Directional Wireless Energy Transfer.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, 2019

Blockchain-Powered Service Migration for Uncertainty-Aware Workflows in Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the Dependability in Sensor, Cloud, and Big Data Systems and Applications, 2019

A Tensor Model for Quality Analysis in Industrial Drinking Water Supply System.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

Gold Price Forecast Based on LSTM-CNN Model.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

Collaborative Analysis for Computational Risk in Urban Water Supply Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

Blockchain Dividing Based on Node Community Clustering in Intelligent Manufacturing CPS.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain, 2019

2018

A Clinical Decision Support Framework for Heterogeneous Data Sources.

[BibT_eX]

[DOI]

IEEE J. Biomed. Health Informatics, 2018

A Novel Friendly Jamming Scheme in Industrial Crowdsensing Networks against Eavesdropping Attack.

[BibT_eX]

[DOI]

Sensors, 2018

Large scale integration of wireless sensor network technologies for air quality monitoring at a logistics shipping base.

[BibT_eX]

[DOI]

Judith Molka-Danielsen

Per Engelseth

J. Ind. Inf. Integr., 2018

Three-level performance optimization for heterogeneous systems based on software prefetching under power constraints.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Budget Constrained Bidding by Model-free Reinforcement Learning in Display Advertising.

[BibT_eX]

[DOI]

CoRR, 2018

Relevant Feedback Based Accurate and Intelligent Retrieval on Capturing User Intention for Personalized Websites.

[BibT_eX]

[DOI]

IEEE Access, 2018

Remaining Useful Life Prediction for Lithium-Ion Battery: A Deep Learning Approach.

[BibT_eX]

[DOI]

IEEE Access, 2018

Prediction of Bearing Remaining Useful Life With Deep Convolution Neural Network.

[BibT_eX]

[DOI]

IEEE Access, 2018

Intrusion Detection Based on Parallel Intelligent Optimization Feature Extraction and Distributed Fuzzy Clustering in WSNs.

[BibT_eX]

[DOI]

IEEE Access, 2018

Connectivity of underwater cognitive acoustic networks under spectrum constraint.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM International Conference on Underwater Networks & Systems, 2018

R-PCNN Method to Rapidly Detect Objects on THz Images in Human Body Security Checks.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

Banking Comprehensive Risk Management System Based on Big Data Architecture of Hybrid Processing Engines and Databases.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

FeT: Hybrid Cloud-Based Mobile Bank Application Testing.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

SecureIoT: Hop-Count Based Service-Oriented Efficient Security Solution for IoT.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Future Industrial Communication Networks, 2018

Smart Data Analysis for Water Quality in Catchment Area Monitoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

When Friendly Jamming Meets Wireless Energy Transfer.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

An Efficient Greedy Algorithm for Wide Band Spectrum Sensing in Cognitive Radio Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

LoC: Poverty Alleviation Loan Management System Based on Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Nudging Data Privacy Management of Open Banking Based on Blockchain.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Pervasive Systems, 2018

Fraud Risk Monitoring System for E-Banking Transactions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 16th Intl Conf on Dependable, 2018

Budget Constrained Bidding by Model-free Reinforcement Learning in Display Advertising.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

2017

On Capacity and Delay of Multichannel Wireless Networks With Infrastructure Support.

[BibT_eX]

[DOI]

Raymond Chi-Wing Wong

IEEE Trans. Veh. Technol., 2017

Link Connectivity and Coverage of Underwater Cognitive Acoustic Networks under Spectrum Constraint.

[BibT_eX]

[DOI]

Sensors, 2017

A New Anomaly Detection System for School Electricity Consumption Data.

[BibT_eX]

[DOI]

Wenqiang Cui

Inf., 2017

Impact of outcome-based education on software engineering teaching: A case study.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Conference on Teaching, 2017

Data-Driven QoE Analysis on Video Streaming in Mobile Networks.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Data-Driven Maritime Processes Management Using Executable Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2016

On Modeling Eavesdropping Attacks in Underwater Acoustic Sensor Networks.

[BibT_eX]

[DOI]

Sensors, 2016

On Performance Analysis of Protective Jamming Schemes in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Sensors, 2016

An Analytical Study on Eavesdropping Attacks in Wireless Nets of Things.

[BibT_eX]

[DOI]

Mob. Inf. Syst., 2016

Towards High Performance Text Mining: A TextRank-based Method for Automatic Text Summarization.

[BibT_eX]

[DOI]

Int. J. Grid High Perform. Comput., 2016

On Capacity and Delay of Multi-channel Wireless Networks with Infrastructure Support.

[BibT_eX]

[DOI]

Hongning Dai

Raymond Chi-Wing Wong

CoRR, 2016

On analyzing eavesdropping behaviours in underwater acoustic sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM International Conference on Underwater Networks & Systems, 2016

Clustering Methods for Electricity Consumers: An Empirical Study in Hvaler - Norway.

[BibT_eX]

[DOI]

The-Hien Dang-Ha

Roland Olsson

Proceedings of the 29th Norsk Informatikkonferanse, 2016

3D-LSR: A New Model for Skeletal Representation and Segmentation.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

On Channel Allocation of Directional Wireless Networks Using Multiple Channels.

[BibT_eX]

[DOI]

Hongning Dai

Hong Xiao

Proceedings of the Eleventh International Network Conference, 2016

Parallelizing Simulated Annealing Algorithm in Many Integrated Core Architecture.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

Friendly-Jamming: An Anti-Eavesdropping Scheme in Wireless Networks of Things.

[BibT_eX]

[DOI]

Xuran Li

Proceedings of the 2016 IEEE Global Communications Conference, 2016

On Eavesdropping Attacks in Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

Performance Comparison of Classification Methods for Surface EMG-Based Human-Machine Interface.

[BibT_eX]

[DOI]

Chun Yang

Jinyi Long

Int. J. Grid High Perform. Comput., 2015

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

PPeLE: A photo-processing e-leaming environment based on HTML5.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Teaching, 2015

Towards a Random Walk Controller for Block Management and Wear Leveling in Flash Memory.

[BibT_eX]

[DOI]

Jiani Lan

Xinyuan Lou

Proceedings of the 2015 IEEE International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2 2015, 2015

The Role of Big Data on Smart Grid Transition.

[BibT_eX]

[DOI]

The-Hien Dang-Ha

Roland Olsson

Proceedings of the 2015 IEEE International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2 2015, 2015

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.

[BibT_eX]

[DOI]

Neeraj Kumar Singh

Thomas Stephen Edward Maibaum

Mark Lawford

Alan Wassyng

Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Scalable And User-Friendly Simulation.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Modelling and Simulation, 2015

Eavesdropping attacks in underwater acoustic networks.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information, 2015

Open security and privacy challenges for the Internet of Things.

[BibT_eX]

[DOI]

Girts Strazdins

Proceedings of the 10th International Conference on Information, 2015

2014

Envisioning a Requirements Specification Template for Medical Device Software.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2014

Formalizing the Glucose Homeostasis Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

2013

Insulin Pump Software Certification.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Usage-pattern based Statistical Web Testing and Reliability Measurement.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013

2012

A Model Slicing Method for Workflow Verification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

A Formal Diagrammatic Approach to Timed Workflow Modelling.

[BibT_eX]

[DOI]

Adrian Rutle

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Formal Diagrammatic Approach to Compensable Workflow Modelling.

[BibT_eX]

[DOI]

Adrian Rutle

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

A metamodelling approach to behavioural modelling.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03, 2012

2010

YAWL2DVE: An Automated Translator for Workflow Verification.

[BibT_eX]

[DOI]

Fazle Rabbi

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Compensable WorkFlow Nets.

[BibT_eX]

[DOI]

Fazle Rabbi

Proceedings of the Formal Methods and Software Engineering, 2010

An Automated Translator for Model Checking Time Constrained Workflow Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Towards workflow verification.

[BibT_eX]

[DOI]

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009

An Efficient Explicit-time Description Method for Timed Model Checking

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Verifying Real-Time Systems using Explicit-time Description Methods

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009

Improvement of multi-channel MAC protocol for dense VANET with directional antennas.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

2008

A rule-based approach for RNA pseudoknot prediction.

[BibT_eX]

[DOI]

Int. J. Data Min. Bioinform., 2008

Adaptive Multi-channel MAC Protocol for Dense VANET Using Directional Antennas.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

An Auxiliary Ground Station Based Traffic Load Balancing Scheme for LEO Satellite Systems.

[BibT_eX]

[DOI]

Furong Wang

Xu Xie

Laurence Tianruo Yang

Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

2007

A New Certified Email Protocol.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

Understanding the Prediction of Transmembrane Proteins by Support Vector Machine using Association Rule Mining.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2007

Certified Email Delivery with Offline TTP.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2006

A new dependable exchange protocol.

[BibT_eX]

[DOI]

Comput. Commun., 2006

A Hybrid Feature Selection Approach for Microarray Gene Expression Data.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

Pluggable Application Server Framework.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

Feature Similarity Based Redundancy Reduction for Gene Selection.

[BibT_eX]

Proceedings of the 2006 International Conference on Data Mining, 2006

2005

A Fair Item-Item Exchange Protocol Satisfying Newly Introduced Requirements.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Abuse-Free Item Exchange.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2005

Dependable Transaction for Electronic Commerce.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2005

Solving Qos-Driven Web Service Dynamic Composition as Fuzzy Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

RNA Pseudoknot Prediction Using Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Bioinformatic and Bioengineering (BIBE 2005), 2005

2004

New Fair Payment Protocols.

[BibT_eX]

Heqing Guo

Manshan Lin

Proceedings of the ICETE 2004, 2004

Fair Payment Protocols for E-Commerce.

[BibT_eX]

[DOI]