{"id":"https://openalex.org/W3215924521","doi":"https://doi.org/10.1007/s10817-021-09612-0","title":"A Coq Formalization of Lebesgue Integration of Nonnegative Functions","display_name":"A Coq Formalization of Lebesgue Integration of Nonnegative Functions","publication_year":2021,"publication_date":"2021-11-23","ids":{"openalex":"https://openalex.org/W3215924521","doi":"https://doi.org/10.1007/s10817-021-09612-0","mag":"3215924521"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-021-09612-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-021-09612-0","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","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/A5031775383","display_name":"Sylvie Boldo","orcid":"https://orcid.org/0000-0002-1970-3019"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210119692","display_name":"Numerical Method (China)","ror":"https://ror.org/02ns8zp42","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210119692"]},{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["CN","FR"],"is_corresponding":true,"raw_author_name":"Sylvie Boldo","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire M\u00e9thodes Formelles, 91190, Gif-sur-Yvette, France","Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire M\u00e9thodes Formelles, Gif-sur-Yvette, France","Formally Verified Programs, Certified Tools and Numerical Computations"],"raw_orcid":"https://orcid.org/0000-0002-1970-3019","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire M\u00e9thodes Formelles, 91190, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4387154672"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire M\u00e9thodes Formelles, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4387154672"]},{"raw_affiliation_string":"Formally Verified Programs, Certified Tools and Numerical Computations","institution_ids":["https://openalex.org/I4210119692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101458757","display_name":"Fran\u00e7ois Cl\u00e9ment","orcid":"https://orcid.org/0000-0001-9206-3698"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I142631665","display_name":"\u00c9cole nationale des ponts et chauss\u00e9es","ror":"https://ror.org/02nwvxz07","country_code":"FR","type":"education","lineage":["https://openalex.org/I142631665","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210128309","display_name":"CERMICS","ror":"https://ror.org/03wct8w46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I142631665","https://openalex.org/I4210128309","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fran\u00e7ois Cl\u00e9ment","raw_affiliation_strings":["CERMICS, \u00c9cole des Ponts, 77455, Marne-la-Vall\u00e9e, France","CERMICS, \u00c9cole des Ponts, Marne-la-Vall\u00e9e, France","Inria, 2 rue Simone Iff, 75589, Paris, France","Inria, Paris, France","Centre d'Enseignement et de Recherche en Math\u00e9matiques et Calcul Scientifique","Simulation for the Environment: Reliable and Efficient Numerical Algorithms"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CERMICS, \u00c9cole des Ponts, 77455, Marne-la-Vall\u00e9e, France","institution_ids":["https://openalex.org/I142631665","https://openalex.org/I4210128309"]},{"raw_affiliation_string":"CERMICS, \u00c9cole des Ponts, Marne-la-Vall\u00e9e, France","institution_ids":["https://openalex.org/I142631665","https://openalex.org/I4210128309"]},{"raw_affiliation_string":"Inria, 2 rue Simone Iff, 75589, Paris, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria, Paris, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Centre d'Enseignement et de Recherche en Math\u00e9matiques et Calcul Scientifique","institution_ids":["https://openalex.org/I4210128309"]},{"raw_affiliation_string":"Simulation for the Environment: Reliable and Efficient Numerical Algorithms","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059583982","display_name":"Florian Faissole","orcid":"https://orcid.org/0000-0001-5792-0658"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210119692","display_name":"Numerical Method (China)","ror":"https://ror.org/02ns8zp42","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210119692"]},{"id":"https://openalex.org/I4387154672","display_name":"Laboratoire M\u00e9thodes Formelles","ror":"https://ror.org/00gdtta79","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4387154672"]}],"countries":["CN","FR"],"is_corresponding":false,"raw_author_name":"Florian Faissole","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire M\u00e9thodes Formelles, 91190, Gif-sur-Yvette, France","Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire M\u00e9thodes Formelles, Gif-sur-Yvette, France","Formally Verified Programs, Certified Tools and Numerical Computations"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire M\u00e9thodes Formelles, 91190, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4387154672"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire M\u00e9thodes Formelles, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4387154672"]},{"raw_affiliation_string":"Formally Verified Programs, Certified Tools and Numerical Computations","institution_ids":["https://openalex.org/I4210119692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063395039","display_name":"Vincent Martin","orcid":"https://orcid.org/0000-0002-4539-3018"},"institutions":[{"id":"https://openalex.org/I102516824","display_name":"Universit\u00e9 de Technologie de Compi\u00e8gne","ror":"https://ror.org/04y5kwa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I102516824"]},{"id":"https://openalex.org/I4210155549","display_name":"Laboratoire de Math\u00e9matiques Blaise Pascal","ror":"https://ror.org/05sd5r855","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I4210141950","https://openalex.org/I4210155549"]},{"id":"https://openalex.org/I4405260806","display_name":"Laboratoire de math\u00e9matiques appliqu\u00e9es de Compi\u00e8gne","ror":"https://ror.org/049z3x013","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102516824","https://openalex.org/I4405260806"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vincent Martin","raw_affiliation_strings":["LMAC (Laboratory of Applied Mathematics of Compi\u00e8gne), CS 60319, Universit\u00e9 de technologie de Compi\u00e8gne, 60203, Compi\u00e8gne Cedex, France","LMAC (Laboratory of Applied Mathematics of Compi\u00e8gne), CS 60319, Universit\u00e9 de technologie de Compi\u00e8gne, Compi\u00e8gne Cedex, France","Laboratoire de Math\u00e9matiques Appliqu\u00e9es de Compi\u00e8gne"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LMAC (Laboratory of Applied Mathematics of Compi\u00e8gne), CS 60319, Universit\u00e9 de technologie de Compi\u00e8gne, 60203, Compi\u00e8gne Cedex, France","institution_ids":["https://openalex.org/I102516824"]},{"raw_affiliation_string":"LMAC (Laboratory of Applied Mathematics of Compi\u00e8gne), CS 60319, Universit\u00e9 de technologie de Compi\u00e8gne, Compi\u00e8gne Cedex, France","institution_ids":["https://openalex.org/I102516824"]},{"raw_affiliation_string":"Laboratoire de Math\u00e9matiques Appliqu\u00e9es de Compi\u00e8gne","institution_ids":["https://openalex.org/I4210155549","https://openalex.org/I4405260806"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060373188","display_name":"Micaela Mayero","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Micaela Mayero","raw_affiliation_strings":["LIPN, CNRS UMR 7030, Universit\u00e9 Paris 13, 93430, Villetaneuse, France","LIPN, CNRS UMR 7030, Universit\u00e9 Paris 13, Villetaneuse, France","Laboratoire d'Informatique de Paris-Nord"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIPN, CNRS UMR 7030, Universit\u00e9 Paris 13, 93430, Villetaneuse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583"]},{"raw_affiliation_string":"LIPN, CNRS UMR 7030, Universit\u00e9 Paris 13, Villetaneuse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583"]},{"raw_affiliation_string":"Laboratoire d'Informatique de Paris-Nord","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5031775383"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210119692","https://openalex.org/I4387154672"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":3.4476,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.93423255,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"66","issue":"2","first_page":"175","last_page":"213"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9524999856948853,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9416000247001648,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.672774612903595},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6128082871437073},{"id":"https://openalex.org/keywords/lebesgue-integration","display_name":"Lebesgue integration","score":0.5602878928184509},{"id":"https://openalex.org/keywords/real-analysis","display_name":"Real analysis","score":0.4634988009929657},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4579751193523407},{"id":"https://openalex.org/keywords/proof-assistant","display_name":"Proof assistant","score":0.44928526878356934},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4405277967453003},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4220125675201416},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.4122246503829956},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37897565960884094},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3169276714324951}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.672774612903595},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6128082871437073},{"id":"https://openalex.org/C14158598","wikidata":"https://www.wikidata.org/wiki/Q853831","display_name":"Lebesgue integration","level":2,"score":0.5602878928184509},{"id":"https://openalex.org/C1911482","wikidata":"https://www.wikidata.org/wiki/Q854531","display_name":"Real analysis","level":2,"score":0.4634988009929657},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4579751193523407},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.44928526878356934},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4405277967453003},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4220125675201416},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.4122246503829956},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37897565960884094},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3169276714324951},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10817-021-09612-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-021-09612-0","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03194113v2","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-03194113","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"[Research Report] RR-9401, Inria, France. 2021, pp.38","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:oai:HAL:hal-03471095v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-03471095","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://link.springer.com/article/10.1007/s10817-021-09612-0","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2361257913","display_name":null,"funder_award_id":"810367","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2875348234","display_name":null,"funder_award_id":"ANR-11-LABEX-0045-DIGICOSME","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3024506935","display_name":"Idex Paris-Saclay","funder_award_id":"ANR-11-IDEX-0003","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3805538808","display_name":null,"funder_award_id":"ERC Synergy EMC2 810367","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G3974623063","display_name":"Mondes num\u00e9riques: Donn\u00e9es, programmes et architectures distribu\u00e9s","funder_award_id":"ANR-11-LABX-0045","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G44632381","display_name":null,"funder_award_id":"ANR-11-ID EX-0003-02","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4866930200","display_name":null,"funder_award_id":"ANR-11-IDEX","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7683707404","display_name":null,"funder_award_id":"810367","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320322263","display_name":"Conseil R\u00e9gional, \u00cele-de-France","ror":"https://ror.org/04ry1rt27"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"},{"id":"https://openalex.org/F4320335105","display_name":"Domaine d\u2019Int\u00e9r\u00eat Majeur Logiciels et Syst\u00e8mes Complexes","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W56092462","https://openalex.org/W69146909","https://openalex.org/W166580360","https://openalex.org/W955426250","https://openalex.org/W970850559","https://openalex.org/W1464569014","https://openalex.org/W1511694993","https://openalex.org/W1534797415","https://openalex.org/W1534850143","https://openalex.org/W1536993365","https://openalex.org/W1541162015","https://openalex.org/W1542112699","https://openalex.org/W1545464436","https://openalex.org/W1582373880","https://openalex.org/W1594563152","https://openalex.org/W1601728065","https://openalex.org/W1814275833","https://openalex.org/W1967011851","https://openalex.org/W1975906542","https://openalex.org/W2013562423","https://openalex.org/W2046349292","https://openalex.org/W2067914884","https://openalex.org/W2080360328","https://openalex.org/W2105518356","https://openalex.org/W2130920933","https://openalex.org/W2143235494","https://openalex.org/W2147177731","https://openalex.org/W2148166048","https://openalex.org/W2282640374","https://openalex.org/W2330923255","https://openalex.org/W2483648716","https://openalex.org/W2503421619","https://openalex.org/W2504542776","https://openalex.org/W2546463436","https://openalex.org/W2603117602","https://openalex.org/W2736618479","https://openalex.org/W2751862591","https://openalex.org/W2767522232","https://openalex.org/W2945905363","https://openalex.org/W2981188613","https://openalex.org/W2998997427","https://openalex.org/W3022899533","https://openalex.org/W3120889014","https://openalex.org/W3138238758","https://openalex.org/W4205634890","https://openalex.org/W4211192810","https://openalex.org/W4232499108","https://openalex.org/W4240836942","https://openalex.org/W4243462114","https://openalex.org/W4245807314","https://openalex.org/W4249051337","https://openalex.org/W4250846042","https://openalex.org/W4292079189","https://openalex.org/W4301441647"],"related_works":["https://openalex.org/W4388322892","https://openalex.org/W629833353","https://openalex.org/W578093192","https://openalex.org/W3105170303","https://openalex.org/W2581770685","https://openalex.org/W4231202664","https://openalex.org/W2793062269","https://openalex.org/W1520991158","https://openalex.org/W2587741027","https://openalex.org/W3099251155"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}