{"id":"https://openalex.org/W146945102","doi":"https://doi.org/10.1007/978-3-319-01928-4_10","title":"Modular Verification of DNA Strand Displacement Networks via Serializability Analysis","display_name":"Modular Verification of DNA Strand Displacement Networks via Serializability Analysis","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W146945102","doi":"https://doi.org/10.1007/978-3-319-01928-4_10","mag":"146945102"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-01928-4_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-01928-4_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5003454366","display_name":"Matthew R. Lakin","orcid":"https://orcid.org/0000-0002-8516-4789"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Matthew R. Lakin","raw_affiliation_strings":["Department of Computer Science, University of New Mexico, NM, 87131, USA","Dept. of Computer Science, University of New Mexico, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of New Mexico, NM, 87131, USA","institution_ids":["https://openalex.org/I169521973"]},{"raw_affiliation_string":"Dept. of Computer Science, University of New Mexico, USA","institution_ids":["https://openalex.org/I169521973"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016397813","display_name":"Andrew Phillips","orcid":"https://orcid.org/0000-0001-9725-1073"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrew Phillips","raw_affiliation_strings":["Biological Computation Group, Microsoft Research, Cambridge, CB1 2FB, UK","Biological Computation Group, Microsoft Research, Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"Biological Computation Group, Microsoft Research, Cambridge, CB1 2FB, UK","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Biological Computation Group, Microsoft Research, Cambridge, UK","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103204365","display_name":"Darko Stefanovi\u0107","orcid":"https://orcid.org/0000-0002-5619-3599"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Darko Stefanovic","raw_affiliation_strings":["Center for Biomedical Engineering, University of New Mexico, NM, 87131, USA","Department of Computer Science, University of New Mexico, NM, 87131, USA","Department of Computer Science, University of New Mexico, USA and Center for Biomedical Engineering, University of New Mexico, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Center for Biomedical Engineering, University of New Mexico, NM, 87131, USA","institution_ids":["https://openalex.org/I169521973"]},{"raw_affiliation_string":"Department of Computer Science, University of New Mexico, NM, 87131, USA","institution_ids":["https://openalex.org/I169521973"]},{"raw_affiliation_string":"Department of Computer Science, University of New Mexico, USA and Center for Biomedical Engineering, University of New Mexico, USA#TAB#","institution_ids":["https://openalex.org/I169521973"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5003454366"],"corresponding_institution_ids":["https://openalex.org/I169521973"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":5.8109,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.96080526,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"133","last_page":"146"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9998999834060669,"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/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9998999834060669,"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/T10913","display_name":"Molecular Junctions and Nanostructures","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"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/T10432","display_name":"DNA and Nucleic Acid Chemistry","score":0.9990000128746033,"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/correctness","display_name":"Correctness","score":0.8215630054473877},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.766333818435669},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6480298638343811},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5113705992698669},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5006580352783203},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.49860072135925293},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.4394170343875885},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42620357871055603},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21952354907989502},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15039440989494324}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8215630054473877},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.766333818435669},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6480298638343811},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5113705992698669},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5006580352783203},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.49860072135925293},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.4394170343875885},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42620357871055603},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21952354907989502},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15039440989494324},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"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/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-01928-4_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-01928-4_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.645.8191","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.8191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://research.microsoft.com/pubs/194938/DNA19.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.661.2886","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.661.2886","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cntc.unm.edu/pdf/Lakin_DNA19_Paper.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4099999964237213,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W96825683","https://openalex.org/W1621944155","https://openalex.org/W1653241450","https://openalex.org/W1862398452","https://openalex.org/W1871080051","https://openalex.org/W1895520507","https://openalex.org/W1991095994","https://openalex.org/W2000804241","https://openalex.org/W2005615084","https://openalex.org/W2008591003","https://openalex.org/W2023304911","https://openalex.org/W2047231556","https://openalex.org/W2059505795","https://openalex.org/W2133035852","https://openalex.org/W2138153242","https://openalex.org/W2141478443","https://openalex.org/W2158313010","https://openalex.org/W2293751100","https://openalex.org/W2407503784","https://openalex.org/W2962738471","https://openalex.org/W2964028996"],"related_works":["https://openalex.org/W2116536633","https://openalex.org/W2136052444","https://openalex.org/W4301176064","https://openalex.org/W2950028700","https://openalex.org/W1019628555","https://openalex.org/W1529897089","https://openalex.org/W3030842888","https://openalex.org/W2015340470","https://openalex.org/W2748077663","https://openalex.org/W2113181166"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":4}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}