{"id":"https://openalex.org/W1479826380","doi":"https://doi.org/10.1007/978-3-540-75560-9_22","title":"Why Would You Trust B?","display_name":"Why Would You Trust B?","publication_year":2007,"publication_date":"2007-10-06","ids":{"openalex":"https://openalex.org/W1479826380","doi":"https://doi.org/10.1007/978-3-540-75560-9_22","mag":"1479826380"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-75560-9_22","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-75560-9_22","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059494182","display_name":"\u00c9ric Jaeger","orcid":null},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210148552","display_name":"Equipes Traitement de l'Information et Syst\u00e8mes","ror":"https://ror.org/0592ata02","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210142324","https://openalex.org/I4210148552","https://openalex.org/I4210159245","https://openalex.org/I86175216"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"\u00c9ric Jaeger","raw_affiliation_strings":["LIP6, Universit\u00e9 Paris 6, 4 place Jussieu, 75252 Paris Cedex 05, France","LTI, Direction centrale de la s\u00e9curit\u00e9 des syst\u00e8mes d\u2019information, 51 boulevard de La Tour-Maubourg, 75700 Paris 07 SP, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6, Universit\u00e9 Paris 6, 4 place Jussieu, 75252 Paris Cedex 05, France","institution_ids":["https://openalex.org/I39804081"]},{"raw_affiliation_string":"LTI, Direction centrale de la s\u00e9curit\u00e9 des syst\u00e8mes d\u2019information, 51 boulevard de La Tour-Maubourg, 75700 Paris 07 SP, France","institution_ids":["https://openalex.org/I4210148552"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061217918","display_name":"Catherine Dubois","orcid":"https://orcid.org/0000-0002-9477-8109"},"institutions":[{"id":"https://openalex.org/I4210097372","display_name":"\u00c9cole Nationale Sup\u00e9rieure d\u2019Informatique pour l\u2019Industrie et l\u2019Entreprise","ror":"https://ror.org/00tx98v53","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210097372"]},{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Catherine Dubois","raw_affiliation_strings":["CEDRIC, \u00c9cole nationale sup\u00e9rieure d\u2019informatique pour l\u2019industrie et l\u2019entreprise, 18 all\u00e9e Jean Rostand, 91025 Evry Cedex, France","CEDRIC, \u00c9cole nationale sup\u00e9rieure d'informatique pour l'industrie et l'entreprise, 18 all\u00e9e Jean Rostand, 91025 Evry Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEDRIC, \u00c9cole nationale sup\u00e9rieure d\u2019informatique pour l\u2019industrie et l\u2019entreprise, 18 all\u00e9e Jean Rostand, 91025 Evry Cedex, France","institution_ids":["https://openalex.org/I4210097372"]},{"raw_affiliation_string":"CEDRIC, \u00c9cole nationale sup\u00e9rieure d'informatique pour l'industrie et l'entreprise, 18 all\u00e9e Jean Rostand, 91025 Evry Cedex, France","institution_ids":["https://openalex.org/I4210097372","https://openalex.org/I4210145724"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6856,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.69199842,"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":"288","last_page":"302"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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/T10126","display_name":"Logic, programming, and type systems","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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T11424","display_name":"Security and Verification in Computing","score":0.9962000250816345,"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/correctness","display_name":"Correctness","score":0.8850116729736328},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.7690905332565308},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6541863679885864},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5716685056686401},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5559565424919128},{"id":"https://openalex.org/keywords/b-method","display_name":"B-Method","score":0.4828343987464905},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.47659939527511597},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.44684451818466187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39913856983184814},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.33429139852523804},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2526828646659851},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16811329126358032},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.07129532098770142}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8850116729736328},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7690905332565308},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6541863679885864},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5716685056686401},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5559565424919128},{"id":"https://openalex.org/C192698709","wikidata":"https://www.wikidata.org/wiki/Q3085774","display_name":"B-Method","level":3,"score":0.4828343987464905},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.47659939527511597},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.44684451818466187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39913856983184814},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33429139852523804},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2526828646659851},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16811329126358032},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.07129532098770142},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-75560-9_22","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-75560-9_22","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:CiteSeerX.psu:10.1.1.108.3111","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.3111","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ssi.gouv.fr/fr/sciences/fichiers/lti/lpar2007-jaeger-papier.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.233.1696","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.1696","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-spi.lip6.fr/%7Ejaume/jaeggerdubois.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.247.1533","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.247.1533","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0902.3858v1.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W1496164870","https://openalex.org/W1517446920","https://openalex.org/W1517976144","https://openalex.org/W1529227536","https://openalex.org/W1541992615","https://openalex.org/W1559870885","https://openalex.org/W1560253649","https://openalex.org/W1568810044","https://openalex.org/W1583630764","https://openalex.org/W1584721038","https://openalex.org/W1864574667","https://openalex.org/W1992452788","https://openalex.org/W2007740283","https://openalex.org/W2025431400","https://openalex.org/W2061403553","https://openalex.org/W2109703800","https://openalex.org/W2123360309","https://openalex.org/W2124630251","https://openalex.org/W2561675875","https://openalex.org/W2568721247","https://openalex.org/W4236324644","https://openalex.org/W4254354208"],"related_works":["https://openalex.org/W132718825","https://openalex.org/W2001092196","https://openalex.org/W2950845427","https://openalex.org/W2973962686","https://openalex.org/W3043102507","https://openalex.org/W2099925507","https://openalex.org/W2477444687","https://openalex.org/W2584255844","https://openalex.org/W2127784146","https://openalex.org/W1479826380"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}