{"id":"https://openalex.org/W1152056858","doi":null,"title":"Progression of the binary decision diagram conversion methods","display_name":"Progression of the binary decision diagram conversion methods","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W1152056858","mag":"1152056858"},"language":"en","primary_location":{"id":"pmh:oai:dspace.lboro.ac.uk:2134/3648","doi":null,"is_oa":true,"landing_page_url":"https://dspace.lboro.ac.uk/2134/3648","pdf_url":"https://dspace.lboro.ac.uk/2134/3648","source":{"id":"https://openalex.org/S4306401023","display_name":"Loughborough University Institutional Repository (Loughborough University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I143804889","host_organization_name":"Loughborough University","host_organization_lineage":["https://openalex.org/I143804889"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Other"},"volume":null,"type":"other","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://dspace.lboro.ac.uk/2134/3648","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087682795","display_name":"Lisa M. Bartlett","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bartlett, L.M.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5087682795"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.6743000149726868,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.6743000149726868,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10142","display_name":"Formal Methods in Verification","score":0.20309999585151672,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.06499999761581421,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagrams","display_name":"binary decision diagrams","score":0.9980000257492065},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"logic synthesis","score":0.4350000023841858},{"id":"https://openalex.org/keywords/boolean-function-representation","display_name":"Boolean function representation","score":0.460999995470047}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.4741467833518982},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4655996263027191},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34634652733802795},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1858867108821869}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:dspace.lboro.ac.uk:2134/3648","doi":null,"is_oa":true,"landing_page_url":"https://dspace.lboro.ac.uk/2134/3648","pdf_url":"https://dspace.lboro.ac.uk/2134/3648","source":{"id":"https://openalex.org/S4306401023","display_name":"Loughborough University Institutional Repository (Loughborough University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I143804889","host_organization_name":"Loughborough University","host_organization_lineage":["https://openalex.org/I143804889"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Other"}],"best_oa_location":{"id":"pmh:oai:dspace.lboro.ac.uk:2134/3648","doi":null,"is_oa":true,"landing_page_url":"https://dspace.lboro.ac.uk/2134/3648","pdf_url":"https://dspace.lboro.ac.uk/2134/3648","source":{"id":"https://openalex.org/S4306401023","display_name":"Loughborough University Institutional Repository (Loughborough University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I143804889","host_organization_name":"Loughborough University","host_organization_lineage":["https://openalex.org/I143804889"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Other"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1152056858.pdf","grobid_xml":"https://content.openalex.org/works/W1152056858.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W146504070","https://openalex.org/W1654113830","https://openalex.org/W2096222863","https://openalex.org/W2154030608","https://openalex.org/W2158392936","https://openalex.org/W4243823432"],"related_works":["https://openalex.org/W2176800013","https://openalex.org/W7010725518","https://openalex.org/W2348969982","https://openalex.org/W3013858947","https://openalex.org/W2363526136","https://openalex.org/W2377472837","https://openalex.org/W2102981594","https://openalex.org/W7098954230","https://openalex.org/W2233701027","https://openalex.org/W7029110917"],"abstract_inverted_index":{"This":[0],"is":[1],"a":[2],"conference":[3],"paper.":[4],"It":[5],"was":[6],"presented":[7],"at":[8],"21st":[9],"International":[10],"Systems":[11],"Safety":[12],"Conference,":[13],"August":[14],"2-4,":[15],"2003,":[16],"Ottowa,":[17],"Westin":[18],"Hotel.":[19]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-08-07T00:00:00"}