{"id":"https://openalex.org/W4407409133","doi":"https://doi.org/10.1145/3712293","title":"In Memoriam: Ernest Allen Emerson II","display_name":"In Memoriam: Ernest Allen Emerson II","publication_year":2025,"publication_date":"2025-02-12","ids":{"openalex":"https://openalex.org/W4407409133","doi":"https://doi.org/10.1145/3712293"},"language":"en","primary_location":{"id":"doi:10.1145/3712293","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3712293","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"other","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/A5006626759","display_name":"Jim Woodcock","orcid":"https://orcid.org/0000-0001-7955-2702"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]},{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]},{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["CN","DK","GB"],"is_corresponding":true,"raw_author_name":"James Woodcock","raw_affiliation_strings":["College of Computer and Information Science, Southwest University, Chongqing, China, Department of Electrical and Computer Engineering, Aarhus University, Aarhus Denmark, and Department of Computer Science, University of York, York, United Kingdom of Great Britain and Northern Ireland"],"raw_orcid":"https://orcid.org/0000-0001-7955-2702","affiliations":[{"raw_affiliation_string":"College of Computer and Information Science, Southwest University, Chongqing, China, Department of Electrical and Computer Engineering, Aarhus University, Aarhus Denmark, and Department of Computer Science, University of York, York, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I142108993","https://openalex.org/I204337017","https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5006626759"],"corresponding_institution_ids":["https://openalex.org/I142108993","https://openalex.org/I204337017","https://openalex.org/I52099693"],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"37","issue":"1","first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12430","display_name":"Academic and Historical Perspectives in Psychology","score":0.4246000051498413,"subfield":{"id":"https://openalex.org/subfields/3200","display_name":"General Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12430","display_name":"Academic and Historical Perspectives in Psychology","score":0.4246000051498413,"subfield":{"id":"https://openalex.org/subfields/3200","display_name":"General Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4646337330341339},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.45855966210365295},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.23813816905021667},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19248315691947937}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4646337330341339},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.45855966210365295},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.23813816905021667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19248315691947937}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3712293","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3712293","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1058556230","display_name":null,"funder_award_id":"EP/R025479/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4796088780","display_name":null,"funder_award_id":"EP/M025756/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7074731221","display_name":null,"funder_award_id":"EP/H017461/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7191280002","display_name":null,"funder_award_id":"EP/G061947/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8912027332","display_name":null,"funder_award_id":"EP/E025366/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2064563243","https://openalex.org/W4250775169","https://openalex.org/W2912137438","https://openalex.org/W2803307177","https://openalex.org/W4309231192","https://openalex.org/W1494974852","https://openalex.org/W1030430500"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}