Haiming Chen

Cangchen Wu

Proceedings of the Algorithms and Architectures for Parallel Processing, 2023

2022

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Single image dehazing based on multi-scale segmentation and deep learning.

[BibT_eX]

[DOI]

Tianhe Yu

Ming Zhu

Mach. Vis. Appl., 2022

Task partitioning and offloading in IoT cloud-edge collaborative computing framework: a survey.

[BibT_eX]

[DOI]

Wei Qin

Lei Wang

J. Cloud Comput., 2022

SPMOO: A Multi-Objective Offloading Algorithm for Dependent Tasks in IoT Cloud-Edge-End Collaboration.

[BibT_eX]

[DOI]

Liu Liu

Zhengtao Xu

Inf., 2022

Task Offloading Based on LSTM Prediction and Deep Reinforcement Learning for Efficient Edge Computing in IoT.

[BibT_eX]

[DOI]

Future Internet, 2022

A Task Offloading Algorithm With Cloud Edge Jointly Load Balance Optimization Based on Deep Reinforcement Learning for Unmanned Surface Vehicles.

[BibT_eX]

[DOI]

IEEE Access, 2022

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

G-PPG: A Gesture-related PPG-based Two-Factor Authentication for Wearable Devices.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Parallel and Distributed Systems, 2022

Nuwa: A Receiver-driven Congestion Control Framework to Achieve High-throughput and Controlled Delay over Dynamic Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Parallel and Distributed Systems, 2022

WiFi Fingerprint-Based Multi-user Localization for Smart Home by WiFi Sensing.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Communication Technology, 2022

BBR-FIT: An Intelligent BBR based on the Reinforcement Learning to Boost the Network Efficiency over Time-Varying Networks.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

Nuwa-RL: A Reinforcement Learning based Receiver-side Congestion Control Algorithm to Meet Applications Demands over Dynamic Wireless Networks.

[BibT_eX]

[DOI]

PASD: A Prioritized Action Sampling-Based Dueling DQN for Cloud-Edge Collaborative Computation Offloading in Industrial IoT.

[BibT_eX]

[DOI]

Wei Qin

Lei Wang

Proceedings of the Wireless Sensor Networks - 16th China Conference, 2022

2021

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

NBUFlow: A Dataflow Based Universal Task Orchestration and Offloading Platform for Low-Cost Development of IoT Systems with Cloud-Edge-Device Collaborative Computing.

[BibT_eX]

[DOI]

Lei Wang

Wei Qin

Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

2020

Inclusion algorithms for one-unambiguous regular expressions and their applications.

[BibT_eX]

[DOI]

Zhiwu Xu

Sci. Comput. Program., 2020

Human behavior sensing: challenges and approaches.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2020

AtLAS: An Activity-Based Indoor Localization and Semantic Labeling Mechanism for Residences.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2020

Inferring Deterministic Regular Expression with Unorder.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

Grammars and a Random Generator for Deterministic Chain Regular Expressions.

[BibT_eX]

[DOI]

Xinyu Chu

Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020), 2020

Inferring Restricted Regular Expressions with Interleaving from Positive and Negative Samples.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2020

FlashRegex: Deducing Anti-ReDoS Regexes from Examples.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

2019

A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2019

Learning Restricted Regular Expressions with Interleaving.

[BibT_eX]

[DOI]

Chunmei Dong

CoRR, 2019

Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions.

[BibT_eX]

[DOI]

Zhiwu Xu

Comput. J., 2019

PTCP: A Priority-Driven Congestion Control Algorithm to Tame TCP Incast in Data Centers.

[BibT_eX]

[DOI]

IEEE Access, 2019

BCE: A Behavior-Learning-Based Crowdedness Estimation Mechanism for Crowdsensing Buses.

[BibT_eX]

[DOI]

IEEE Access, 2019

Learning Restricted Deterministic Regular Expressions with Counting.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2019, 2019

eMES: Easing Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things.

[BibT_eX]

[DOI]

