{"id":"https://openalex.org/W4390398498","doi":"https://doi.org/10.1007/978-3-031-50524-9_2","title":"Abstract Interpretation-Based Feature Importance for\u00a0Support Vector Machines","display_name":"Abstract Interpretation-Based Feature Importance for\u00a0Support Vector Machines","publication_year":2023,"publication_date":"2023-12-29","ids":{"openalex":"https://openalex.org/W4390398498","doi":"https://doi.org/10.1007/978-3-031-50524-9_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-50524-9_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-50524-9_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-04378817/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048960176","display_name":"Abhinandan Pal","orcid":"https://orcid.org/0000-0002-4122-5092"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Abhinandan Pal","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, UK","School of Computer Science [Birmingham] (The University of Birmingham, Edgbaston, Birmingham, B15 2TT, United Kingdom - United Kingdom)"],"raw_orcid":"https://orcid.org/0000-0002-4122-5092","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science [Birmingham] (The University of Birmingham, Edgbaston, Birmingham, B15 2TT, United Kingdom - United Kingdom)","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000629161","display_name":"Francesco Ranzato","orcid":"https://orcid.org/0000-0003-0159-0068"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Ranzato","raw_affiliation_strings":["Dipartimento di Matematica, University of Padova, Padova, Italy","Dipartimento di Matematica [Padova] (Via Trieste, 63 - 35121 Padova\r\n - Italy)"],"raw_orcid":"https://orcid.org/0000-0003-0159-0068","affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica, University of Padova, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]},{"raw_affiliation_string":"Dipartimento di Matematica [Padova] (Via Trieste, 63 - 35121 Padova\r\n - Italy)","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077439185","display_name":"Caterina Urban","orcid":"https://orcid.org/0000-0002-8127-9642"},"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/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210131420","display_name":"Institut de Recherche sur l'Architecture Antique","ror":"https://ror.org/03r0cdk24","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I144889574","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I21491767","https://openalex.org/I2802818602","https://openalex.org/I4210102700","https://openalex.org/I4210131420","https://openalex.org/I4210155116"]},{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Caterina Urban","raw_affiliation_strings":["INRIA and Ecole Normale Sup\u00e9rieure, Universit\u00e9 PSL, Paris, France","ANTIQUE - Analyse Statique par Interpr\u00e9tation Abstraite (France)","PSL - Universit\u00e9 Paris Sciences et Lettres (60 rue Mazarine 75006 Paris - France)","DI-ENS - D\u00e9partement d'informatique - ENS Paris (\u00c9cole normale sup\u00e9rieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France)"],"raw_orcid":"https://orcid.org/0000-0002-8127-9642","affiliations":[{"raw_affiliation_string":"INRIA and Ecole Normale Sup\u00e9rieure, Universit\u00e9 PSL, Paris, France","institution_ids":["https://openalex.org/I2746051580","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"ANTIQUE - Analyse Statique par Interpr\u00e9tation Abstraite (France)","institution_ids":["https://openalex.org/I4210131420"]},{"raw_affiliation_string":"PSL - Universit\u00e9 Paris Sciences et Lettres (60 rue Mazarine 75006 Paris - France)","institution_ids":[]},{"raw_affiliation_string":"DI-ENS - D\u00e9partement d'informatique - ENS Paris (\u00c9cole normale sup\u00e9rieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France)","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I4210161954"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074783222","display_name":"Marco Zanella","orcid":"https://orcid.org/0000-0002-6164-6169"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Zanella","raw_affiliation_strings":["Dipartimento di Matematica, University of Padova, Padova, Italy","Dipartimento di Matematica [Padova] (Via Trieste, 63 - 35121 Padova\r\n - Italy)"],"raw_orcid":"https://orcid.org/0000-0002-6164-6169","affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica, University of Padova, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]},{"raw_affiliation_string":"Dipartimento di Matematica [Padova] (Via Trieste, 63 - 35121 Padova\r\n - Italy)","institution_ids":["https://openalex.org/I138689650"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5048960176"],"corresponding_institution_ids":["https://openalex.org/I79619799"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.5374,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.86226185,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"27","last_page":"49"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9991999864578247,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9968000054359436,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.8408324718475342},{"id":"https://openalex.org/keywords/support-vector-machine","display_name":"Support vector machine","score":0.8243362903594971},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7107127904891968},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.6733995676040649},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6198922395706177},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5212143659591675},{"id":"https://openalex.org/keywords/feature-vector","display_name":"Feature vector","score":0.4697827398777008},{"id":"https://openalex.org/keywords/pattern-recognition","display_name":"Pattern recognition (psychology)","score":0.45947781205177307},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.44891977310180664},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.41531679034233093},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.373985230922699}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.8408324718475342},{"id":"https://openalex.org/C12267149","wikidata":"https://www.wikidata.org/wiki/Q282453","display_name":"Support vector machine","level":2,"score":0.8243362903594971},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7107127904891968},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.6733995676040649},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6198922395706177},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5212143659591675},{"id":"https://openalex.org/C83665646","wikidata":"https://www.wikidata.org/wiki/Q42139305","display_name":"Feature vector","level":2,"score":0.4697827398777008},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.45947781205177307},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.44891977310180664},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.41531679034233093},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.373985230922699},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-031-50524-9_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-50524-9_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-04378817v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04378817","pdf_url":"https://inria.hal.science/hal-04378817/document","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.27-49, ⟨10.1007/978-3-031-50524-9_2⟩","raw_type":"Conference papers"},{"id":"pmh:oai:www.research.unipd.it:11577/3504004","is_oa":true,"landing_page_url":"https://hdl.handle.net/11577/3504004","pdf_url":"https://www.research.unipd.it/bitstream/11577/3504004/1/paper.pdf","source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/4aae4448-3937-4dc3-83d0-fa0d9f52d0fd","is_oa":false,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/4aae4448-3937-4dc3-83d0-fa0d9f52d0fd","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Pal, A, Ranzato, F, Urban, C & Zanella , M 2024, Abstract Interpretation-Based Feature Importance for Support Vector Machines. in R Dimitrova, O Lahav & S Wolff (eds), Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15\u201316, 2024, Proceedings, Part I. Lecture Notes in Computer Science, vol. 14499, Springer, pp. 27\u201349, 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, United Kingdom, 15/01/24. https://doi.org/10.1007/978-3-031-50524-9_2","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04378817v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04378817","pdf_url":"https://inria.hal.science/hal-04378817/document","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.27-49, ⟨10.1007/978-3-031-50524-9_2⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3422143364","display_name":null,"funder_award_id":"PRIN 2017","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G490430286","display_name":null,"funder_award_id":"PRIN 2022","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G557875060","display_name":null,"funder_award_id":"201784YSZ5","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G617794351","display_name":null,"funder_award_id":"PRIN 2022 PNRR","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G8557363096","display_name":null,"funder_award_id":"ANR-23-PEIA-0006","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4390398498.pdf"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W178079818","https://openalex.org/W1491178396","https://openalex.org/W1563088657","https://openalex.org/W1678356000","https://openalex.org/W2043100293","https://openalex.org/W2100960835","https://openalex.org/W2107397716","https://openalex.org/W2125847307","https://openalex.org/W2140390894","https://openalex.org/W2282821441","https://openalex.org/W2560674852","https://openalex.org/W2797800832","https://openalex.org/W2809878087","https://openalex.org/W2809895662","https://openalex.org/W2911964244","https://openalex.org/W2958089299","https://openalex.org/W2962951800","https://openalex.org/W2963857521","https://openalex.org/W2964031043","https://openalex.org/W2981347768","https://openalex.org/W3010414097","https://openalex.org/W3013149459","https://openalex.org/W3023211159","https://openalex.org/W3035517615","https://openalex.org/W3105959310","https://openalex.org/W3108851260","https://openalex.org/W3121588992","https://openalex.org/W3181414820","https://openalex.org/W3199653094","https://openalex.org/W3209434414","https://openalex.org/W3209774771","https://openalex.org/W4205950066","https://openalex.org/W4206151407","https://openalex.org/W4224318489","https://openalex.org/W4292014633","https://openalex.org/W6757337225"],"related_works":["https://openalex.org/W2905433371","https://openalex.org/W2888392564","https://openalex.org/W4310278675","https://openalex.org/W4388422664","https://openalex.org/W4390569940","https://openalex.org/W4361193272","https://openalex.org/W2963326959","https://openalex.org/W4388685194","https://openalex.org/W4312407344","https://openalex.org/W2894289927"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-08T15:41:06.802602","created_date":"2025-10-10T00:00:00"}