Haiming Chen

Available identifiers

zbMath Open chen.haimingMaRDI QIDQ208299

List of research outcomes

Publication	Date of Publication	Type
Algorithms for checking intersection non-emptiness of regular expressions	2024-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q5873210	2023-02-09	Paper
Inferring Deterministic Regular Expression with Unorder	2020-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q5111236	2020-05-26	Paper
Context-free grammars for deterministic regular expressions with interleaving	2019-12-12	Paper
On trace languages generated by (small) spiking neural P systems	2017-06-15	Paper
Derivatives and Finite Automata of Expressions in Star Normal Form	2017-06-01	Paper
Deterministic Regular Expressions with Interleaving	2016-02-25	Paper
Deciding determinism of unary languages	2015-12-07	Paper
Deciding determinism of regular languages	2015-09-04	Paper
Checking determinism of regular expressions with counting	2015-05-04	Paper
Deciding Determinism of Unary Languages Is coNP-Complete	2013-06-28	Paper
Checking Determinism of Regular Expressions with Counting	2012-11-02	Paper
Derivatives of Regular Expressions and an Application	2012-06-15	Paper
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules	2010-08-31	Paper
Inclusion Test Algorithms for One-Unambiguous Regular Expressions	2009-01-27	Paper
Packet delay analysis on IEEE 802.11 DCF under finite load traffic in multi-hop ad hoc networks	2009-01-26	Paper
Spiking neural P systems with extended rules: universality and languages	2008-07-31	Paper
Determining in-house/outsourcing activities of hi-tech project to seek ROS maximization	2007-07-02	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q3425575	2007-02-26	Paper
A framework of direct financial pay within high-tech company	2005-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4825885	2004-11-05	Paper
Pattern matching compilation of functions defined in context-free languages	2001-10-14	Paper

Research outcomes over time

This page was built for person: Haiming Chen