{"id":"https://openalex.org/W2995120476","doi":"https://doi.org/10.1145/3341105.3373993","title":"Formal analysis of the biological circuits using higher-order-logic theorem proving","display_name":"Formal analysis of the biological circuits using higher-order-logic theorem proving","publication_year":2020,"publication_date":"2020-03-29","ids":{"openalex":"https://openalex.org/W2995120476","doi":"https://doi.org/10.1145/3341105.3373993","mag":"2995120476"},"language":"en","primary_location":{"id":"doi:10.1145/3341105.3373993","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3341105.3373993","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1912.07340","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041607429","display_name":"Sa\u2019ed Abed","orcid":"https://orcid.org/0000-0003-1849-9316"},"institutions":[{"id":"https://openalex.org/I36721946","display_name":"Kuwait University","ror":"https://ror.org/021e5j056","country_code":"KW","type":"education","lineage":["https://openalex.org/I36721946"]}],"countries":["KW"],"is_corresponding":false,"raw_author_name":"Sa'ed Abed","raw_affiliation_strings":["Kuwait University, Kuwait, Kuwait","Kuwait University, Kuwait,  Kuwait"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kuwait University, Kuwait, Kuwait","institution_ids":["https://openalex.org/I36721946"]},{"raw_affiliation_string":"Kuwait University, Kuwait,  Kuwait","institution_ids":["https://openalex.org/I36721946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015888124","display_name":"Adnan Rashid","orcid":"https://orcid.org/0000-0002-9729-584X"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Adnan Rashid","raw_affiliation_strings":["National University of Sciences and Technology (NUST), Islamabad, Pakistan","National University of Sciences and Technology, (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]},{"raw_affiliation_string":"National University of Sciences and Technology, (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066768973","display_name":"Osman Hasan","orcid":"https://orcid.org/0000-0003-2562-2669"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Osman Hasan","raw_affiliation_strings":["National University of Sciences and Technology (NUST), Islamabad, Pakistan","National University of Sciences and Technology, (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]},{"raw_affiliation_string":"National University of Sciences and Technology, (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0083632,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9983999729156494,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9983999729156494,"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/T10142","display_name":"Formal Methods in Verification","score":0.9947999715805054,"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/T12029","display_name":"DNA and Biological Computing","score":0.9941999912261963,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6278351545333862},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5689994096755981},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5478506088256836},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5114892721176147},{"id":"https://openalex.org/keywords/synthetic-biology","display_name":"Synthetic biology","score":0.4903416633605957},{"id":"https://openalex.org/keywords/transfer-function","display_name":"Transfer function","score":0.483634352684021},{"id":"https://openalex.org/keywords/laplace-transform","display_name":"Laplace transform","score":0.45182767510414124},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4373754560947418},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.43432655930519104},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.4130253195762634},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3942966163158417},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2793033719062805}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6278351545333862},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5689994096755981},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5478506088256836},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5114892721176147},{"id":"https://openalex.org/C191908910","wikidata":"https://www.wikidata.org/wiki/Q862838","display_name":"Synthetic biology","level":2,"score":0.4903416633605957},{"id":"https://openalex.org/C81299745","wikidata":"https://www.wikidata.org/wiki/Q334269","display_name":"Transfer function","level":2,"score":0.483634352684021},{"id":"https://openalex.org/C97937538","wikidata":"https://www.wikidata.org/wiki/Q199691","display_name":"Laplace transform","level":2,"score":0.45182767510414124},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4373754560947418},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.43432655930519104},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.4130253195762634},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3942966163158417},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2793033719062805},{"id":"https://openalex.org/C60644358","wikidata":"https://www.wikidata.org/wiki/Q128570","display_name":"Bioinformatics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3341105.3373993","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3341105.3373993","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1912.07340","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.07340","pdf_url":"https://arxiv.org/pdf/1912.07340","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2995120476","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1912.07340v2","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1912.07340","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1912.07340","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1912.07340","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.07340","pdf_url":"https://arxiv.org/pdf/1912.07340","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4806793571","display_name":null,"funder_award_id":"EO 01/18","funder_id":"https://openalex.org/F4320335117","funder_display_name":"College of Graduate Studies, Kuwait University"}],"funders":[{"id":"https://openalex.org/F4320322668","display_name":"Kuwait University","ror":"https://ror.org/021e5j056"},{"id":"https://openalex.org/F4320335117","display_name":"College of Graduate Studies, Kuwait University","ror":"https://ror.org/021e5j056"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2995120476.pdf","grobid_xml":"https://content.openalex.org/works/W2995120476.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W88640039","https://openalex.org/W1497011154","https://openalex.org/W1521372188","https://openalex.org/W1527057751","https://openalex.org/W1540527391","https://openalex.org/W1572578464","https://openalex.org/W1586554382","https://openalex.org/W1595926909","https://openalex.org/W1701172542","https://openalex.org/W1830517132","https://openalex.org/W1988123909","https://openalex.org/W2009535721","https://openalex.org/W2039437622","https://openalex.org/W2076420009","https://openalex.org/W2162843658","https://openalex.org/W2260493387","https://openalex.org/W2325482840","https://openalex.org/W2500402711","https://openalex.org/W2500782055","https://openalex.org/W2618528743","https://openalex.org/W2964274091","https://openalex.org/W3014514395","https://openalex.org/W4236463097","https://openalex.org/W6751568888"],"related_works":["https://openalex.org/W3014514395","https://openalex.org/W3048688750","https://openalex.org/W1969392070","https://openalex.org/W2742017769","https://openalex.org/W3192520162","https://openalex.org/W2252122258","https://openalex.org/W2518942483","https://openalex.org/W1648565815","https://openalex.org/W1830517132","https://openalex.org/W2027958489","https://openalex.org/W2612047483","https://openalex.org/W1594267273","https://openalex.org/W280932099","https://openalex.org/W148852591","https://openalex.org/W2048883230","https://openalex.org/W1483893502","https://openalex.org/W1881425348","https://openalex.org/W2945250075","https://openalex.org/W2781051637","https://openalex.org/W2599617139"],"abstract_inverted_index":{"Synthetic":[0],"Biology":[1],"is":[2,128,145,170],"an":[3],"interdisciplinary":[4],"field":[5],"that":[6],"utilizes":[7],"well-established":[8],"engineering":[9],"principles,":[10],"ranging":[11],"from":[12,152],"electrical,":[13],"control":[14],"and":[15,29,44,66,98,193],"computer":[16],"systems,":[17,22,34],"for":[18,94],"analyzing":[19,95],"the":[20,36,67,72,75,101,118,132,136,148,159,173,178,188],"biological":[21,25,33],"such":[23,60,78],"as":[24,61,90],"circuits,":[26],"enzymes,":[27],"pathways":[28],"controllers.":[30],"Traditionally,":[31],"these":[32,49,96,165],"i.e.,":[35],"genetic":[37,119,137,189],"circuits":[38,120,138,190],"are":[39],"analyzed":[40],"using":[41,139,172],"paper-and-pencil":[42],"proofs":[43],"computer-based":[45],"simulations":[46],"techniques.":[47],"However,":[48],"methods":[50],"cannot":[51],"provide":[52],"accurate":[53],"results":[54],"due":[55],"to":[56,85,114,146],"their":[57,153],"inherent":[58],"limitations":[59],"human":[62],"error-proneness,":[63],"round-off":[64],"errors":[65],"unverified":[68],"algorithms":[69],"present":[70],"in":[71,122],"core":[73],"of":[74,135,164,181,191,196],"tools,":[76],"providing":[77],"analyses.":[79],"In":[80,104],"this":[81],"paper,":[82],"we":[83,106,185],"propose":[84,107],"use":[86],"higher-order-logic":[87,109],"theorem":[88,110],"proving":[89,111],"a":[91,108],"complementary":[92],"technique":[93],"systems":[97],"thus":[99],"overcome":[100],"above-mentioned":[102],"issues.":[103],"particular,":[105],"based":[112,162,168],"framework":[113],"formally":[115,186],"reason":[116],"about":[117],"used":[121],"synthetic":[123],"biology.":[124],"The":[125,142],"main":[126],"idea":[127],"to,":[129],"first,":[130],"model":[131],"continuous":[133],"dynamics":[134],"differential":[140,166],"equations.":[141],"next":[143],"step":[144],"obtain":[147],"systems'":[149],"transfer":[150,160],"function":[151,161],"corresponding":[154],"block":[155],"diagram":[156],"representations.":[157],"Finally,":[158],"analysis":[163],"equation":[167],"models":[169],"performed":[171],"Laplace":[174],"transform.":[175],"To":[176],"illustrate":[177],"practical":[179],"utilization":[180],"our":[182],"proposed":[183],"framework,":[184],"analyze":[187],"activated":[192],"repressed":[194],"expressions":[195],"protein.":[197]},"counts_by_year":[],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}