{"id":"https://openalex.org/A5128778357","orcid":"https://orcid.org/0000-0002-4792-4433","observed_orcids":["https://orcid.org/0000-0002-4792-4433"],"display_name":"Xiao Yi","raw_author_names":["Xiao Yi"],"full_name":"Yi, Xiao","works_count":1,"cited_by_count":3,"summary_stats":{"2yr_mean_citedness":3.0,"h_index":1,"i10_index":0},"ids":{"openalex":"https://openalex.org/A5128778357","orcid":"https://orcid.org/0000-0002-4792-4433","observed_orcids":["https://orcid.org/0000-0002-4792-4433"]},"affiliations":[{"institution":{"id":"https://openalex.org/I177725633","ror":"https://ror.org/00t33hh48","display_name":"Chinese University of Hong Kong","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]},"years":[2026]}],"last_known_institutions":[{"id":"https://openalex.org/I177725633","ror":"https://ror.org/00t33hh48","display_name":"Chinese University of Hong Kong","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","count":1,"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/T10142","display_name":"Formal Methods in Verification","count":1,"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/T10743","display_name":"Software Testing and Debugging Techniques","count":1,"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"}}],"topic_share":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","value":4.8e-06,"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","value":4.2e-06,"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/T10126","display_name":"Logic, programming, and type systems","value":2.4e-06,"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"}}],"x_concepts":[{"id":"111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","score":0.6448000073432922},{"id":"115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","score":0.45320001244544983},{"id":"110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","score":0.3578000068664551},{"id":"111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","score":0.3303000032901764},{"id":"115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","score":0.3301999866962433}],"counts_by_year":[{"year":2026,"works_count":1,"oa_works_count":1,"cited_by_count":3}],"display_name_alternatives":["Xiao Yi"],"block_key":"y xiao","works_api_url":"https://api.openalex.org/works?filter=author.id:A5128778357","updated_date":"2026-10-10T12:59:14","created_date":"2026-03-12T00:00:00"}