{"id":"https://openalex.org/A5111492874","orcid":null,"observed_orcids":[],"display_name":"Leonardo Freitas","raw_author_names":["Freitas, Leonardo","Leonardo Freitas"],"full_name":"Leonardo Freitas","works_count":12,"cited_by_count":31,"summary_stats":{"2yr_mean_citedness":0.0,"h_index":3,"i10_index":1},"ids":{"openalex":"https://openalex.org/A5111492874","orcid":null,"observed_orcids":[]},"affiliations":[{"institution":{"id":"https://openalex.org/I146655781","ror":"https://ror.org/04xs57h96","display_name":"University of Liverpool","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]},"years":[2024]},{"institution":{"id":"https://openalex.org/I25112270","ror":"https://ror.org/047908t24","display_name":"Universidade Federal de Pernambuco","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]},"years":[2002]},{"institution":{"id":"https://openalex.org/I52099693","ror":"https://ror.org/04m01e293","display_name":"University of York","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]},"years":[2005]},{"institution":{"id":"https://openalex.org/I84884186","ror":"https://ror.org/01kj2bm70","display_name":"Newcastle University","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]},"years":[2025,2024,2021,2018,2013,2001]}],"last_known_institutions":[{"id":"https://openalex.org/I84884186","ror":"https://ror.org/01kj2bm70","display_name":"Newcastle University","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","count":8,"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","count":7,"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/T10999","display_name":"Organ Transplantation Techniques and Outcomes","count":3,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","count":3,"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/T10639","display_name":"Advanced Software Engineering Methodologies","count":2,"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/T10142","display_name":"Formal Methods in Verification","value":3.12e-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/T10126","display_name":"Logic, programming, and type systems","value":1.53e-05,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","value":1.35e-05,"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/T12486","display_name":"Food Supply Chain Traceability","value":1.19e-05,"subfield":{"id":"https://openalex.org/subfields/1106","display_name":"Food Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10986","display_name":"RFID technology advancements","value":1.13e-05,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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":"199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","score":0.7699310779571533},{"id":"41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","score":0.7696391940116882},{"id":"110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","score":0.6492587327957153},{"id":"115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","score":0.584297776222229},{"id":"127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","score":0.2732999920845032}],"counts_by_year":[{"year":2001,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":2002,"works_count":2,"oa_works_count":2,"cited_by_count":0},{"year":2005,"works_count":2,"oa_works_count":2,"cited_by_count":0},{"year":2012,"works_count":0,"oa_works_count":0,"cited_by_count":1},{"year":2013,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":2014,"works_count":0,"oa_works_count":0,"cited_by_count":2},{"year":2015,"works_count":0,"oa_works_count":0,"cited_by_count":5},{"year":2016,"works_count":0,"oa_works_count":0,"cited_by_count":1},{"year":2018,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":2019,"works_count":0,"oa_works_count":0,"cited_by_count":3},{"year":2021,"works_count":1,"oa_works_count":1,"cited_by_count":1},{"year":2023,"works_count":0,"oa_works_count":0,"cited_by_count":1},{"year":2024,"works_count":3,"oa_works_count":2,"cited_by_count":0},{"year":2025,"works_count":1,"oa_works_count":1,"cited_by_count":0}],"display_name_alternatives":["Freitas, Leonardo","Leonardo Freitas"],"block_key":"l freitas","works_api_url":"https://api.openalex.org/works?filter=author.id:A5111492874","awards_count":0,"awards_api_url":"https://api.openalex.org/awards?filter=investigators.author.id:A5111492874","updated_date":"2026-11-12T13:17:38","created_date":"2016-06-24T00:00:00"}