default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHaiming Chen
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j46]Jin Wang, Yanbin Dong
, Haiming Chen:
Lightweight Person Re-Identification for Edge Computing. IEEE Access 12: 75899-75906 (2024)- [j45]Wei Qin, Haiming Chen, Lei Wang, Yinshui Xia, Alfredo Nascita, Antonio Pescapè:
MCOTM: Mobility-aware computation offloading and task migration for edge computing in industrial IoT. Future Gener. Comput. Syst. 151: 232-241 (2024) - [j44]Yihu Zhou, Haiming Chen, Zhibin Dou:
MOLM: Alleviating Congestion through Multi-Objective Simulated Annealing-Based Load Balancing Routing in LEO Satellite Networks. Future Internet 16(4): 109 (2024) - [j43]Di Wang, Haiming Chen, Sihan Lao, Steve Drew:
Efficient Path Planning and Dynamic Obstacle Avoidance in Edge for Safe Navigation of USV. IEEE Internet Things J. 11(6): 10084-10094 (2024) - [j42]Haiming Chen, Lei Wang, Wei Qin, Xinyan Zhou, Li Cui:
VSA-SD: A Service Discovery Method Based on Vector Symbol Architecture for Low-Cost IoT System Development. IEEE Trans. Cloud Comput. 12(1): 145-158 (2024) - [c76]Weihao Zhang, Xinyan Zhou, Haiming Chen:
PressHeart: A Two-Factor Authentication Mechanism via PPG Signals for Wearable Devices. ICC 2024: 4662-4667 - [c75]Chengyu Yao, Hong Huang, Hang Gao, Fengge Wu, Haiming Chen, Junsuo Zhao:
Molecular Graph Representation Learning via Structural Similarity Information. ECML/PKDD (3) 2024: 351-367 - [c74]Zipan Tang, Yixuan Yan, Rongchen Li, Hanze Dong, Haiming Chen, Hongyu Gao:
Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions. SETTA 2024: 122-141 - [c73]Mengxi Wang, Chunmei Dong, Weihao Su, Chengyao Peng, Haiming Chen:
A Derivative-Based Membership Algorithm for Enhanced Regular Expressions. SETTA 2024: 344-362 - [c72]Weihao Su, Hong Huang, Rongchen Li, Haiming Chen, Tingjian Ge:
Towards an Effective Method of ReDoS Detection for Non-backtracking Engines. USENIX Security Symposium 2024 - [i7]Chengyu Yao, Hong Huang, Hang Gao, Fengge Wu, Haiming Chen, Junsuo Zhao:
Molecular Graph Representation Learning via Structural Similarity Information. CoRR abs/2409.08580 (2024) - 2023
- [j41]Yeting Li, Haiming Chen, Zixuan Chen:
Learning Disjunctive Multiplicity Expressions and Disjunctive Generalize Multiplicity Expressions From Both Positive and Negative Examples. Comput. J. 66(7): 1733-1748 (2023) - [j40]Yi Xie, Xianliang Jiang, Guanghui Gong, Ziyi Jiang, Guang Jin, Haiming Chen:
Yinker: A flexible BBR to achieve the high-throughput and low-latency data transmission over Wi-Fi and 5G networks. Comput. Networks 222: 109530 (2023) - [j39]Menghan Zhang, Xianliang Jiang, Guang Jin, Penghui Li, Haiming Chen:
CapRadar: Real-time adaptive bandwidth prediction for dynamic wireless networks. Comput. Networks 233: 109865 (2023) - [j38]Siyuan Tang, Xianliang Jiang, Menghan Zhang, Guang Jin, Haiming Chen:
Combining reinforcement learning method to enhance LEDBAT++ over diversified network environments. J. King Saud Univ. Comput. Inf. Sci. 35(9): 101730 (2023) - [c71]Di Wang, Haiming Chen, Cangchen Wu:
A Path Planning and Obstacle Avoidance Method for USV Based on Dynamic-Target APF Algorithm in Edge. ICA3PP (3) 2023: 21-39 - [c70]Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen:
Algorithms for Checking Intersection Non-emptiness of Regular Expressions. ICTAC 2023: 216-235 - [c69]Xiaowei Wang, Zimu Yuan, Yang Xiao, Liyan Wang, Yican Yao, Haiming Chen, Wei Huo:
Decompilation Based Deep Binary-Source Function Matching. SciSec 2023: 244-260 - [c68]Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen:
Modeling Regex Operators for Solving Regex Crossword Puzzles. SETTA 2023: 206-225 - [c67]Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen:
Deducing Matching Strings for Real-World Regular Expressions. SETTA 2023: 331-350 - [c66]Jessica Berg, Muhammad Haseeb, Haiming Chen, Yaojia Ju, Anirudh Sivaraman, Ravi Netravali, Srinivas Narayana:
QuEST: Fast, Expressive, and Cheap Analytics for Distributed Traces Using Cloud Storage. VLDB Workshops 2023 - [i6]Xiaoying Mou, Haiming Chen:
Grammar construction methods for extended deterministic expressions. CoRR abs/2301.01621 (2023) - 2022
- [j37]Linjie Yan, Haiming Chen, Youpeng Tu, Xinyan Zhou:
A Task Offloading Algorithm With Cloud Edge Jointly Load Balance Optimization Based on Deep Reinforcement Learning for Unmanned Surface Vehicles. IEEE Access 10: 16566-16576 (2022) - [j36]Youpeng Tu, Haiming Chen, Linjie Yan, Xinyan Zhou:
Task Offloading Based on LSTM Prediction and Deep Reinforcement Learning for Efficient Edge Computing in IoT. Future Internet 14(2): 30 (2022) - [j35]Liu Liu, Haiming Chen, Zhengtao Xu:
SPMOO: A Multi-Objective Offloading Algorithm for Dependent Tasks in IoT Cloud-Edge-End Collaboration. Inf. 13(2): 75 (2022) - [j34]Haiming Chen, Wei Qin, Lei Wang:
Task partitioning and offloading in IoT cloud-edge collaborative computing framework: a survey. J. Cloud Comput. 11: 86 (2022) - [j33]Tianhe Yu, Ming Zhu, Haiming Chen:
Single image dehazing based on multi-scale segmentation and deep learning. Mach. Vis. Appl. 33(2): 33 (2022) - [j32]Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen:
SemMT: A Semantic-Based Testing Approach for Machine Translation Systems. ACM Trans. Softw. Eng. Methodol. 31(2): 34e:1-34e:36 (2022) - [c65]Wei Qin, Haiming Chen, Lei Wang:
PASD: A Prioritized Action Sampling-Based Dueling DQN for Cloud-Edge Collaborative Computation Offloading in Industrial IoT. CWSN 2022: 19-30 - [c64]Guanghui Gong, Xianliang Jiang, Guang Jin, Yi Xie, Haiming Chen:
Nuwa-RL: A Reinforcement Learning based Receiver-side Congestion Control Algorithm to Meet Applications Demands over Dynamic Wireless Networks. HPCC/DSS/SmartCity/DependSys 2022: 508-515 - [c63]Yi Xie, Xianliang Jiang, Guang Jin, Haiming Chen:
BBR-FIT: An Intelligent BBR based on the Reinforcement Learning to Boost the Network Efficiency over Time-Varying Networks. HPCC/DSS/SmartCity/DependSys 2022: 1633-1640 - [c62]Jianyang Ding, Yong Wang, Shaozhong Fu, Haiming Chen, Wendong Xie, Yunsong Liu:
WiFi Fingerprint-Based Multi-user Localization for Smart Home by WiFi Sensing. ICCT 2022: 1755-1759 - [c61]Guanghui Gong, Xianliang Jiang, Yi Xie, Guang Jin, Jianan Zhang, Haiming Chen:
Nuwa: A Receiver-driven Congestion Control Framework to Achieve High-throughput and Controlled Delay over Dynamic Wireless Networks. ICPADS 2022: 147-154 - [c60]Jiaqi Pan, Xinyan Zhou, Zenan Zhang, Xiaoyu Ji, Haiming Chen:
G-PPG: A Gesture-related PPG-based Two-Factor Authentication for Wearable Devices. ICPADS 2022: 242-249 - [c59]Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao:
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. USENIX Security Symposium 2022: 4183-4200 - 2021
- [c58]Lei Wang, Haiming Chen, Wei Qin:
NBUFlow: A Dataflow Based Universal Task Orchestration and Offloading Platform for Low-Cost Development of IoT Systems with Cloud-Edge-Device Collaborative Computing. ICA3PP (2) 2021: 665-681 - [c57]Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung:
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. ICSE 2021: 1210-1222 - [c56]Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung:
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection. USENIX Security Symposium 2021: 3847-3864 - 2020
- [j31]Xiaoguang Niu, Luyao Xie, Jiawei Wang, Haiming Chen, Dandan Liu, Ruizhi Chen:
AtLAS: An Activity-Based Indoor Localization and Semantic Labeling Mechanism for Residences. IEEE Internet Things J. 7(10): 10606-10622 (2020) - [j30]Xiwen Liu, Haiming Chen, Antonio Montieri, Antonio Pescapè:
Human behavior sensing: challenges and approaches. J. Ambient Intell. Humaniz. Comput. 11(12): 6043-6058 (2020) - [j29]Haiming Chen, Zhiwu Xu:
Inclusion algorithms for one-unambiguous regular expressions and their applications. Sci. Comput. Program. 193: 102436 (2020) - [c55]Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng:
FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. ICDE 2020: 1962-1965 - [c54]Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao:
FlashRegex: Deducing Anti-ReDoS Regexes from Examples. ASE 2020: 659-671 - [c53]Yeting Li, Haiming Chen, Lingqi Zhang, Bo Huang, Jianzhao Zhang:
Inferring Restricted Regular Expressions with Interleaving from Positive and Negative Samples. PAKDD (2) 2020: 769-781 - [c52]Xinyu Chu, Ping Lu, Haiming Chen:
Grammars and a Random Generator for Deterministic Chain Regular Expressions. SOFSEM (Doctoral Student Research Forum) 2020: 49-60 - [c51]Xiaofan Wang, Haiming Chen:
Inferring Deterministic Regular Expression with Unorder. SOFSEM 2020: 325-337 - [i5]Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung:
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair. CoRR abs/2012.15489 (2020)
2010 – 2019
- 2019
- [j28]Jianhui Zhuang, Xianliang Jiang, Guang Jin, Jiahua Zhu, Haiming Chen:
PTCP: A Priority-Driven Congestion Control Algorithm to Tame TCP Incast in Data Centers. IEEE Access 7: 38880-38889 (2019) - [j27]Xiaoguang Niu, Da Shen, Zejun Zhang, Zhen Wang, Jiawei Wang, Haiming Chen:
BCE: A Behavior-Learning-Based Crowdedness Estimation Mechanism for Crowdsensing Buses. IEEE Access 7: 143067-143080 (2019) - [j26]Zhiwu Xu, Ping Lu, Haiming Chen:
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions. Comput. J. 62(9): 1322-1341 (2019) - [j25]Haiming Chen, Kaibin Xie, Li Cui, Antonio Pescapè:
A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things. IEEE Internet Things J. 6(6): 9516-9530 (2019) - [c50]Md. Asif Hasan, Haiming Chen, Yimo Lin, Xiwen Liu:
WiPi: an extendable edge platform for building time-critical cyber-physical-human systems. ACM TUR-C 2019: 109:1-109:5 - [c49]Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao:
Learning k-Occurrence Regular Expressions with Interleaving. DASFAA (2) 2019: 70-85 - [c48]Yeting Li, Chunmei Dong, Xinyu Chu, Haiming Chen:
Learning DMEs from Positive and Negative Examples. DASFAA (3) 2019: 434-438 - [c47]Yeting Li, Xiaoying Mou, Haiming Chen:
Learning k-Occurrence Regular Expressions from Positive and Negative Samples. ER 2019: 264-272 - [c46]Xiwen Liu, Haiming Chen, Xianliang Jiang, Jiangbo Qian, Giuseppe Aceto, Antonio Pescapè:
Wi-CR: Human Action Counting and Recognition with Wi-Fi Signals. ICCCS 2019: 1-8 - [c45]Xiaoying Mou, Haiming Chen, Yeting Li:
Context-Free Grammars for Deterministic Regular Expressions with Interleaving. ICTAC 2019: 235-252 - [c44]Haiming Chen, Xiwen Liu, Ze Zhao, Giuseppe Aceto, Antonio Pescapè:
TaRad: A Thing-Centric Sensing System for Detecting Activities of Daily Living. IDCS 2019: 357-368 - [c43]Yeting Li, Haiming Chen, Xiaolan Zhang, Lingqi Zhang:
An effective algorithm for learning single occurrence regular expressions with interleaving. IDEAS 2019: 24:1-24:10 - [c42]Xiaofan Wang, Haiming Chen:
Learning a Subclass of Deterministic Regular Expression with Counting. KSEM (1) 2019: 341-348 - [c41]Haiming Chen, Yeting Li, Chunmei Dong, Xinyu Chu, Xiaoying Mou, Weidong Min:
A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications. PAKDD (3) 2019: 249-261 - [c40]Haiming Chen, Valerio Persico, Antonio Pescapè:
eMES: Easing Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things. SDS 2019: 80-87 - [c39]Xiaofan Wang, Haiming Chen:
Learning Restricted Deterministic Regular Expressions with Counting. WISE 2019: 98-114 - [i4]Chunmei Dong, Yeting Li, Haiming Chen:
Learning Restricted Regular Expressions with Interleaving. CoRR abs/1904.13164 (2019) - [i3]Yeting Li, Haiming Chen, Xiaolan Zhang, Lingqi Zhang:
An Effective Algorithm for Learning Single Occurrence Regular Expressions with Interleaving. CoRR abs/1906.02074 (2019) - 2018
- [c38]Yeting Li, Xiaoying Mou, Haiming Chen:
Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents. ADMA 2018: 303-317 - [c37]Giuseppe Aceto, Fabio Palumbo, Valerio Persico, Haiming Chen, Antonio Pescapè:
Evaluation of SDN-based bandwidth estimation in Mobile Broad Band networks. APCC 2018: 263-268 - [c36]Xiaolan Zhang, Yeting Li, Fei Tian, Fanlin Cui, Chunmei Dong, Haiming Chen:
Inferring Regular Expressions with Interleaving from XML Data. APWeb/WAIM (2) 2018: 44-52 - [c35]Xiaofan Wang, Haiming Chen:
Inferring Deterministic Regular Expression with Counting. ER 2018: 184-199 - [c34]Yeting Li, Xiaolan Zhang, Han Xu, Xiaoying Mou, Haiming Chen:
Learning Restricted Regular Expressions with Interleaving from XML Data. ER 2018: 586-593 - [c33]Xianliang Jiang, Guang Jin, Haiming Chen:
HFCC: An Adaptive Congestion Control Algorithm Based on Explicit Hybrid Feedbacks. ICCCN 2018: 1-8 - [c32]Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen:
Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data. IDEAS 2018: 45-53 - [c31]Xiaolan Zhang, Yeting Li, Fanlin Cui, Chunmei Dong, Haiming Chen:
Inference of a Concise Regular Expression Considering Interleaving from XML Documents. PAKDD (2) 2018: 389-401 - [i2]Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen:
Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data. CoRR abs/1805.12503 (2018) - 2017
- [j24]Tingpei Huang, Haiming Chen, Li Cui, Shibao Li:
An effective discriminator for differentiating the root causes of packet transmission failures in indoor WSNs. Trans. Emerg. Telecommun. Technol. 28(7) (2017) - [j23]Yongsen Ma, Gang Zhou, Shan Lin, Haiming Chen:
RoFi: Rotation-Aware WiFi Channel Feedback. IEEE Internet Things J. 4(5): 1684-1695 (2017) - [j22]Haiming Chen, Li Cui, Gang Zhou:
A Light-Weight Opportunistic Forwarding Protocol with Optimized Preamble Length for Low-Duty-Cycle Wireless Sensor Networks. J. Comput. Sci. Technol. 32(1): 168-180 (2017) - [j21]Haiming Chen, Mihai Ionescu, Andrei Paun, Gheorghe Paun:
On trace languages generated by (small) spiking neural P systems. Theor. Comput. Sci. 682: 57-66 (2017) - [j20]Haiming Chen, Zhaoliang Zhang, Li Cui, Changcheng Huang:
NoPSM: A Concurrent MAC Protocol over Low-Data-Rate Low-Power Wireless Channel without PRR-SINR Model. IEEE Trans. Mob. Comput. 16(2): 435-452 (2017) - [c30]Haiming Chen, Ping Lu:
Derivatives and Finite Automata of Expressions in Star Normal Form. LATA 2017: 236-248 - [c29]Ping Lu, Zhilin Wu, Haiming Chen:
The Complexity of SORE-definability Problems. MFCS 2017: 22:1-22:15 - 2016
- [c28]Yeting Li, Xiaolan Zhang, Feifei Peng, Haiming Chen:
Practical Study of Subclasses of Regular Expressions in DTD and XML Schema. APWeb (2) 2016: 368-382 - 2015
- [j19]Haiming Chen, Ping Lu:
Checking determinism of regular expressions with counting. Inf. Comput. 241: 302-320 (2015) - [j18]Ping Lu, Feifei Peng, Haiming Chen, Lixiao Zheng:
Deciding determinism of unary languages. Inf. Comput. 245: 181-196 (2015) - [j17]Ping Lu, Joachim Bremer, Haiming Chen:
Deciding Determinism of Regular Languages. Theory Comput. Syst. 57(1): 97-139 (2015) - [j16]Tingpei Huang, Haiming Chen, Yuqing Zhang, Li Cui:
EasiND: Effective Neighbor Discovery Algorithms for Asynchronous and Asymmetric-Duty-Cycle Multi-channel Mobile WSNs. Wirel. Pers. Commun. 84(4): 3031-3055 (2015) - [c27]Feifei Peng, Haiming Chen:
Discovering Restricted Regular Expressions with Interleaving. APWeb 2015: 104-115 - [c26]Kaibin Xie, Haiming Chen, Xi Huang, Li Cui:
Low Cost IoT Software Development - Ingredient Transformation and Interconnection. ICPADS 2015: 44-51 - [c25]Meng Li, Haiming Chen, Xi Huang, Li Cui:
EasiCrawl: A Sleep-Aware Schedule Method for Crawling IoT Sensors. ICPADS 2015: 148-155 - [c24]Feifei Peng, Haiming Chen, Xiaoying Mou:
Deterministic Regular Expressions with Interleaving. ICTAC 2015: 203-220 - [c23]Kaibin Xie, Haiming Chen, Dong Li, Li Cui:
An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things. SEKE 2015: 213-216 - [i1]Feifei Peng, Haiming Chen:
Discovering Restricted Regular Expressions with Interleaving. CoRR abs/1504.00150 (2015) - 2014
- [c22]Hailong Shi, Dong Li, Haiming Chen, Jiefan Qiu, Li Cui:
EasiCAE: A runtime framework for efficient sensor sharing among concurrent IoT applications. ICPADS 2014: 328-335 - 2013
- [j15]Tingpei Huang, Haiming Chen, Li Cui, Yuqing Zhang:
EasiND: Neighbor Discovery in Duty-Cycled Asynchronous Multichannel Mobile WSNs. Int. J. Distributed Sens. Networks 9 (2013) - [j14]Tingpei Huang, Haiming Chen, Li Cui, Zhaoliang Zhang:
A comparative simulation study of rate adaptation algorithms in wireless LANs. Int. J. Sens. Networks 14(1): 9-21 (2013) - [c21]Ping Lu, Feifei Peng, Haiming Chen:
Deciding Determinism of Unary Languages Is coNP-Complete. Developments in Language Theory 2013: 350-361 - 2012
- [c20]Haiming Chen, Sheng Yu:
Derivatives of Regular Expressions and an Application. Computation, Physics and Beyond 2012: 343-356 - [c19]Haiming Chen, Ping Lu:
Checking Determinism of Regular Expressions with Counting. Developments in Language Theory 2012: 332-343 - [c18]Tingpei Huang, Haiming Chen, Zhaoliang Zhang, Li Cui:
EasiPLED: Discriminating the causes of packet losses and errors in indoor WSNs. GLOBECOM 2012: 487-493 - [c17]Zhaoliang Zhang, Haiming Chen, Tingpei Huang, Xinyu Liu, Li Cui:
LogA: Concurrent Medium Access Control through Time Log Analysis in Sensor Networks. ICPADS 2012: 315-322 - [c16]Tingpei Huang, Haiming Chen, Zhaoliang Zhang, Li Cui:
EasiRA: A hybrid rate adaptation scheme for 802.11 mobile wireless access networks. WCNC 2012: 1520-1525 - 2011
- [j13]Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. Int. J. Softw. Informatics 5(4): 659-676 (2011) - [c15]Haiming Chen, Ping Lu:
Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models. APWeb 2011: 301-312 - [c14]Lixiao Zheng, Haiming Chen:
Determinacy and rewriting of conjunctive queries over unary database schemas. SAC 2011: 1039-1044 - [c13]Jingjing Zhang, Rui Wang, Shilong Lu, Jibing Gong, Ze Zhao, Haiming Chen, Li Cui, Nanyue Wang, Youhua Yu:
EasiCPRS: design and implementation of a portable Chinese pulse-wave retrieval system. SenSys 2011: 149-161 - 2010
- [j12]Richard C. McEachin, Haiming Chen, Maureen A. Sartor, Scott F. Saccone, Benjamin J. Keller, Alan R. Prossin, James D. Cavalcoli, Melvin G. McInnis:
A genetic network model of cellular responses to lithium treatment and cocaine abuse in bipolar disorder. BMC Syst. Biol. 4: 158 (2010) - [c12]Lei Chen, Haiming Chen:
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. ICTAC 2010: 45-59 - [c11]Dong Li, Ze Zhao, Li Cui, He Zhu, Le Zhang, Zhaoliang Zhang, Yi Wang, Haiming Chen:
The design and implementation of a surveillance and self-driven cleanup system for blue-green algae blooms on Lake Tai. MASS 2010: 759-761 - [c10]Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. SEFM 2010: 118-122
2000 – 2009
- 2009
- [j11]Xiang-Yang Li, Yu Wang, Haiming Chen, Xiaowen Chu, Yanwei Wu, Yong Qi:
Reliable and Energy-Efficient Routing for Static Wireless Ad Hoc Networks with Unreliable Links. IEEE Trans. Parallel Distributed Syst. 20(10): 1408-1421 (2009) - [j10]Haiming Chen, Li Cui, Changcheng Huang, He Zhu:
EasiSim: A Scalable Simulator for Wireless Sensor Networks. Wirel. Sens. Netw. 1(5): 467-474 (2009) - [c9]Lixiao Zheng, Haiming Chen:
A Systematic Framework for Grammar Testing. ACIS-ICIS 2009: 1013-1019 - [c8]Haiming Chen, Li Cui, Victor O. K. Li:
A Joint Design of Opportunistic Forwarding and Energy-Efficient MAC Protocol in Wireless Sensor Networks. GLOBECOM 2009: 1-6 - 2008
- [j9]Linfang Dong, Yantai Shu, Haiming Chen, Maode Ma:
Packet delay analysis on IEEE 802.11 DCF under finite load traffic in multi-hop ad hoc networks. Sci. China Ser. F Inf. Sci. 51(4): 408-416 (2008) - [j8]Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu:
Basic research in computer science and software engineering at SKLCS. Frontiers Comput. Sci. China 2(1): 1-11 (2008) - [j7]Haiming Chen, Mihai Ionescu, Tseren-Onolt Ishdorj, Andrei Paun, Gheorghe Paun, Mario J. Pérez-Jiménez:
Spiking neural P systems with extended rules: universality and languages. Nat. Comput. 7(2): 147-166 (2008) - [c7]Haiming Chen, Lei Chen:
Inclusion Test Algorithms for One-Unambiguous Regular Expressions. ICTAC 2008: 96-110 - [c6]Lei Chen, Haiming Chen:
Efficient Type Checking for a Subclass of Regular Expression Types. ICYCS 2008: 1647-1652 - 2007
- [j6]Haiming Chen, Rudolf Freund, Mihai Ionescu, Gheorghe Paun, Mario J. Pérez-Jiménez:
On String Languages Generated by Spiking Neural P Systems. Fundam. Informaticae 75(1-4): 141-162 (2007) - [c5]Yi Hu, Xiang-Yang Li, Haiming Chen, Xiaohua Jia:
Distributed Call Admission Protocol for Multi-Channel Multi-Radio Wireless Networks. GLOBECOM 2007: 2509-2513 - 2006
- [j5]Haiming Chen, Yunmei Dong:
Facilitating formal specification acquisition by using recursive functions on context-free languages. Knowl. Based Syst. 19(2): 141-151 (2006) - [c4]Haiming Chen, Mihai Ionescu, Andrei Paun, Gheorghe Paun, Bianca Popa:
On Trace Languages Generated by (Small) Spiking Neural P Systems. DCFS 2006: 94-105 - [c3]Xiang-Yang Li, Haiming Chen, Yantai Shu, Xiaowen Chu, Yanwei Wu:
Energy Efficient Routing With Unreliable Links in Wireless Networks. MASS 2006: 160-169 - [c2]Haiming Chen, Yunmei Dong:
Towards Practical Computable Functions on Context-Free Languages. TAMC 2006: 555-565 - 2004
- [j4]Haiming Chen, Yunmei Dong:
Practical Type Checking of Functions Defined on Context-Free Languages. J. Comput. Sci. Technol. 19(6): 840-847 (2004) - 2002
- [j3]Haiming Chen, Yunmei Dong:
Yet another meta-language for programming language processing. ACM SIGPLAN Notices 37(6): 28-37 (2002) - 2001
- [j2]Haiming Chen, Yunmei Dong:
Pattern Matching Compilation of Functions Defined in Context-Free Languages. J. Comput. Sci. Technol. 16(2): 159-167 (2001)
1990 – 1999
- 1999
- [j1]Haiming Chen:
Function Definition Language FDL and its implementation. J. Comput. Sci. Technol. 14(4): 414-421 (1999) - 1998
- [c1]Haiming Chen:
Combining CFG and Recursive Functions to Get a New Language. ICFP 1998: 351
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
