Haiming Chen

Available identifiers

zbMath Open chen.haimingMaRDI QIDQ208299

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Haiming Chen