{"id":"https://openalex.org/W2162617112","doi":"https://doi.org/10.1142/s0129054106004078","title":"MOLECULAR MODEL CHECKING","display_name":"MOLECULAR MODEL CHECKING","publication_year":2006,"publication_date":"2006-08-01","ids":{"openalex":"https://openalex.org/W2162617112","doi":"https://doi.org/10.1142/s0129054106004078","mag":"2162617112"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054106004078","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054106004078","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5022535511","display_name":"E. Allen Emerson","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":"E. ALLEN EMERSON","raw_affiliation_strings":["Computer Engineering Research Center, The University of Texas at Austin, Austin, Texas 78712, United States of America","Department of Computer Sciences, The University of Texas at Austin, Austin, Texas 78712, United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Engineering Research Center, The University of Texas at Austin, Austin, Texas 78712, United States of America","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Department of Computer Sciences, The University of Texas at Austin, Austin, Texas 78712, United States of America","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036138677","display_name":"Kathrin Hager","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":"KRISTINA D. HAGER","raw_affiliation_strings":["Department of Computer Sciences, The University of Texas at Austin, Austin, Texas 78712, United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, The University of Texas at Austin, Austin, Texas 78712, United States of America","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087495145","display_name":"Jay H. Konieczka","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":"JAY H. KONIECZKA","raw_affiliation_strings":["Department of Computer Sciences, The University of Texas at Austin, Austin, Texas 78712, United States of America","Section of Molecular Genetics and Microbiology, The University of Texas at Austin, Austin, Texas 78712, United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, The University of Texas at Austin, Austin, Texas 78712, United States of America","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Section of Molecular Genetics and Microbiology, The University of Texas at Austin, Austin, Texas 78712, United States of America","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.13778198,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"17","issue":"04","first_page":"733","last_page":"741"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9861000180244446,"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/T10142","display_name":"Formal Methods in Verification","score":0.9606999754905701,"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/model-checking","display_name":"Model checking","score":0.6542031764984131},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6011255383491516},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.5721168518066406},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5322263836860657},{"id":"https://openalex.org/keywords/dna","display_name":"DNA","score":0.5106480717658997},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.4661589562892914},{"id":"https://openalex.org/keywords/dna-computing","display_name":"DNA computing","score":0.4445624351501465},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43557208776474},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25930091738700867},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.24705880880355835},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.07380726933479309}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6542031764984131},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6011255383491516},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.5721168518066406},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5322263836860657},{"id":"https://openalex.org/C552990157","wikidata":"https://www.wikidata.org/wiki/Q7430","display_name":"DNA","level":2,"score":0.5106480717658997},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.4661589562892914},{"id":"https://openalex.org/C82047324","wikidata":"https://www.wikidata.org/wiki/Q177126","display_name":"DNA computing","level":3,"score":0.4445624351501465},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43557208776474},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25930091738700867},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.24705880880355835},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.07380726933479309},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054106004078","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054106004078","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1977312644","https://openalex.org/W4242889986"],"related_works":["https://openalex.org/W2081955678","https://openalex.org/W2386289764","https://openalex.org/W2130679749","https://openalex.org/W4247671148","https://openalex.org/W2073812501","https://openalex.org/W2395626435","https://openalex.org/W2357835153","https://openalex.org/W2129407322","https://openalex.org/W882830202","https://openalex.org/W2095002986"],"abstract_inverted_index":{"This":[0],"paper":[1],"shows":[2],"how":[3],"to":[4],"perform":[5],"model":[6],"checking,":[7],"a":[8,15,32,42,55],"technique":[9],"for":[10],"automatic":[11],"program":[12],"verification,":[13],"by":[14,41],"DNA":[16,33],"algorithm.":[17],"Our":[18],"method":[19],"depends":[20],"on":[21],"two":[22],"ideas.":[23],"First,":[24],"Kripke":[25],"structures":[26],"can":[27,51],"be":[28,52],"compactly":[29],"represented":[30],"in":[31],"substrate,":[34],"coding":[35],"each":[36,39],"state":[37],"and":[38],"edge":[40],"strand":[43],"of":[44,48],"DNA.":[45],"Second,":[46],"satisfaction":[47],"temporal":[49],"eventualities":[50],"achieved":[53],"through":[54],"self-propagating":[56],"molecular":[57],"chain":[58],"reaction.":[59]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}