{"id":"https://openalex.org/W2468982345","doi":"https://doi.org/10.1007/978-3-319-31220-0_12","title":"Research on Formal Development of Non-recursive Algorithms of Graph Search","display_name":"Research on Formal Development of Non-recursive Algorithms of Graph Search","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2468982345","doi":"https://doi.org/10.1007/978-3-319-31220-0_12","mag":"2468982345"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-31220-0_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-31220-0_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5017708790","display_name":"Qimin Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qimin Hu","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917","https://openalex.org/I41317344"]},{"raw_affiliation_string":"National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917","https://openalex.org/I41317344"]},{"raw_affiliation_string":"National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100763215","display_name":"Jinyun Xue","orcid":"https://orcid.org/0000-0003-1584-9712"},"institutions":[{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]},{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinyun Xue","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917","https://openalex.org/I41317344"]},{"raw_affiliation_string":"National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917","https://openalex.org/I41317344"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100631751","display_name":"Zhen You","orcid":"https://orcid.org/0000-0003-0504-3942"},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen You","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917","https://openalex.org/I41317344"]},{"raw_affiliation_string":"National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917","https://openalex.org/I41317344"]},{"raw_affiliation_string":"National Networked Supporting Software International S and T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5017708790"],"corresponding_institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0461361,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"165","last_page":"178"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7986781001091003},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7130988836288452},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5465173721313477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48550844192504883},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4788617789745331},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4412969946861267},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.4239002466201782},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.41916516423225403},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13106858730316162}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7986781001091003},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7130988836288452},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5465173721313477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48550844192504883},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4788617789745331},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4412969946861267},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4239002466201782},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.41916516423225403},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13106858730316162},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-31220-0_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-31220-0_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6200000047683716}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1503677488","https://openalex.org/W1522615192","https://openalex.org/W1542358180","https://openalex.org/W1788659055","https://openalex.org/W1971043610","https://openalex.org/W2057118835","https://openalex.org/W2060536932","https://openalex.org/W2093666661","https://openalex.org/W2098278465","https://openalex.org/W2103953153","https://openalex.org/W2104192759","https://openalex.org/W2138776369","https://openalex.org/W2144973245","https://openalex.org/W2147543351","https://openalex.org/W2316194651","https://openalex.org/W2318940639","https://openalex.org/W2346597859","https://openalex.org/W2496949764","https://openalex.org/W2546124130","https://openalex.org/W3140308147","https://openalex.org/W3145128584","https://openalex.org/W4205541974","https://openalex.org/W4233225156"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W2071432835","https://openalex.org/W4239401009","https://openalex.org/W4234371507","https://openalex.org/W1628824497","https://openalex.org/W4299534542","https://openalex.org/W82161441","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1528423264"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}