{"id":"https://openalex.org/A5008778243","orcid":"https://orcid.org/0000-0001-6390-9340","observed_orcids":["https://orcid.org/0000-0001-6390-9340"],"display_name":"Pierre V. Dantas","raw_author_names":["DANTAS, PIERRE","Dantas, Pierre","Dantas, Pierre Vilar","Pierre Dantas","Pierre V. Dantas","Pierre Vilar Dantas"],"full_name":"Pierre Vilar Dantas","works_count":31,"cited_by_count":363,"summary_stats":{"2yr_mean_citedness":13.64,"h_index":3,"i10_index":3},"ids":{"openalex":"https://openalex.org/A5008778243","orcid":"https://orcid.org/0000-0001-6390-9340","observed_orcids":["https://orcid.org/0000-0001-6390-9340"]},"affiliations":[{"institution":{"id":"https://openalex.org/I28407311","ror":"https://ror.org/027m9bs27","display_name":"University of Manchester","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]},"years":[2026,2025]},{"institution":{"id":"https://openalex.org/I62885914","ror":"https://ror.org/02263ky35","display_name":"Universidade Federal do Amazonas","country_code":"BR","type":"education","lineage":["https://openalex.org/I62885914"]},"years":[2026,2025,2024,2022,2020,2019,2017]}],"last_known_institutions":[{"id":"https://openalex.org/I28407311","ror":"https://ror.org/027m9bs27","display_name":"University of Manchester","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]},{"id":"https://openalex.org/I62885914","ror":"https://ror.org/02263ky35","display_name":"Universidade Federal do Amazonas","country_code":"BR","type":"education","lineage":["https://openalex.org/I62885914"]}],"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","count":17,"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":15,"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/T13344","display_name":"Industrial Automation and Control Systems","count":10,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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/T10036","display_name":"Advanced Neural Network Applications","count":5,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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":6.64e-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/T11052","display_name":"Energy Load and Power Forecasting","value":3.68e-05,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","value":3.28e-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/T13344","display_name":"Industrial Automation and Control Systems","value":3.25e-05,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","value":3.17e-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"}}],"x_concepts":[{"id":"41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","score":0.869596004486084},{"id":"199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","score":0.7742000222206116},{"id":"110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","score":0.734499990940094},{"id":"111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","score":0.6718000173568726},{"id":"11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","score":0.61080002784729}],"counts_by_year":[{"year":2016,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":2017,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":2019,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":2020,"works_count":2,"oa_works_count":1,"cited_by_count":2},{"year":2021,"works_count":0,"oa_works_count":0,"cited_by_count":1},{"year":2022,"works_count":1,"oa_works_count":0,"cited_by_count":2},{"year":2023,"works_count":0,"oa_works_count":0,"cited_by_count":4},{"year":2024,"works_count":1,"oa_works_count":1,"cited_by_count":8},{"year":2025,"works_count":3,"oa_works_count":3,"cited_by_count":146},{"year":2026,"works_count":21,"oa_works_count":21,"cited_by_count":200}],"display_name_alternatives":["DANTAS, PIERRE","Dantas, Pierre","Dantas, Pierre Vilar","Pierre Dantas","Pierre V. Dantas","Pierre Vilar Dantas"],"block_key":"p dantas","works_api_url":"https://api.openalex.org/works?filter=author.id:A5008778243","updated_date":"2026-11-08T12:57:04","created_date":"2019-06-07T00:00:00"}