From post

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.

 

Другие публикации лиц с тем же именем

Issues with Path Representation in Transition Systems., , , и . ACIT/CSII/BCD, стр. 230-234. IEEE, (2017)Model for Parallel Verification of Programs., , и . SNPD (3), стр. 623-628. IEEE Computer Society, (2007)Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations., , и . ISICA, том 5821 из Lecture Notes in Computer Science, стр. 228-237. Springer, (2009)Formality based genetic programming., , и . IEEE Congress on Evolutionary Computation, стр. 4080-4087. IEEE, (2008)Gene Expression Programming with Multi-Threading Evaluation and Gene-Reuse Strategy., и . HP3C, стр. 150-159. ACM, (2020)Model approach to grammatical evolution: theory and case study., , , и . Soft Comput., 20 (9): 3537-3548 (2016)An introduction to INCAPS system., , и . J. Comput. Sci. Technol., 8 (1): 26-37 (1993)A Scheduling Strategy for Parallel Proof Checking and Verification., , , и . ICNSC, стр. 1823-1827. IEEE, (2008)An Improved Fully Convolutional Network for Learning Rich Building Features., , , , , , и . IGARSS, стр. 6444-6447. IEEE, (2019)A new decoding method of the grammatical evolution., , , и . ACAI, стр. 97:1-97:7. ACM, (2022)