{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:40:54Z","timestamp":1761676854696,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006193","name":"Kuwait University","doi-asserted-by":"publisher","award":["EO 01\/18"],"award-info":[{"award-number":["EO 01\/18"]}],"id":[{"id":"10.13039\/501100006193","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,30]]},"DOI":"10.1145\/3341105.3373993","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"3-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Formal analysis of the biological circuits using higher-order-logic theorem proving"],"prefix":"10.1145","author":[{"given":"Sa'ed","family":"Abed","sequence":"first","affiliation":[{"name":"Kuwait University, Kuwait, Kuwait"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnan","family":"Rashid","sequence":"additional","affiliation":[{"name":"National University of Sciences and Technology (NUST), Islamabad, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[{"name":"National University of Sciences and Technology (NUST), Islamabad, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Sa'ed Abed Adnan Rashid and Osman Hasan. 2020. Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. http:\/\/save.seecs.nust.edu.pk\/fabcholtp\/. Sa'ed Abed Adnan Rashid and Osman Hasan. 2020. Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. http:\/\/save.seecs.nust.edu.pk\/fabcholtp\/.","DOI":"10.1145\/3341105.3373993"},{"volume-title":"Formal Methods for Industrial Critical Systems","author":"Ahmad Muhammad","key":"e_1_3_2_1_2_1","unstructured":"Muhammad Ahmad and Osman Hasan . 2014. Formal Verification of Steady-state Errors in Unity-feedback Control Systems . In Formal Methods for Industrial Critical Systems . Springer , 1--15. Muhammad Ahmad and Osman Hasan. 2014. Formal Verification of Steady-state Errors in Unity-feedback Control Systems. In Formal Methods for Industrial Critical Systems. Springer, 1--15."},{"key":"e_1_3_2_1_3_1","volume-title":"Brazilian Symposium on Formal Methods. Springer, 32--47","author":"Ahmad Sohaib","year":"2014","unstructured":"Sohaib Ahmad , Osman Hasan , Umair Siddique , and Sofi\u00e9ne Tahar . 2014 . Formalization of Zsyntax to Reason About Molecular Pathways in HOL4 . In Brazilian Symposium on Formal Methods. Springer, 32--47 . Sohaib Ahmad, Osman Hasan, Umair Siddique, and Sofi\u00e9ne Tahar. 2014. Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. In Brazilian Symposium on Formal Methods. Springer, 32--47."},{"volume-title":"Hardware Verification Using Higher-Order Logic","author":"Albert Camilleri Mike Gordon","key":"e_1_3_2_1_4_1","unstructured":"Mike Gordon Albert Camilleri and Tom Melham . 1986. Hardware Verification Using Higher-Order Logic . University of Cambridge , Computer Laboratory . Mike Gordon Albert Camilleri and Tom Melham. 1986. Hardware Verification Using Higher-Order Logic. University of Cambridge, Computer Laboratory."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Bruce Alberts. 2017. Molecular Biology of the Cell. Garland Science. Bruce Alberts. 2017. Molecular Biology of the Cell. Garland Science.","DOI":"10.1201\/9781315735368"},{"key":"e_1_3_2_1_6_1","unstructured":"Geoff Baldwin. 2012. Synthetic Biology. John Wiley & Sons. Geoff Baldwin. 2012. Synthetic Biology. John Wiley & Sons."},{"volume-title":"Computational Methods in Systems Biology","author":"Bartocci Ezio","key":"e_1_3_2_1_7_1","unstructured":"Ezio Bartocci , Luca Bortolussi , and Laura Nenzi . 2013. A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits . In Computational Methods in Systems Biology . Springer , 164--177. Ezio Bartocci, Luca Bortolussi, and Laura Nenzi. 2013. A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. In Computational Methods in Systems Biology. Springer, 164--177."},{"volume-title":"Informatics","author":"Clarke Edmund M","key":"e_1_3_2_1_8_1","unstructured":"Edmund M Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , and Helmut Veith . 2001. Progress on the State Explosion Problem in Model Checking . In Informatics . Springer , 176--194. Edmund M Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. 2001. Progress on the State Explosion Problem in Model Checking. In Informatics. Springer, 176--194."},{"key":"e_1_3_2_1_9_1","unstructured":"Marshall Abrams et al. 2015. A History of OCaml. http:\/\/ocaml.org\/learn\/history.html. Marshall Abrams et al. 2015. A History of OCaml. http:\/\/ocaml.org\/learn\/history.html."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4822455"},{"volume-title":"Modeling Biological Systems:: Principles and Applications","author":"Haefner James W","key":"e_1_3_2_1_11_1","unstructured":"James W Haefner . 2005. Modeling Biological Systems:: Principles and Applications . Springer Science & Business Media . James W Haefner. 2005. Modeling Biological Systems:: Principles and Applications. Springer Science & Business Media."},{"volume-title":"Formal Methods in Computer-Aided Design (LNCS)","author":"Harrison John","key":"e_1_3_2_1_12_1","unstructured":"John Harrison . 1996. HOL Light: A Tutorial Introduction . In Formal Methods in Computer-Aided Design (LNCS) , Vol. 1166 . Springer , 265--269. John Harrison. 1996. HOL Light: A Tutorial Introduction. In Formal Methods in Computer-Aided Design (LNCS), Vol. 1166. Springer, 265--269."},{"volume-title":"Handbook of Practical Logic and Automated Reasoning","author":"Harrison John","key":"e_1_3_2_1_13_1","unstructured":"John Harrison . 2009. Handbook of Practical Logic and Automated Reasoning . Cambridge University Press . John Harrison. 2009. Handbook of Practical Logic and Automated Reasoning. Cambridge University Press."},{"volume-title":"Encyclopedia of Information Science and Technology","author":"Hasan Osman","key":"e_1_3_2_1_14_1","unstructured":"Osman Hasan and Sofiene Tahar . 2015. Formal Verification Methods . In Encyclopedia of Information Science and Technology , Third Edition. IGI Global , 7162--7170. Osman Hasan and Sofiene Tahar. 2015. Formal Verification Methods. In Encyclopedia of Information Science and Technology, Third Edition. IGI Global, 7162--7170."},{"volume-title":"Linear Control System Analysis and Design with MATLAB","author":"Houpis Constantine H","key":"e_1_3_2_1_15_1","unstructured":"Constantine H Houpis and Stuart N Sheldon . 2013. Linear Control System Analysis and Design with MATLAB . CRC Press . Constantine H Houpis and Stuart N Sheldon. 2013. Linear Control System Analysis and Design with MATLAB. CRC Press."},{"volume-title":"Control Systems Engineering","author":"Nise Norman S","key":"e_1_3_2_1_16_1","unstructured":"Norman S Nise . 2007. Control Systems Engineering . John Wiley & Sons . Norman S Nise. 2007. Control Systems Engineering. John Wiley & Sons."},{"volume-title":"Modern Control Engineering","author":"Ogata Katsuhiko","key":"e_1_3_2_1_17_1","unstructured":"Katsuhiko Ogata and Yanjuan Yang . 2002. Modern Control Engineering . Vol. 4 . London . Katsuhiko Ogata and Yanjuan Yang. 2002. Modern Control Engineering. Vol. 4. London."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68690-5_21"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-62075-6_22"},{"key":"e_1_3_2_1_20_1","first-page":"1623","article-title":"Formalization of Lerch's Theorem using HOL Light","volume":"5","author":"Rashid Adnan","year":"2018","unstructured":"Adnan Rashid and Osman Hasan . 2018 . Formalization of Lerch's Theorem using HOL Light . Journal of Applied Logics---IFCoLog Journal of Logics and their Applications 5 , 8 (2018), 1623 -- 1652 . Adnan Rashid and Osman Hasan. 2018. Formalization of Lerch's Theorem using HOL Light. Journal of Applied Logics---IFCoLog Journal of Logics and their Applications 5, 8 (2018), 1623--1652.","journal-title":"Journal of Applied Logics---IFCoLog Journal of Logics and their Applications"},{"key":"e_1_3_2_1_21_1","volume-title":"Taqdees and Osman Hasan","author":"Syeda","year":"2013","unstructured":"Syeda H. Taqdees and Osman Hasan . 2013 . Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. In Logic for Programming, Artificial Intelligence, and Reasoning (LNCS), Vol. 8312 . Springer , 744--758. Syeda H. Taqdees and Osman Hasan. 2013. Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. In Logic for Programming, Artificial Intelligence, and Reasoning (LNCS), Vol. 8312. Springer, 744--758."},{"key":"e_1_3_2_1_22_1","volume-title":"Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, and Douglas Densmore.","author":"Yordanov Boyan","year":"2012","unstructured":"Boyan Yordanov , Evan Appleton , Rishi Ganguly , Ebru Aydin Gol , Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, and Douglas Densmore. 2012 . Experimentally Driven Verification of Synthetic Biological Circuits. In Design, Automation & Test in Europe. IEEE , 236--241. Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, and Douglas Densmore. 2012. Experimentally Driven Verification of Synthetic Biological Circuits. In Design, Automation & Test in Europe. IEEE, 236--241."}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Brno Czech Republic","acronym":"SAC '20"},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373993","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3373993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:30Z","timestamp":1750199910000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":22,"alternative-id":["10.1145\/3341105.3373993","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3373993","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}