Author of the publication

Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.

, and . GECCO, page 1119-1126. ACM, (2015)

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.

 

Other publications of authors with the same name

Shadowless-illuminated variable-angle TIRF (siva-TIRF) microscopy for the observation of spatial-temporal dynamics in live cells., , , , , , and . Biomedical optics express, 5 (5): 1530--40 (May 2014)Land Cover Spurious Change Detection Using a geo-eco Zoning Rule Base1., , , and . IGARSS, page 6507-6510. IEEE, (2019)Ontology constructing for Chinese medicine knowledge of Beng Lou., , , , and . Healthcom, page 1-6. IEEE, (2017)Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming., and . SSS, volume 8255 of Lecture Notes in Computer Science, page 370-372. Springer, (2013)New Techniques of Remote Sensing in the University of Architecture and Planning., , and . IGARSS (2), page 642-645. IEEE, (2009)Research on Speedup Ratio Based on Reduction and Critical., , , and . AAIA, page 319-325. ACM, (2023)Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem., , and . IEEE Congress on Evolutionary Computation, page 2601-2608. IEEE, (2014)A Hybrid Watermarking Scheme for Video Authentication., , and . ICIP, page 2569-2572. IEEE, (2006)Research on different slicing methods of acquiring LAI from terrestrial laser scanner data., , , and . ICSDM, page 295-299. IEEE, (2011)A Study of Chinese Word Segmentation Based on the Characteristics of Chinese., , , , , and . GSCL, volume 8105 of Lecture Notes in Computer Science, page 111-118. Springer, (2013)