{"id":"https://openalex.org/W2089813709","doi":"https://doi.org/10.1007/s00165-014-0294-y","title":"Analysing neurobiological models using communicating automata","display_name":"Analysing neurobiological models using communicating automata","publication_year":2014,"publication_date":"2014-04-22","ids":{"openalex":"https://openalex.org/W2089813709","doi":"https://doi.org/10.1007/s00165-014-0294-y","mag":"2089813709"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-014-0294-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-014-0294-y","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-014-0294-y","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-014-0294-y","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089779357","display_name":"Li Su","orcid":"https://orcid.org/0000-0002-6347-3986"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210156194","display_name":"Addenbrooke's Hospital","ror":"https://ror.org/055vbxf86","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I2802466933","https://openalex.org/I4210156194"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Li Su","raw_affiliation_strings":["Department of Psychiatry, University of Cambridge, Level E4, Box 189, Addenbrooke\u2019s Hospital, Hills Road, CB2 0QQ, Cambridge, UK","Department of Psychology, University of Cambridge, Cambridge, UK","Department of Psychiatry, University of Cambridge, Cambridge, UK CB2 0QQ and Department of Psychology, University of Cambridge, Cambridge, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Psychiatry, University of Cambridge, Level E4, Box 189, Addenbrooke\u2019s Hospital, Hills Road, CB2 0QQ, Cambridge, UK","institution_ids":["https://openalex.org/I4210156194","https://openalex.org/I241749"]},{"raw_affiliation_string":"Department of Psychology, University of Cambridge, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Department of Psychiatry, University of Cambridge, Cambridge, UK CB2 0QQ and Department of Psychology, University of Cambridge, Cambridge, UK#TAB#","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063919851","display_name":"Rodolfo G\u00f3mez","orcid":null},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rodolfo Gomez","raw_affiliation_strings":["Centre for Cognitive Neuroscience and Cognitive Systems, School of Computing, University of Kent, Canterbury, UK"],"affiliations":[{"raw_affiliation_string":"Centre for Cognitive Neuroscience and Cognitive Systems, School of Computing, University of Kent, Canterbury, UK","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011062278","display_name":"Howard Bowman","orcid":"https://orcid.org/0000-0003-4736-1869"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]},{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Howard Bowman","raw_affiliation_strings":["Centre for Cognitive Neuroscience and Cognitive Systems, School of Computing, University of Kent, Canterbury, UK","School of Psychology, University of Birmingham, Birmingham, UK","Centre for Cognitive Neuroscience and Cognitive Systems, School of Computing, University of Kent, Canterbury, UK and School of Psychology, University of Birmingham, Birmingham, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Centre for Cognitive Neuroscience and Cognitive Systems, School of Computing, University of Kent, Canterbury, UK","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"School of Psychology, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"Centre for Cognitive Neuroscience and Cognitive Systems, School of Computing, University of Kent, Canterbury, UK and School of Psychology, University of Birmingham, Birmingham, UK#TAB#","institution_ids":["https://openalex.org/I20581793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089779357"],"corresponding_institution_ids":["https://openalex.org/I241749","https://openalex.org/I4210156194"],"apc_list":null,"apc_paid":null,"fwci":0.1531,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.51789756,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"26","issue":"6","first_page":"1169","last_page":"1204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10448","display_name":"Memory and Neural Mechanisms","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10448","display_name":"Memory and Neural Mechanisms","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9829999804496765,"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/T11178","display_name":"Receptor Mechanisms and Signaling","score":0.9789000153541565,"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.811084508895874},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.68258136510849},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5923619270324707},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5296974778175354},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5120053887367249},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.49100497364997864},{"id":"https://openalex.org/keywords/biological-network","display_name":"Biological network","score":0.48138073086738586},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4693264365196228},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4682924151420593},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4641951322555542},{"id":"https://openalex.org/keywords/computational-model","display_name":"Computational model","score":0.45429813861846924},{"id":"https://openalex.org/keywords/cognitive-model","display_name":"Cognitive model","score":0.4513671398162842},{"id":"https://openalex.org/keywords/computational-neuroscience","display_name":"Computational neuroscience","score":0.43606075644493103},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3934405446052551},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.3746798634529114},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.18016818165779114},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14656254649162292},{"id":"https://openalex.org/keywords/neuroscience","display_name":"Neuroscience","score":0.11355242133140564}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.811084508895874},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.68258136510849},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5923619270324707},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5296974778175354},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5120053887367249},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.49100497364997864},{"id":"https://openalex.org/C28225019","wikidata":"https://www.wikidata.org/wiki/Q4915005","display_name":"Biological network","level":2,"score":0.48138073086738586},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4693264365196228},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4682924151420593},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4641951322555542},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.45429813861846924},{"id":"https://openalex.org/C161407221","wikidata":"https://www.wikidata.org/wiki/Q4382939","display_name":"Cognitive model","level":3,"score":0.4513671398162842},{"id":"https://openalex.org/C15286952","wikidata":"https://www.wikidata.org/wiki/Q8037925","display_name":"Computational neuroscience","level":2,"score":0.43606075644493103},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3934405446052551},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.3746798634529114},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.18016818165779114},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14656254649162292},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.11355242133140564},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"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/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00165-014-0294-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-014-0294-y","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-014-0294-y","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:kar.kent.ac.uk:47880","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-014-0294-y>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":{"id":"doi:10.1007/s00165-014-0294-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-014-0294-y","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-014-0294-y","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320319990","display_name":"National Institute for Health and Care Research","ror":"https://ror.org/0187kwz08"},{"id":"https://openalex.org/F4320320273","display_name":"University of Cambridge","ror":"https://ror.org/013meh722"},{"id":"https://openalex.org/F4320321578","display_name":"Cambridge University Hospitals","ror":"https://ror.org/04v54gj93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2089813709.pdf","grobid_xml":"https://content.openalex.org/works/W2089813709.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W157572516","https://openalex.org/W1193095453","https://openalex.org/W1503170978","https://openalex.org/W1512562944","https://openalex.org/W1522223086","https://openalex.org/W1545139845","https://openalex.org/W1559986400","https://openalex.org/W1566440953","https://openalex.org/W1569244696","https://openalex.org/W1574230172","https://openalex.org/W1596318652","https://openalex.org/W1596839545","https://openalex.org/W1825341937","https://openalex.org/W1943502734","https://openalex.org/W1946608631","https://openalex.org/W1962072139","https://openalex.org/W1967011375","https://openalex.org/W1975822826","https://openalex.org/W1985940938","https://openalex.org/W1993148254","https://openalex.org/W1999110368","https://openalex.org/W2023374478","https://openalex.org/W2023808162","https://openalex.org/W2029807522","https://openalex.org/W2042422091","https://openalex.org/W2045382625","https://openalex.org/W2047787692","https://openalex.org/W2048665786","https://openalex.org/W2075117230","https://openalex.org/W2079413298","https://openalex.org/W2087804641","https://openalex.org/W2090606760","https://openalex.org/W2099647287","https://openalex.org/W2105464873","https://openalex.org/W2110278466","https://openalex.org/W2112626896","https://openalex.org/W2117148432","https://openalex.org/W2118373646","https://openalex.org/W2118615399","https://openalex.org/W2119093605","https://openalex.org/W2121372686","https://openalex.org/W2124706784","https://openalex.org/W2129384397","https://openalex.org/W2130773092","https://openalex.org/W2131140847","https://openalex.org/W2131890038","https://openalex.org/W2143210222","https://openalex.org/W2143238865","https://openalex.org/W2148520070","https://openalex.org/W2158493757","https://openalex.org/W2160883697","https://openalex.org/W2163280161","https://openalex.org/W2167955381","https://openalex.org/W2169019387","https://openalex.org/W2169134334","https://openalex.org/W2288925982","https://openalex.org/W2340735175","https://openalex.org/W2500079794","https://openalex.org/W2531340809","https://openalex.org/W2913459036","https://openalex.org/W4254691308","https://openalex.org/W4255229883","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W4252166826","https://openalex.org/W2887972576","https://openalex.org/W2324968893","https://openalex.org/W2340883203","https://openalex.org/W3105486044","https://openalex.org/W2586858905","https://openalex.org/W3145259152","https://openalex.org/W2064354742","https://openalex.org/W2151393843","https://openalex.org/W2561599380"],"abstract_inverted_index":{"Abstract":[0],"Two":[1],"important":[2],"issues":[3],"in":[4,7,34,104,195,244,286],"computational":[5],"modelling":[6,246],"cognitive":[8,245,274],"neuroscience":[9],"are:":[10],"first,":[11],"how":[12,29],"to":[13,30,40,86,129,156,234,273],"formally":[14],"describe":[15,59],"neuronal":[16,55,60,187,290],"networks":[17,61,254],"(i.e.":[18],"biologically":[19,166,231],"plausible":[20,167,232],"models":[21,190],"of":[22,99,106,133,136,201,203,247,281,289],"the":[23,91,112,116,125,137,165,177,196,219,248,278,282,287],"central":[24],"nervous":[25],"system),":[26],"and":[27,38,62,79,115],"second,":[28],"analyse":[31],"complex":[32],"models,":[33],"particular,":[35],"their":[36,63,107],"dynamics":[37],"capacity":[39],"learn.":[41],"We":[42,81,122],"make":[43],"progress":[44],"towards":[45],"these":[46],"goals":[47],"by":[48,223],"presenting":[49],"a":[50,97,131,143,183,210,229,241],"communicating":[51],"automata":[52,73],"perspective":[53],"on":[54],"networks.":[56],"Specifically,":[57],"we":[58,95,181,260],"biological":[64,108],"mechanisms":[65],"using":[66,208],"Data-rich":[67],"Communicating":[68],"Automata,":[69],"which":[70,102,151,189],"extend":[71],"classic":[72],"theory":[74,225],"with":[75,264],"rich":[76],"data":[77],"types":[78],"communication.":[80],"use":[82,256],"two":[83],"case":[84,93,179],"studies":[85],"illustrate":[87],"our":[88,262],"approach.":[89],"In":[90,176,276],"first":[92],"study,":[94,180],"model":[96,127,145,205,213,235],"number":[98,132],"learning":[100,120,139,169],"frameworks,":[101],"vary":[103],"respect":[105],"detail,":[109],"for":[110,147],"instance":[111],"Backpropagation":[113],"(BP)":[114],"Generalized":[117],"Recirculation":[118],"(GeneRec)":[119],"algorithms.":[121,140],"then":[123],"used":[124],"SPIN":[126,141],"checker":[128,146],"investigate":[130],"behavioral":[134],"properties":[135,202],"neural":[138,236,253],"is":[142,170,226],"well-known":[144],"reactive":[148],"distributed":[149],"systems,":[150,237],"has":[152],"been":[153],"successfully":[154],"applied":[155],"many":[157],"non-trivial":[158],"problems.":[159],"The":[160,215],"verification":[161],"results":[162,216],"show":[163,217],"that":[164,218,255,269],"GeneRec":[168],"less":[171],"stable":[172],"than":[173,250],"BP":[174],"learning.":[175],"second":[178],"presented":[182],"large":[184],"scale":[185],"(cognitive-level)":[186],"network,":[188],"an":[191],"attentional":[192],"spotlight":[193],"mechanism":[194],"visual":[197],"system.":[198],"A":[199],"set":[200],"this":[204],"was":[206],"verified":[207],"Uppaal,":[209],"popular":[211],"real-time":[212],"checker.":[214],"asynchronous":[220],"processing":[221],"supported":[222],"concurrency":[224],"not":[227],"only":[228],"more":[230],"way":[233],"but":[238],"also":[239],"provides":[240],"better":[242],"performance":[243],"brain":[249],"conventional":[251],"artificial":[252],"synchronous":[257],"updates.":[258],"Finally,":[259],"compared":[261],"approach":[263,283],"several":[265],"other":[266],"related":[267],"theories":[268],"apply":[270],"formal":[271],"methods":[272],"modelling.":[275],"addition,":[277],"practical":[279],"implications":[280],"are":[284],"discussed":[285],"context":[288],"network":[291],"based":[292],"controllers.":[293]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}