Author of the publication

A Scheduling Strategy for Parallel Proof Checking and Verification.

, , , and . ICNSC, page 1823-1827. IEEE, (2008)

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

Issues with Path Representation in Transition Systems., , , and . ACIT/CSII/BCD, page 230-234. IEEE, (2017)Model for Parallel Verification of Programs., , and . SNPD (3), page 623-628. IEEE Computer Society, (2007)Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations., , and . ISICA, volume 5821 of Lecture Notes in Computer Science, page 228-237. Springer, (2009)Formality based genetic programming., , and . IEEE Congress on Evolutionary Computation, page 4080-4087. IEEE, (2008)An introduction to INCAPS system., , and . J. Comput. Sci. Technol., 8 (1): 26-37 (1993)Gene Expression Programming with Multi-Threading Evaluation and Gene-Reuse Strategy., and . HP3C, page 150-159. ACM, (2020)Model approach to grammatical evolution: theory and case study., , , and . Soft Comput., 20 (9): 3537-3548 (2016)MANet: Multi-Scale Aware-Relation Network for Semantic Segmentation in Aerial Scenes., , , , , , , and . IEEE Trans. Geosci. Remote. Sens., (2022)Theory and Practice for XYZ/VERI System., , and . IWAR, volume A-19 of IFIP Transactions, page 239-248. North-Holland, (1992)Work in progress: A new algorithm to improve the decoding success probability of Raptor code., , , , , and . ChinaCom, page 271-274. IEEE, (2014)