{"id":"https://openalex.org/W2101189407","doi":"https://doi.org/10.1186/s12918-014-0124-0","title":"Automatic validation of computational models using pseudo-3D spatio-temporal model checking","display_name":"Automatic validation of computational models using pseudo-3D spatio-temporal model checking","publication_year":2014,"publication_date":"2014-12-01","ids":{"openalex":"https://openalex.org/W2101189407","doi":"https://doi.org/10.1186/s12918-014-0124-0","mag":"2101189407","pmid":"https://pubmed.ncbi.nlm.nih.gov/25440773"},"language":"en","primary_location":{"id":"doi:10.1186/s12918-014-0124-0","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s12918-014-0124-0","pdf_url":"https://bmcsystbiol.biomedcentral.com/counter/pdf/10.1186/s12918-014-0124-0","source":{"id":"https://openalex.org/S92363890","display_name":"BMC Systems Biology","issn_l":"1752-0509","issn":["1752-0509"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"BMC Systems Biology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://bmcsystbiol.biomedcentral.com/counter/pdf/10.1186/s12918-014-0124-0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006825259","display_name":"Ovidiu P\u00e2rvu","orcid":null},"institutions":[{"id":"https://openalex.org/I59433898","display_name":"Brunel University of London","ror":"https://ror.org/00dn4t376","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I59433898"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Ovidiu P\u00e2rvu","raw_affiliation_strings":["Department of Computer Science, Brunel University, Kingston Lane, Uxbridge, UB8 3PH, London, UK. ovidiu.parvu@brunel.ac.uk","Department of Computer Science, Brunel University, Kingston Lane, Uxbridge UB8 3PH, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Brunel University, Kingston Lane, Uxbridge, UB8 3PH, London, UK. ovidiu.parvu@brunel.ac.uk","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Brunel University, Kingston Lane, Uxbridge UB8 3PH, London, UK","institution_ids":["https://openalex.org/I59433898"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102913036","display_name":"David Gilbert","orcid":"https://orcid.org/0000-0002-8872-4294"},"institutions":[{"id":"https://openalex.org/I59433898","display_name":"Brunel University of London","ror":"https://ror.org/00dn4t376","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I59433898"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Gilbert","raw_affiliation_strings":["Department of Computer Science, Brunel University, Kingston Lane, Uxbridge, UB8 3PH, London, UK. david.gilbert@brunel.ac.uk","Department of Computer Science, Brunel University, Kingston Lane, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Brunel University, Kingston Lane, Uxbridge, UB8 3PH, London, UK. david.gilbert@brunel.ac.uk","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Brunel University, Kingston Lane, London, UK","institution_ids":["https://openalex.org/I59433898"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5006825259"],"corresponding_institution_ids":["https://openalex.org/I59433898"],"apc_list":null,"apc_paid":{"value":1541,"currency":"EUR","value_usd":1661},"fwci":0.7114,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.70570162,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"8","issue":"1","first_page":"124","last_page":"124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.7235999703407288,"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.7235999703407288,"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/T12859","display_name":"Cell Image Analysis Techniques","score":0.10930000245571136,"subfield":{"id":"https://openalex.org/subfields/1304","display_name":"Biophysics"},"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/T11829","display_name":"Mathematical Biology Tumor Growth","score":0.06419999897480011,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7139649391174316},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.711681604385376},{"id":"https://openalex.org/keywords/computational-model","display_name":"Computational model","score":0.5497777462005615},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.5388922095298767},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.49188709259033203},{"id":"https://openalex.org/keywords/systems-biology","display_name":"Systems biology","score":0.47172656655311584},{"id":"https://openalex.org/keywords/modelling-biological-systems","display_name":"Modelling biological systems","score":0.44974568486213684},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4426456689834595},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.43445920944213867},{"id":"https://openalex.org/keywords/stochastic-modelling","display_name":"Stochastic modelling","score":0.4149833619594574},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.40989813208580017},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3313474655151367},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3209262490272522},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14359697699546814},{"id":"https://openalex.org/keywords/bioinformatics","display_name":"Bioinformatics","score":0.09497931599617004}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7139649391174316},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.711681604385376},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.5497777462005615},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.5388922095298767},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.49188709259033203},{"id":"https://openalex.org/C152662350","wikidata":"https://www.wikidata.org/wiki/Q815297","display_name":"Systems biology","level":2,"score":0.47172656655311584},{"id":"https://openalex.org/C137866125","wikidata":"https://www.wikidata.org/wiki/Q4299308","display_name":"Modelling biological systems","level":3,"score":0.44974568486213684},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4426456689834595},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43445920944213867},{"id":"https://openalex.org/C127491075","wikidata":"https://www.wikidata.org/wiki/Q7617825","display_name":"Stochastic modelling","level":2,"score":0.4149833619594574},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.40989813208580017},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3313474655151367},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3209262490272522},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14359697699546814},{"id":"https://openalex.org/C60644358","wikidata":"https://www.wikidata.org/wiki/Q128570","display_name":"Bioinformatics","level":1,"score":0.09497931599617004},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012986","descriptor_name":"Software Validation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012986","descriptor_name":"Software Validation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012986","descriptor_name":"Software Validation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D013997","descriptor_name":"Time Factors","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D013997","descriptor_name":"Time Factors","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D013997","descriptor_name":"Time Factors","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D019295","descriptor_name":"Computational Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D019295","descriptor_name":"Computational Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D019295","descriptor_name":"Computational Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D062206","descriptor_name":"Spatial Analysis","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D062206","descriptor_name":"Spatial Analysis","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D062206","descriptor_name":"Spatial Analysis","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":5,"locations":[{"id":"doi:10.1186/s12918-014-0124-0","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s12918-014-0124-0","pdf_url":"https://bmcsystbiol.biomedcentral.com/counter/pdf/10.1186/s12918-014-0124-0","source":{"id":"https://openalex.org/S92363890","display_name":"BMC Systems Biology","issn_l":"1752-0509","issn":["1752-0509"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"BMC Systems Biology","raw_type":"journal-article"},{"id":"pmid:25440773","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/25440773","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"BMC systems biology","raw_type":null},{"id":"pmh:oai:bura.brunel.ac.uk:2438/10417","is_oa":false,"landing_page_url":"http://bura.brunel.ac.uk/handle/2438/10417","pdf_url":null,"source":{"id":"https://openalex.org/S4306401473","display_name":"Brunel University Research Archive (BURA) (Brunel University London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I59433898","host_organization_name":"Brunel University of London","host_organization_lineage":["https://openalex.org/I59433898"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:pubmedcentral.nih.gov:4272535","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/4272535","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"BMC Syst Biol","raw_type":"Text"},{"id":"pmh:oai:v-lib-bura1.brunel.ac.uk:2438/20421","is_oa":false,"landing_page_url":"http://bura.brunel.ac.uk/handle/2438/20421","pdf_url":null,"source":{"id":"https://openalex.org/S4306401473","display_name":"Brunel University Research Archive (BURA) (Brunel University London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I59433898","host_organization_name":"Brunel University of London","host_organization_lineage":["https://openalex.org/I59433898"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1186/s12918-014-0124-0","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s12918-014-0124-0","pdf_url":"https://bmcsystbiol.biomedcentral.com/counter/pdf/10.1186/s12918-014-0124-0","source":{"id":"https://openalex.org/S92363890","display_name":"BMC Systems Biology","issn_l":"1752-0509","issn":["1752-0509"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"BMC Systems Biology","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Responsible consumption and production","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2101189407.pdf","grobid_xml":"https://content.openalex.org/works/W2101189407.grobid-xml"},"referenced_works_count":70,"referenced_works":["https://openalex.org/W95898642","https://openalex.org/W151639649","https://openalex.org/W179323378","https://openalex.org/W183719528","https://openalex.org/W253803806","https://openalex.org/W339627914","https://openalex.org/W1498432697","https://openalex.org/W1532361198","https://openalex.org/W1544634046","https://openalex.org/W1560643704","https://openalex.org/W1569248486","https://openalex.org/W1606594487","https://openalex.org/W1612453857","https://openalex.org/W1673310716","https://openalex.org/W1848978410","https://openalex.org/W1862398452","https://openalex.org/W1896995948","https://openalex.org/W1908912820","https://openalex.org/W1965702219","https://openalex.org/W1970489651","https://openalex.org/W1978486653","https://openalex.org/W1985059878","https://openalex.org/W1987971958","https://openalex.org/W1988123909","https://openalex.org/W1995898518","https://openalex.org/W2002785668","https://openalex.org/W2002967134","https://openalex.org/W2003871372","https://openalex.org/W2011430131","https://openalex.org/W2023808162","https://openalex.org/W2027052704","https://openalex.org/W2028637393","https://openalex.org/W2030625859","https://openalex.org/W2038184042","https://openalex.org/W2040178277","https://openalex.org/W2042352676","https://openalex.org/W2047882868","https://openalex.org/W2067971887","https://openalex.org/W2080560821","https://openalex.org/W2081368597","https://openalex.org/W2086197761","https://openalex.org/W2092008396","https://openalex.org/W2100345558","https://openalex.org/W2100762957","https://openalex.org/W2100914165","https://openalex.org/W2108723074","https://openalex.org/W2112696414","https://openalex.org/W2115070712","https://openalex.org/W2115161063","https://openalex.org/W2115857453","https://openalex.org/W2117756786","https://openalex.org/W2125186487","https://openalex.org/W2125548279","https://openalex.org/W2126855067","https://openalex.org/W2132750992","https://openalex.org/W2138593153","https://openalex.org/W2144125573","https://openalex.org/W2148617761","https://openalex.org/W2161081924","https://openalex.org/W2168569373","https://openalex.org/W2171367656","https://openalex.org/W2185248792","https://openalex.org/W2246690291","https://openalex.org/W2340735175","https://openalex.org/W2748837517","https://openalex.org/W2913459036","https://openalex.org/W3105134387","https://openalex.org/W3157685993","https://openalex.org/W4211125927","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W142171215","https://openalex.org/W4386563820","https://openalex.org/W631732704","https://openalex.org/W2155261113","https://openalex.org/W2064988479","https://openalex.org/W1748979965","https://openalex.org/W3199870583","https://openalex.org/W2315680351","https://openalex.org/W1587070059","https://openalex.org/W207829213"],"abstract_inverted_index":{"BACKGROUND:":[0],"Computational":[1],"models":[2,59,70,143,160,186,330],"play":[3],"an":[4,266],"increasingly":[5],"important":[6],"role":[7],"in":[8,15,76,308,323],"systems":[9,97,106,155],"biology":[10,17],"for":[11,94,137,258],"generating":[12],"predictions":[13],"and":[14,33,53,91,116,133,150,168,199,205,217,239,279,282,293,312,335,342,348],"synthetic":[16],"as":[18,189],"executable":[19],"prototypes/designs.":[20],"For":[21,213],"real":[22,64],"life":[23,65],"(clinical)":[24],"applications":[25,66],"there":[26],"is":[27,187,230,265,336],"a":[28,135,163,169,177,233,240,337],"need":[29],"to":[30,63,146,191,275,339],"scale":[31,96,105],"up":[32],"build":[34],"more":[35,345],"complex":[36,346],"spatio-temporal":[37,242,332],"multiscale":[38,349],"models;":[39],"these":[40],"could":[41],"enable":[42],"investigating":[43],"how":[44,83,113,215],"changes":[45],"at":[46,50],"small":[47,95],"scales":[48,52],"reflect":[49],"large":[51],"viceversa.":[54],"Results":[55],"generated":[56,183],"by":[57,126,158,184],"computational":[58,142,260,329],"can":[60],"be":[61],"applied":[62],"only":[67,81],"if":[68,253],"the":[69,138,223,244,254,259,291,313,326,340],"have":[71],"been":[72],"validated":[73],"first.":[74],"Traditional":[75],"silico":[77],"model":[78,245,261,269],"checking":[79,270],"techniques":[80],"capture":[82],"non-dimensional":[84],"properties":[85,118,219,334],"(e.g.":[86,98,107,203,210],"concentrations)":[87],"evolve":[88],"over":[89,120,221],"time":[90,167,222,236],"are":[92,123,156],"suitable":[93],"metabolic":[99],"pathways).":[100],"The":[101,319],"validation":[102,140,287,327,343],"of":[103,141,166,172,207,235,295,316,328,344],"larger":[104],"multicellular":[108],"populations)":[109],"additionally":[110],"requires":[111],"capturing":[112,214],"spatial":[114,149,201,216],"patterns":[115,202,209],"their":[117,148],"change":[119,220],"time,":[121],"which":[122,161,196,272],"not":[124],"considered":[125],"traditional":[127],"non-spatial":[128],"approaches.":[129,288],"RESULTS:":[130],"We":[131,289],"developed":[132],"implemented":[134,322],"methodology":[136,321],"automatic":[139],"with":[144],"respect":[145],"both":[147],"temporal":[151],"properties.":[152],"Stochastic":[153],"biological":[154,301],"represented":[157],"abstract":[159],"assume":[162],"linear":[164],"structure":[165],"pseudo-3D":[170],"representation":[171],"space":[173,175],"(2D":[174],"plus":[176],"density":[178],"measure).":[179],"Time":[180],"series":[181,237],"data":[182,238],"such":[185,208],"provided":[188],"input":[190],"parameterised":[192],"image":[193],"processing":[194],"modules":[195],"automatically":[197],"detect":[198],"analyse":[200],"cell)":[204],"clusters":[206],"cellular":[211],"population).":[212],"numeric":[218],"Probabilistic":[224],"Bounded":[225],"Linear":[226],"Spatial":[227],"Temporal":[228],"Logic":[229],"introduced.":[231],"Given":[232],"collection":[234],"formal":[241,255,320],"specification":[243,256],"checker":[246],"Mudi":[247,264,324],"(":[248],"http://mudi.modelchecking.org":[249],")":[250],"determines":[251],"probabilistically":[252],"holds":[257],"or":[262],"not.":[263],"approximate":[267],"probabilistic":[268],"platform":[271],"enables":[273,325],"users":[274],"choose":[276],"between":[277],"frequentist":[278],"Bayesian,":[280],"estimate":[281],"statistical":[283],"hypothesis":[284],"testing":[285],"based":[286,298],"illustrate":[290],"expressivity":[292],"efficiency":[294],"our":[296],"approach":[297],"on":[299],"two":[300],"case":[302],"studies":[303],"namely":[304],"phase":[305],"variation":[306],"patterning":[307],"bacterial":[309],"colony":[310],"growth":[311],"chemotactic":[314],"aggregation":[315],"cells.":[317],"CONCLUSIONS:":[318],"against":[331],"logic":[333],"precursor":[338],"development":[341],"multidimensional":[347],"models.":[350]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4}],"updated_date":"2026-04-29T09:16:38.111599","created_date":"2025-10-10T00:00:00"}