Valerio Persico

Antonio Pescapè

Proceedings of the 6th International Conference on Software Defined Systems, 2019

A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2019

Learning a Subclass of Deterministic Regular Expression with Counting.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2019

An effective algorithm for learning single occurrence regular expressions with interleaving.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019

TaRad: A Thing-Centric Sensing System for Detecting Activities of Daily Living.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2019

Context-Free Grammars for Deterministic Regular Expressions with Interleaving.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

Wi-CR: Human Action Counting and Recognition with Wi-Fi Signals.

[BibT_eX]

[DOI]

Proceedings of the 2019 4th International Conference on Computing, 2019

Learning k-Occurrence Regular Expressions from Positive and Negative Samples.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

Learning k-Occurrence Regular Expressions with Interleaving.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2019

Learning DMEs from Positive and Negative Examples.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2019

WiPi: an extendable edge platform for building time-critical cyber-physical-human systems.

[BibT_eX]

[DOI]

Proceedings of the ACM Turing Celebration Conference - China, 2019

2018

Inference of a Concise Regular Expression Considering Interleaving from XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018

Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

HFCC: An Adaptive Congestion Control Algorithm Based on Explicit Hybrid Feedbacks.

[BibT_eX]

[DOI]

Xianliang Jiang

Guang Jin

Proceedings of the 27th International Conference on Computer Communication and Networks, 2018

Inferring Deterministic Regular Expression with Counting.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Learning Restricted Regular Expressions with Interleaving from XML Data.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Inferring Regular Expressions with Interleaving from XML Data.

[BibT_eX]

[DOI]

Proceedings of the Web and Big Data - Second International Joint Conference, 2018

Evaluation of SDN-based bandwidth estimation in Mobile Broad Band networks.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia-Pacific Conference on Communications, 2018

Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Advanced Data Mining and Applications - 14th International Conference, 2018

2017

NoPSM: A Concurrent MAC Protocol over Low-Data-Rate Low-Power Wireless Channel without PRR-SINR Model.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2017

On trace languages generated by (small) spiking neural P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

A Light-Weight Opportunistic Forwarding Protocol with Optimized Preamble Length for Low-Duty-Cycle Wireless Sensor Networks.

[BibT_eX]

[DOI]

Li Cui

Gang Zhou

J. Comput. Sci. Technol., 2017

RoFi: Rotation-Aware WiFi Channel Feedback.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2017

An effective discriminator for differentiating the root causes of packet transmission failures in indoor WSNs.

[BibT_eX]

[DOI]

Trans. Emerg. Telecommun. Technol., 2017

The Complexity of SORE-definability Problems.

[BibT_eX]

[DOI]

Zhilin Wu

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Derivatives and Finite Automata of Expressions in Star Normal Form.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2017

2016

Practical Study of Subclasses of Regular Expressions in DTD and XML Schema.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies and Applications - 18th Asia-Pacific Web Conference, 2016

2015

EasiND: Effective Neighbor Discovery Algorithms for Asynchronous and Asymmetric-Duty-Cycle Multi-channel Mobile WSNs.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2015

Deciding Determinism of Regular Languages.

[BibT_eX]

[DOI]

Joachim Bremer

Theory Comput. Syst., 2015

Deciding determinism of unary languages.

[BibT_eX]

[DOI]

Inf. Comput., 2015

Checking determinism of regular expressions with counting.

[BibT_eX]

[DOI]

Inf. Comput., 2015

An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Deterministic Regular Expressions with Interleaving.

[BibT_eX]

[DOI]

Feifei Peng

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Low Cost IoT Software Development - Ingredient Transformation and Interconnection.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

EasiCrawl: A Sleep-Aware Schedule Method for Crawling IoT Sensors.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Discovering Restricted Regular Expressions with Interleaving.

[BibT_eX]

[DOI]

Feifei Peng

Proceedings of the Web Technologies and Applications - 17th Asia-PacificWeb Conference, 2015

2014

