PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Chen, Haibo"

Author of the publication

copydeleteadd this publication to your clipboard
Petri net based test case generation for evolved specification.

, , , , and . SCIENCE CHINA Information Sciences, 59 (8): 080105:1-080105:25 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hong Chen University of Stuttgart

Yiyin Chen University of Stuttgart

Jun Chen University of Stuttgart

Lu Chen University of Stuttgart

Yingxing Cheng University of Stuttgart

 

Other publications of authors with the same name

The existence of multiple positive solutions for singular functional differential equations with sign-changing nonlinearity., and . J. Computational Applied Mathematics, 234 (5): 1543-1550 (2010)Global attractivity of the difference equation xn+1=(xn+alphaxn-1)/(beta+xn)., and . Applied Mathematics and Computation, 181 (2): 1431-1438 (2006)Petri net based test case generation for evolved specification., , , , and . SCIENCE CHINA Information Sciences, 59 (8): 080105:1-080105:25 (2016)Multiple solutions for a nonlinear Schrödinger-Poisson system with sign-changing potential., and . Computers & Mathematics with Applications, 71 (7): 1405-1416 (2016)Parallelizing image feature extraction algorithms on multi-core platforms., , , , , and . J. Parallel Distrib. Comput., (2016)Poster: TVisor - A Practical and Lightweight Mobile Red-Green Dual-OS Architecture., , , , and . MobiSys, page 485. ACM, (2015)Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation., , , , and . ACM Conference on Computer and Communications Security, page 1607-1619. ACM, (2015)Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments., , , , and . VEE, page 123-130. ACM, (2016)X10-FT: transparent fault tolerance for APGAS language and runtime., , and . PMAM, page 11-20. ACM, (2013)Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency., , , , and . PPOPP, page 50:1-50:2. ACM, (2016)