Author of the publication

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)Model approach to grammatical evolution: theory and case study., , , and . Soft Comput., 20 (9): 3537-3548 (2016)Gene Expression Programming with Multi-Threading Evaluation and Gene-Reuse Strategy., and . HP3C, page 150-159. ACM, (2020)An introduction to INCAPS system., , and . J. Comput. Sci. Technol., 8 (1): 26-37 (1993)An Improved Fully Convolutional Network for Learning Rich Building Features., , , , , , and . IGARSS, page 6444-6447. IEEE, (2019)A Scheduling Strategy for Parallel Proof Checking and Verification., , , and . ICNSC, page 1823-1827. IEEE, (2008)A new decoding method of the grammatical evolution., , , and . ACAI, page 97:1-97:7. ACM, (2022)