{"id":"https://openalex.org/W1982248531","doi":"https://doi.org/10.1145/1350763.1350768","title":"Formal methods for the analysis and synthesis of nanometer-scale cellular arrays","display_name":"Formal methods for the analysis and synthesis of nanometer-scale cellular arrays","publication_year":2008,"publication_date":"2008-04-01","ids":{"openalex":"https://openalex.org/W1982248531","doi":"https://doi.org/10.1145/1350763.1350768","mag":"1982248531"},"language":"en","primary_location":{"id":"doi:10.1145/1350763.1350768","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1350763.1350768","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","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/A5052668419","display_name":"Josep Carmona","orcid":"https://orcid.org/0000-0001-9656-254X"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Josep Carmona","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031451250","display_name":"Jordi Cortadella","orcid":"https://orcid.org/0000-0001-8114-250X"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jordi Cortadella","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084430710","display_name":"Yousuke Takada","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yousuke Takada","raw_affiliation_strings":["Canopus Company Ltd., Kobe, Japan"],"affiliations":[{"raw_affiliation_string":"Canopus Company Ltd., Kobe, Japan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003129286","display_name":"Ferdinand Peper","orcid":"https://orcid.org/0000-0002-8576-7934"},"institutions":[{"id":"https://openalex.org/I90023481","display_name":"National Institute of Information and Communications Technology","ror":"https://ror.org/016bgq349","country_code":"JP","type":"facility","lineage":["https://openalex.org/I90023481"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ferdinand Peper","raw_affiliation_strings":["National Institute of Information and Communications Technology, Kobe, Japan","National Institute of Information and Communications Technology, Kobe, JAPAN"],"affiliations":[{"raw_affiliation_string":"National Institute of Information and Communications Technology, Kobe, Japan","institution_ids":["https://openalex.org/I90023481"]},{"raw_affiliation_string":"National Institute of Information and Communications Technology, Kobe, JAPAN","institution_ids":["https://openalex.org/I90023481"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5052668419"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.06171541,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4","issue":"2","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9994000196456909,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9994000196456909,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.998199999332428,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9972000122070312,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7127830386161804},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5631018280982971},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5208888053894043},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5118969678878784},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5020925998687744},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.488149493932724},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.4716072678565979},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.44645747542381287},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.41918954253196716},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.3550017178058624},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25358060002326965}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7127830386161804},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5631018280982971},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5208888053894043},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5118969678878784},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5020925998687744},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.488149493932724},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.4716072678565979},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.44645747542381287},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.41918954253196716},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.3550017178058624},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25358060002326965},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1350763.1350768","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1350763.1350768","pdf_url":null,"source":{"id":"https://openalex.org/S96198239","display_name":"ACM Journal on Emerging Technologies in Computing Systems","issn_l":"1550-4832","issn":["1550-4832","1550-4840"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal on Emerging Technologies in Computing Systems","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":51,"referenced_works":["https://openalex.org/W174548785","https://openalex.org/W1503170978","https://openalex.org/W1518386595","https://openalex.org/W1527917373","https://openalex.org/W1541981281","https://openalex.org/W1569305728","https://openalex.org/W1571889683","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1606002921","https://openalex.org/W1787074469","https://openalex.org/W1819209966","https://openalex.org/W1965854837","https://openalex.org/W1973910947","https://openalex.org/W1976849768","https://openalex.org/W1999082644","https://openalex.org/W2003945577","https://openalex.org/W2007057182","https://openalex.org/W2017096836","https://openalex.org/W2017414744","https://openalex.org/W2023808162","https://openalex.org/W2041319780","https://openalex.org/W2043100293","https://openalex.org/W2055673935","https://openalex.org/W2056665579","https://openalex.org/W2059030116","https://openalex.org/W2060181746","https://openalex.org/W2061438988","https://openalex.org/W2080267935","https://openalex.org/W2093453170","https://openalex.org/W2099120582","https://openalex.org/W2112969083","https://openalex.org/W2117189826","https://openalex.org/W2122666364","https://openalex.org/W2128181612","https://openalex.org/W2136053975","https://openalex.org/W2142785340","https://openalex.org/W2144383902","https://openalex.org/W2147395734","https://openalex.org/W2149158279","https://openalex.org/W2151193109","https://openalex.org/W2151751639","https://openalex.org/W2170288398","https://openalex.org/W2302518702","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4233686569","https://openalex.org/W4293278282","https://openalex.org/W6704706996"],"related_works":["https://openalex.org/W278680301","https://openalex.org/W2144996318","https://openalex.org/W2130642229","https://openalex.org/W2746280673","https://openalex.org/W2152996796","https://openalex.org/W1594593035","https://openalex.org/W2560415449","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W2037121848"],"abstract_inverted_index":{"Nanometer-scale":[0],"structures":[1,20,71],"suitable":[2,188],"for":[3,54],"computing":[4,63,191],"have":[5],"been":[6],"investigated":[7],"by":[8],"several":[9],"research":[10],"groups":[11],"in":[12,48,87,124],"recent":[13],"years.":[14],"A":[15],"common":[16],"feature":[17],"of":[18,37,59,84,98,114,120,127,131,149,157,161,177,179,186],"these":[19],"is":[21,40],"their":[22],"dynamic":[23],"evolution":[24],"through":[25],"cascaded":[26],"local":[27],"interactions":[28,178],"embedded":[29],"on":[30,117,136,145,183],"a":[31,41,78,112,118,128,184],"discrete":[32],"grid.":[33],"Finding":[34],"configurations":[35],"capable":[36],"conducting":[38],"computations":[39],"task":[42],"that":[43,152],"often":[44],"requires":[45],"tedious":[46],"experiments":[47],"laboratories.":[49],"Formal":[50],"methods\u2014though":[51],"used":[52],"extensively":[53],"the":[55,82,125,166,175],"specification":[56],"and":[57,61,95,102,171],"verification":[58],"software":[60],"hardware":[62],"systems\u2014are":[64],"virtually":[65],"unexplored":[66],"with":[67],"respect":[68],"to":[69,100,111,189],"computational":[70,104],"at":[72],"atomic":[73],"scales.":[74],"This":[75],"paper":[76],"presents":[77],"systematic":[79],"approach":[80],"toward":[81],"application":[83],"formal":[85,162],"methods":[86,163],"this":[88,137],"context,":[89],"using":[90],"techniques":[91,108,141],"like":[92],"abstraction,":[93],"model-checking,":[94],"symbolic":[96],"representations":[97],"states":[99],"explore":[101],"discover":[103],"structures.":[105],"The":[106,140,159],"proposed":[107],"are":[109,142],"applied":[110,144],"system":[113],"CO":[115],"molecules":[116],"grid":[119],"Copper":[121],"atoms,":[122],"resulting":[123],"design":[126],"complete":[129],"library":[130],"combinational":[132],"logic":[133],"gates":[134],"based":[135],"molecular":[138],"system.":[139],"also":[143],"(more":[146],"general)":[147],"systems":[148,182],"cellular":[150],"automata":[151],"employ":[153],"an":[154],"asynchronous":[155],"mode":[156],"timing.":[158],"use":[160],"may":[164],"narrow":[165],"gap":[167],"between":[168],"Physical":[169],"Chemistry":[170],"Computer":[172],"Science,":[173],"allowing":[174],"description":[176],"nanometer":[180],"scale":[181],"level":[185],"abstraction":[187],"devise":[190],"devices.":[192]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}