{"id":"https://openalex.org/A5133115754","orcid":null,"observed_orcids":[],"display_name":"Liang Xiao","raw_author_names":["Liang Xiao"],"full_name":"Xiao, Liang","works_count":1,"cited_by_count":2,"summary_stats":{"2yr_mean_citedness":2.0,"h_index":1,"i10_index":0},"ids":{"openalex":"https://openalex.org/A5133115754","orcid":null,"observed_orcids":[]},"affiliations":[{"institution":{"id":"https://openalex.org/I20231570","ror":"https://ror.org/02v51f717","display_name":"Peking University","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},"years":[2026]}],"last_known_institutions":[{"id":"https://openalex.org/I20231570","ror":"https://ror.org/02v51f717","display_name":"Peking University","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"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/T13523","display_name":"Mathematics, Computing, and Information Processing","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"}}],"topic_share":[{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","value":5.49e-05,"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/T10142","display_name":"Formal Methods in Verification","value":3.9e-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.2e-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.49160000681877136},{"id":"116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","score":0.34369999170303345},{"id":"13766981","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Automated proof checking","score":0.31630000472068787},{"id":"124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","score":0.28679999709129333},{"id":"110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","score":0.25040000677108765}],"counts_by_year":[{"year":2026,"works_count":1,"oa_works_count":1,"cited_by_count":2}],"display_name_alternatives":["Liang Xiao"],"block_key":"l xiao","works_api_url":"https://api.openalex.org/works?filter=author.id:A5133115754","updated_date":"2026-11-04T11:47:51","created_date":"2026-04-08T00:00:00"}