Seuraa
Haiming Chen
Haiming Chen
Vahvistettu sähköpostiosoite verkkotunnuksessa ios.ac.cn
Nimike
Viittaukset
Viittaukset
Vuosi
On the efficiency of spiking neural P systems
H Chen, M Ionescu, TO Ishdorj
Proc. 8th Intern. Conf. on Electronics, Information, and Communication, 49–52, 2006
247*2006
On trace languages generated by (small) spiking neural P systems
H Chen, M Ionescu, A Paun, G Paun, B Popa
Pre-proc. 8th Workshop on Descriptional Complexity of Formal Systems (June 2006), 2006
220*2006
Spiking neural P systems with extended rules: universality and languages
H Chen, M Ionescu, TO Ishdorj, A Păun, G Păun, MJ Pérez-Jiménez
Natural Computing 7, 147-166, 2008
1672008
Computing along the axon
H Chen, TO Ishdorj, G Paun
Proceedings of the Fourth Brainstorming Week on Membrane Computing, Vol. I …, 2006
332006
A toolkit for generating sentences from context-free grammars
Z Xu, L Zheng, H Chen
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
272010
Task offloading based on LSTM prediction and deep reinforcement learning for efficient edge computing in IoT
Y Tu, H Chen, L Yan, X Zhou
Future Internet 14 (2), 30, 2022
262022
Handling languages with spiking neural P systems with extended rules
H Cheng, TO Ishdorj, G Paun, MJ Pérez Jiménez
Romanian Journal of Information Science and Technology (ROMJIST), 9 (3), 151 …, 2006
252006
Checking determinism of regular expressions with counting
H Chen, P Lu
Information and Computation 241, 302-320, 2015
242015
Design and implementation of the formal specification acquisition system SAQ
D Yunmei, L Kaide, C Haiming, H Yongqian, Z Ruiling, T Ruqing, ...
Proceedings of Conference on Software: Theory and Practice, IFIP 16th World …, 2000
232000
SemMT: a semantic-based testing approach for machine translation systems
J Cao, M Li, Y Li, M Wen, SC Cheung, H Chen
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (2), 1-36, 2022
222022
Effect of alkali-resistant glass fiber and silica fume on mechanical and shrinkage properties of cement-based mortars
H Chen, P Wang, J Pan, AS Lawi, Y Zhu
Construction and Building Materials 307, 125054, 2021
212021
FlashRegex: deducing anti-ReDoS regexes from examples
Y Li, Z Xu, J Cao, H Chen, T Ge, SC Cheung, H Zhao
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
212020
Effect of polypropylene fiber on properties of alkali-activated slag mortar
Y Xu, H Chen, P Wang
Advances in Civil Engineering 2020, 2020
212020
Deciding determinism of regular languages
P Lu, J Bremer, H Chen
Theory of Computing Systems 57, 97-139, 2015
192015
PMDA: A physical model driven software architecture for Internet of Things
K Xie, H Chen, L Cui
Computer Research and Development 50 (6), 1185-1197, 2013
192013
Inclusion test algorithms for one-unambiguous regular expressions
H Chen, L Chen
Theoretical Aspects of Computing-ICTAC 2008, 96-110, 2008
192008
{ReDoSHunter}: A combined static and dynamic approach for regular expression {DoS} detection
Y Li, Z Chen, J Cao, Z Xu, Q Peng, H Chen, L Chen, SC Cheung
30th USENIX Security Symposium (USENIX Security 21), 3847-3864, 2021
172021
Discovering restricted regular expressions with interleaving
F Peng, H Chen
Asia-Pacific Web Conference, 104-115, 2015
162015
The influence of nano-SiO2 and recycled polypropylene plastic content on physical, mechanical, and shrinkage properties of mortar
H Chen, Y Xu, D Zhang, L Huang, Y Zhu, L Huang
Advances in Civil Engineering 2019, 1-12, 2019
152019
Effect of partial substitution of cement with Dolomite powder on Glass-Fiber-Reinforced mortar
X Chen, H Chen, Q Chen, AS Lawi, J Chen
Construction and Building Materials 344, 128201, 2022
142022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20