{"id":"https://openalex.org/W2069530808","doi":"https://doi.org/10.1007/bf00464357","title":"Probabilistic verification of Boolean functions","display_name":"Probabilistic verification of Boolean functions","publication_year":1992,"publication_date":"1992-07-01","ids":{"openalex":"https://openalex.org/W2069530808","doi":"https://doi.org/10.1007/bf00464357","mag":"2069530808"},"language":"en","primary_location":{"id":"doi:10.1007/bf00464357","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00464357","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"Formal Methods in System Design","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/A5111928143","display_name":"Jawahar Jain","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jawahar Jain","raw_affiliation_strings":["Computer Engineering Research Center and Department of Electrical and Computer Engineering, The University of Texas at Austin, 78712, Austin, TX","Computer Engineering Research Center and Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Engineering Research Center and Department of Electrical and Computer Engineering, The University of Texas at Austin, 78712, Austin, TX","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Computer Engineering Research Center and Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068070739","display_name":"Jacob A. Abraham","orcid":"https://orcid.org/0000-0002-5336-5631"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jacob A. Abraham","raw_affiliation_strings":["Computer Engineering Research Center and Department of Electrical and Computer Engineering, The University of Texas at Austin, 78712, Austin, TX","Computer Engineering Research Center and Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Engineering Research Center and Department of Electrical and Computer Engineering, The University of Texas at Austin, 78712, Austin, TX","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Computer Engineering Research Center and Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083781033","display_name":"J. Bitner","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Bitner","raw_affiliation_strings":["Computer Engineering Research Center, The University of Texas at Austin, 78758, Austin, TX","Computer Engineering Research Center, The University of Texas at Austin, Austin,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Engineering Research Center, The University of Texas at Austin, 78758, Austin, TX","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Computer Engineering Research Center, The University of Texas at Austin, Austin,","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111903031","display_name":"Donald S. Fussell","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Donald S. Fussell","raw_affiliation_strings":["Computer Engineering Research Center and Department of Computer Science, The University of Texas at Austin, 78712, Austin, TX","Computer Engineering Research Center and Department of Computer Science, The University of Texas at Austin, Austin,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Engineering Research Center and Department of Computer Science, The University of Texas at Austin, 78712, Austin, TX","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Computer Engineering Research Center and Department of Computer Science, The University of Texas at Austin, Austin,","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":1.9209,"has_fulltext":false,"cited_by_count":53,"citation_normalized_percentile":{"value":0.86304322,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"1","issue":"1","first_page":"61","last_page":"115"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9966999888420105,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9932000041007996,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6210871934890747},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5179659128189087},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.47548162937164307},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.4268282651901245},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35097211599349976},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.3402901291847229},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3240436315536499},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.269167423248291},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1905115842819214}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6210871934890747},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5179659128189087},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.47548162937164307},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.4268282651901245},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35097211599349976},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.3402901291847229},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3240436315536499},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.269167423248291},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1905115842819214}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf00464357","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00464357","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"Formal Methods in System Design","raw_type":"journal-article"}],"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/W1584887677","https://openalex.org/W1602476740","https://openalex.org/W1994143452","https://openalex.org/W2014064621","https://openalex.org/W2014631522","https://openalex.org/W2022620445","https://openalex.org/W2057956383","https://openalex.org/W2080267935","https://openalex.org/W2099251677","https://openalex.org/W2108016168","https://openalex.org/W2111379929","https://openalex.org/W2126693329","https://openalex.org/W2129873456","https://openalex.org/W2133431834","https://openalex.org/W2135453964","https://openalex.org/W2141781571","https://openalex.org/W2150119568","https://openalex.org/W2154030608","https://openalex.org/W2158102622","https://openalex.org/W2561675875","https://openalex.org/W3161092854","https://openalex.org/W3165781521","https://openalex.org/W6844803729"],"related_works":["https://openalex.org/W2109998394","https://openalex.org/W2133491672","https://openalex.org/W4241453319","https://openalex.org/W3029381898","https://openalex.org/W2060171268","https://openalex.org/W4248224315","https://openalex.org/W2516690985","https://openalex.org/W2169792446","https://openalex.org/W1996276855","https://openalex.org/W1976822807"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-16T07:32:37.131356","created_date":"2025-10-10T00:00:00"}