{"id":"https://openalex.org/W2028585812","doi":"https://doi.org/10.1007/s11432-011-4200-4","title":"Hoare logic-based genetic programming","display_name":"Hoare logic-based genetic programming","publication_year":2011,"publication_date":"2011-03-01","ids":{"openalex":"https://openalex.org/W2028585812","doi":"https://doi.org/10.1007/s11432-011-4200-4","mag":"2028585812"},"language":"en","primary_location":{"id":"doi:10.1007/s11432-011-4200-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-011-4200-4","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034822260","display_name":"Pei He","orcid":"https://orcid.org/0000-0003-1099-1525"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]},{"id":"https://openalex.org/I56934997","display_name":"Changsha University of Science and Technology","ror":"https://ror.org/03yph8055","country_code":"CN","type":"education","lineage":["https://openalex.org/I56934997"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Pei He","raw_affiliation_strings":["School of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha, 410076, China","State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, China","Changsha University of Science and Technology","Wuhan University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha, 410076, China","institution_ids":["https://openalex.org/I56934997"]},{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Changsha University of Science and Technology","institution_ids":["https://openalex.org/I56934997"]},{"raw_affiliation_string":"Wuhan University","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108535007","display_name":"Lishan Kang","orcid":null},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"LiShan Kang","raw_affiliation_strings":["State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, China","Wuhan Univ.,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Wuhan Univ.,","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003424762","display_name":"Colin G. Johnson","orcid":"https://orcid.org/0000-0002-9236-6581"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Colin G. Johnson","raw_affiliation_strings":["Computing Laboratory, University of Kent, Canterbury, CT2 7NF, England","University of Kent"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Laboratory, University of Kent, Canterbury, CT2 7NF, England","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"last","author":{"id":null,"display_name":"Shi Ying","orcid":null},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi Ying","raw_affiliation_strings":["State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, China","Wuhan Univ.,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Wuhan Univ.,","institution_ids":["https://openalex.org/I37461747"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5034822260"],"corresponding_institution_ids":["https://openalex.org/I37461747","https://openalex.org/I56934997"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.7255,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.86511166,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"54","issue":"3","first_page":"623","last_page":"637"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11663","display_name":"Viral Infectious Diseases and Gene Expression in Insects","score":0.9833999872207642,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/genetic-programming","display_name":"Genetic programming","score":0.7129288911819458},{"id":"https://openalex.org/keywords/hoare-logic","display_name":"Hoare logic","score":0.712498128414154},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7099325656890869},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7026121616363525},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.48384132981300354},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.41583678126335144},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4073520600795746},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3979729413986206},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23227819800376892}],"concepts":[{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.7129288911819458},{"id":"https://openalex.org/C104949639","wikidata":"https://www.wikidata.org/wiki/Q1375924","display_name":"Hoare logic","level":3,"score":0.712498128414154},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7099325656890869},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7026121616363525},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.48384132981300354},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.41583678126335144},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4073520600795746},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3979729413986206},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23227819800376892},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11432-011-4200-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-011-4200-4","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","raw_type":"journal-article"},{"id":"pmh:oai:kar.kent.ac.uk:70944","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-011-4200-4>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320324116","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17"},{"id":"https://openalex.org/F4320326939","display_name":"State Key Laboratory of Software Engineering","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W145937360","https://openalex.org/W225472412","https://openalex.org/W1491178396","https://openalex.org/W1497256448","https://openalex.org/W1511668635","https://openalex.org/W1517016597","https://openalex.org/W1576818901","https://openalex.org/W1578837114","https://openalex.org/W1579983817","https://openalex.org/W1585803290","https://openalex.org/W1606305805","https://openalex.org/W1679534293","https://openalex.org/W1931177379","https://openalex.org/W1974835578","https://openalex.org/W1984815740","https://openalex.org/W1988134631","https://openalex.org/W2002089154","https://openalex.org/W2011039300","https://openalex.org/W2013097266","https://openalex.org/W2013500188","https://openalex.org/W2019298113","https://openalex.org/W2020391296","https://openalex.org/W2022330642","https://openalex.org/W2027649639","https://openalex.org/W2034717157","https://openalex.org/W2097571405","https://openalex.org/W2103953153","https://openalex.org/W2106007969","https://openalex.org/W2106493925","https://openalex.org/W2111706174","https://openalex.org/W2113475831","https://openalex.org/W2144389867","https://openalex.org/W2162320128","https://openalex.org/W2169840877","https://openalex.org/W2171480813","https://openalex.org/W2279251390","https://openalex.org/W2296218809","https://openalex.org/W2378881248","https://openalex.org/W2585105539","https://openalex.org/W2612597751","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4234924236","https://openalex.org/W4245407374","https://openalex.org/W4251228600","https://openalex.org/W4296471858","https://openalex.org/W4302339081","https://openalex.org/W6629325410"],"related_works":["https://openalex.org/W4253529704","https://openalex.org/W1566441578","https://openalex.org/W2070032508","https://openalex.org/W2339601293","https://openalex.org/W2100604298","https://openalex.org/W1519798451","https://openalex.org/W2161156675","https://openalex.org/W4387445043","https://openalex.org/W3029034860","https://openalex.org/W2972926655"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-16T07:32:37.131356","created_date":"2025-10-10T00:00:00"}