Haiming Chen

According to our database1, Haiming Chen authored at least 74 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
An Effective Algorithm for Learning Single Occurrence Regular Expressions with Interleaving.
CoRR, 2019

Learning Restricted Regular Expressions with Interleaving.
CoRR, 2019

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

eMES: Easing Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things.
Proceedings of the 6th International Conference on Software Defined Systems, 2019

A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2019

Learning a Subclass of Deterministic Regular Expression with Counting.
Proceedings of the Knowledge Science, Engineering and Management, 2019

An effective algorithm for learning single occurrence regular expressions with interleaving.
Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019

Learning k-Occurrence Regular Expressions with Interleaving.
Proceedings of the Database Systems for Advanced Applications, 2019

Learning DMEs from Positive and Negative Examples.
Proceedings of the Database Systems for Advanced Applications, 2019

WiPi: an extendable edge platform for building time-critical cyber-physical-human systems.
Proceedings of the ACM Turing Celebration Conference - China, 2019

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

Inference of a Concise Regular Expression Considering Interleaving from XML Documents.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018

Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data.
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

HFCC: An Adaptive Congestion Control Algorithm Based on Explicit Hybrid Feedbacks.
Proceedings of the 27th International Conference on Computer Communication and Networks, 2018

Inferring Deterministic Regular Expression with Counting.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Learning Restricted Regular Expressions with Interleaving from XML Data.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Inferring Regular Expressions with Interleaving from XML Data.
Proceedings of the Web and Big Data - Second International Joint Conference, 2018

Evaluation of SDN-based bandwidth estimation in Mobile Broad Band networks.
Proceedings of the 24th Asia-Pacific Conference on Communications, 2018

Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents.
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.
IEEE Trans. Mob. Comput., 2017

On trace languages generated by (small) spiking neural P systems.
Theor. Comput. Sci., 2017

A Light-Weight Opportunistic Forwarding Protocol with Optimized Preamble Length for Low-Duty-Cycle Wireless Sensor Networks.
J. Comput. Sci. Technol., 2017

RoFi: Rotation-Aware WiFi Channel Feedback.
IEEE Internet of Things Journal, 2017

An effective discriminator for differentiating the root causes of packet transmission failures in indoor WSNs.
Trans. Emerging Telecommunications Technologies, 2017

The Complexity of SORE-definability Problems.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Derivatives and Finite Automata of Expressions in Star Normal Form.
Proceedings of the Language and Automata Theory and Applications, 2017

2016
Practical Study of Subclasses of Regular Expressions in DTD and XML Schema.
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.
Wireless Personal Communications, 2015

Deciding Determinism of Regular Languages.
Theory Comput. Syst., 2015

Deciding determinism of unary languages.
Inf. Comput., 2015

Checking determinism of regular expressions with counting.
Inf. Comput., 2015

Discovering Restricted Regular Expressions with Interleaving.
CoRR, 2015

An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Deterministic Regular Expressions with Interleaving.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Low Cost IoT Software Development - Ingredient Transformation and Interconnection.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

EasiCrawl: A Sleep-Aware Schedule Method for Crawling IoT Sensors.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Discovering Restricted Regular Expressions with Interleaving.
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.
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.
IJSNet, 2013

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

Deciding Determinism of Unary Languages Is coNP-Complete.
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.
Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

LogA: Concurrent Medium Access Control through Time Log Analysis in Sensor Networks.
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.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

Checking Determinism of Regular Expressions with Counting.
Proceedings of the Developments in Language Theory - 16th International Conference, 2012

Derivatives of Regular Expressions and an Application.
Proceedings of the Computation, Physics and Beyond, 2012

2011
A Toolkit for Generating Sentences from Context-Free Grammars.
Int. J. Software and Informatics, 2011

EasiCPRS: design and implementation of a portable Chinese pulse-wave retrieval system.
Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

Determinacy and rewriting of conjunctive queries over unary database schemas.
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.
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.
BMC Systems Biology, 2010

A Toolkit for Generating Sentences from Context-Free Grammars.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

The design and implementation of a surveillance and self-driven cleanup system for blue-green algae blooms on Lake Tai.
Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules.
Proceedings of the Theoretical Aspects of Computing, 2010

2009
EasiSim: A Scalable Simulator for Wireless Sensor Networks.
Wireless Sensor Network, 2009

Reliable and Energy-Efficient Routing for Static Wireless Ad Hoc Networks with Unreliable Links.
IEEE Trans. Parallel Distrib. Syst., 2009

A Joint Design of Opportunistic Forwarding and Energy-Efficient MAC Protocol in Wireless Sensor Networks.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

A Systematic Framework for Grammar Testing.
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.
Natural Computing, 2008

Basic research in computer science and software engineering at SKLCS.
Frontiers Comput. Sci. China, 2008

Packet delay analysis on IEEE 802.11 DCF under finite load traffic in multi-hop ad hoc networks.
Science in China Series F: Information Sciences, 2008

Efficient Type Checking for a Subclass of Regular Expression Types.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Inclusion Test Algorithms for One-Unambiguous Regular Expressions.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
On String Languages Generated by Spiking Neural P Systems.
Fundam. Inform., 2007

Distributed Call Admission Protocol for Multi-Channel Multi-Radio Wireless Networks.
Proceedings of the Global Communications Conference, 2007

2006
Facilitating formal specification acquisition by using recursive functions on context-free languages.
Knowl.-Based Syst., 2006

Towards Practical Computable Functions on Context-Free Languages.
Proceedings of the Theory and Applications of Models of Computation, 2006

Energy Efficient Routing With Unreliable Links in Wireless Networks.
Proceedings of the IEEE 3rd International Conference on Mobile Adhoc and Sensor Systems, 2006

On Trace Languages Generated by (Small) Spiking Neural P Systems.
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.
J. Comput. Sci. Technol., 2004

2002
Yet another meta-language for programming language processing.
SIGPLAN Notices, 2002

2001
Pattern Matching Compilation of Functions Defined in Context-Free Languages.
J. Comput. Sci. Technol., 2001

1999
Function Definition Language FDL and its implementation.
J. Comput. Sci. Technol., 1999

1998
Combining CFG and Recursive Functions to Get a New Language.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998


  Loading...