EasiCAE: A runtime framework for efficient sensor sharing among concurrent IoT applications.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

2013

A comparative simulation study of rate adaptation algorithms in wireless LANs.

[BibT_eX]

[DOI]

Int. J. Sens. Networks, 2013

EasiND: Neighbor Discovery in Duty-Cycled Asynchronous Multichannel Mobile WSNs.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2013

Deciding Determinism of Unary Languages Is coNP-Complete.

[BibT_eX]

[DOI]

Feifei Peng

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

2012

EasiRA: A hybrid rate adaptation scheme for 802.11 mobile wireless access networks.

[BibT_eX]

[DOI]

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

LogA: Concurrent Medium Access Control through Time Log Analysis in Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

EasiPLED: Discriminating the causes of packet losses and errors in indoor WSNs.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Global Communications Conference, 2012

Derivatives of Regular Expressions and an Application.

[BibT_eX]

[DOI]

Sheng Yu

Proceedings of the Computation, Physics and Beyond, 2012

2011

A Toolkit for Generating Sentences from Context-Free Grammars.

[BibT_eX]

[DOI]

Zhiwu Xu

Lixiao Zheng

Int. J. Softw. Informatics, 2011

EasiCPRS: design and implementation of a portable Chinese pulse-wave retrieval system.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

Determinacy and rewriting of conjunctive queries over unary database schemas.

[BibT_eX]

[DOI]

Lixiao Zheng

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies and Applications - 13th Asia-Pacific Web Conference, 2011

2010

A genetic network model of cellular responses to lithium treatment and cocaine abuse in bipolar disorder.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2010

The design and implementation of a surveillance and self-driven cleanup system for blue-green algae blooms on Lake Tai.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules.

[BibT_eX]

[DOI]

Lei Chen

Proceedings of the Theoretical Aspects of Computing, 2010

2009

EasiSim: A Scalable Simulator for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Wirel. Sens. Netw., 2009

Reliable and Energy-Efficient Routing for Static Wireless Ad Hoc Networks with Unreliable Links.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2009

A Joint Design of Opportunistic Forwarding and Energy-Efficient MAC Protocol in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Li Cui

Victor O. K. Li

Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

A Systematic Framework for Grammar Testing.

[BibT_eX]

[DOI]

Lixiao Zheng

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Spiking neural P systems with extended rules: universality and languages.

[BibT_eX]

[DOI]

Mario J. Pérez-Jiménez

Nat. Comput., 2008

Basic research in computer science and software engineering at SKLCS.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2008

Packet delay analysis on IEEE 802.11 DCF under finite load traffic in multi-hop ad hoc networks.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

Efficient Type Checking for a Subclass of Regular Expression Types.

[BibT_eX]

[DOI]

Lei Chen

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Inclusion Test Algorithms for One-Unambiguous Regular Expressions.

[BibT_eX]

[DOI]

Lei Chen

Proceedings of the Theoretical Aspects of Computing, 2008

2007

On String Languages Generated by Spiking Neural P Systems.

[BibT_eX]

[DOI]

Mario J. Pérez-Jiménez

Fundam. Informaticae, 2007

Distributed Call Admission Protocol for Multi-Channel Multi-Radio Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2007

2006

Facilitating formal specification acquisition by using recursive functions on context-free languages.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2006

Towards Practical Computable Functions on Context-Free Languages.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2006

Energy Efficient Routing With Unreliable Links in Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 3rd International Conference on Mobile Adhoc and Sensor Systems, 2006

On Trace Languages Generated by (Small) Spiking Neural P Systems.

[BibT_eX]

Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21, 2006

2004

Practical Type Checking of Functions Defined on Context-Free Languages.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

2002

Yet another meta-language for programming language processing.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2002

2001

Pattern Matching Compilation of Functions Defined in Context-Free Languages.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2001

1999

Function Definition Language FDL and its implementation.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1999

1998

Combining CFG and Recursive Functions to Get a New Language.

[BibT_eX]

[DOI]