{"id":"https://openalex.org/W2045382625","doi":"https://doi.org/10.1007/s00165-008-0094-3","title":"Process algebraic modelling of attentional capture and human electrophysiology in interactive systems","display_name":"Process algebraic modelling of attentional capture and human electrophysiology in interactive systems","publication_year":2008,"publication_date":"2008-11-18","ids":{"openalex":"https://openalex.org/W2045382625","doi":"https://doi.org/10.1007/s00165-008-0094-3","mag":"2045382625"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-008-0094-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-008-0094-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-008-0094-3","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","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":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-008-0094-3","any_repository_has_fulltext":true},"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/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]},{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Li Su","raw_affiliation_strings":["Centre for Cognitive Neuroscience and Cognitive Systems, University of Kent, Canterbury, UK","Section of Cognitive Neuropsychiatry, Department of Psychological Medicine, Institute of Psychiatry at King\u2019s College London, Box P068, De Crespigny Park, SE5 8AF, London, UK"],"affiliations":[{"raw_affiliation_string":"Centre for Cognitive Neuroscience and Cognitive Systems, University of Kent, Canterbury, UK","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"Section of Cognitive Neuropsychiatry, Department of Psychological Medicine, Institute of Psychiatry at King\u2019s College London, Box P068, De Crespigny Park, SE5 8AF, London, UK","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011062278","display_name":"Howard Bowman","orcid":"https://orcid.org/0000-0003-4736-1869"},"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":"Howard Bowman","raw_affiliation_strings":["Centre for Cognitive Neuroscience and Cognitive Systems, University of Kent, Canterbury, UK"],"affiliations":[{"raw_affiliation_string":"Centre for Cognitive Neuroscience and Cognitive Systems, University of Kent, Canterbury, UK","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005906959","display_name":"Philip Barnard","orcid":"https://orcid.org/0000-0001-9224-7438"},"institutions":[{"id":"https://openalex.org/I192597271","display_name":"MRC Cognition and Brain Sciences Unit","ror":"https://ror.org/055bpw879","country_code":"GB","type":"facility","lineage":["https://openalex.org/I192597271","https://openalex.org/I241749","https://openalex.org/I4210087105","https://openalex.org/I90344618"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Philip Barnard","raw_affiliation_strings":["MRC Cognition and Brain Sciences Unit, Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"MRC Cognition and Brain Sciences Unit, Cambridge, UK","institution_ids":["https://openalex.org/I192597271"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060822414","display_name":"Brad Wyble","orcid":"https://orcid.org/0000-0002-9984-3037"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brad Wyble","raw_affiliation_strings":["Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5089779357"],"corresponding_institution_ids":["https://openalex.org/I183935753","https://openalex.org/I20581793"],"apc_list":null,"apc_paid":null,"fwci":1.0446,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.7508011,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"21","issue":"6","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10042","display_name":"Neural and Behavioral Psychology Studies","score":0.9990000128746033,"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/T10042","display_name":"Neural and Behavioral Psychology Studies","score":0.9990000128746033,"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/T10429","display_name":"EEG and Brain-Computer Interfaces","score":0.9922999739646912,"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/T10581","display_name":"Neural dynamics and brain function","score":0.9912999868392944,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7480345964431763},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5804737210273743},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.5637570023536682},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.46912336349487305},{"id":"https://openalex.org/keywords/attentional-blink","display_name":"Attentional blink","score":0.4503806233406067},{"id":"https://openalex.org/keywords/computational-model","display_name":"Computational model","score":0.43318983912467957},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43070706725120544},{"id":"https://openalex.org/keywords/cognitive-model","display_name":"Cognitive model","score":0.42067837715148926},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.37558165192604065},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.3693941831588745},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.357585072517395},{"id":"https://openalex.org/keywords/cognitive-psychology","display_name":"Cognitive psychology","score":0.34426945447921753},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.21173164248466492},{"id":"https://openalex.org/keywords/neuroscience","display_name":"Neuroscience","score":0.12584328651428223}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7480345964431763},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5804737210273743},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.5637570023536682},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.46912336349487305},{"id":"https://openalex.org/C26344738","wikidata":"https://www.wikidata.org/wiki/Q759843","display_name":"Attentional blink","level":3,"score":0.4503806233406067},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.43318983912467957},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43070706725120544},{"id":"https://openalex.org/C161407221","wikidata":"https://www.wikidata.org/wiki/Q4382939","display_name":"Cognitive model","level":3,"score":0.42067837715148926},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.37558165192604065},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3693941831588745},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.357585072517395},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.34426945447921753},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.21173164248466492},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.12584328651428223},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s00165-008-0094-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-008-0094-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-008-0094-3","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00477908v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00477908","pdf_url":null,"source":{"id":"https://openalex.org/S4406922276","display_name":"INRIA a CCSD electronic archive server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Aspects of Computing, 2008, 21 (6), pp.513-539. ⟨10.1007/s00165-008-0094-3⟩","raw_type":"Journal articles"},{"id":"pmh:oai:kar.kent.ac.uk:24016","is_oa":false,"landing_page_url":"https://kar.kent.ac.uk/24016/","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:tara.tcd.ie:2262/41505","is_oa":false,"landing_page_url":"http://hdl.handle.net/2262/41505","pdf_url":null,"source":{"id":"https://openalex.org/S4306400387","display_name":"Trinity's Access to Research Output (TARA) (Trinity College Dublin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205274468","host_organization_name":"Trinity College Dublin","host_organization_lineage":["https://openalex.org/I205274468"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/s00165-008-0094-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-008-0094-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-008-0094-3","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G1530757444","display_name":null,"funder_award_id":"GR/S15075/01","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1934935867","display_name":null,"funder_award_id":"Engineering and Physical Sciences R","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7197089266","display_name":null,"funder_award_id":"U.1055.02.003.00001.01","funder_id":"https://openalex.org/F4320334626","funder_display_name":"Medical Research Council"}],"funders":[{"id":"https://openalex.org/F4320334626","display_name":"Medical Research Council","ror":"https://ror.org/03x94j517"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2045382625.pdf","grobid_xml":"https://content.openalex.org/works/W2045382625.grobid-xml"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W79667300","https://openalex.org/W80185880","https://openalex.org/W92074519","https://openalex.org/W147899315","https://openalex.org/W169684159","https://openalex.org/W213027892","https://openalex.org/W258022877","https://openalex.org/W1485243506","https://openalex.org/W1503973138","https://openalex.org/W1512562944","https://openalex.org/W1521107250","https://openalex.org/W1546197084","https://openalex.org/W1573853539","https://openalex.org/W1591361873","https://openalex.org/W1596839545","https://openalex.org/W1714684594","https://openalex.org/W1762315267","https://openalex.org/W1794114838","https://openalex.org/W1853558589","https://openalex.org/W1916503643","https://openalex.org/W1965929675","https://openalex.org/W1968114652","https://openalex.org/W1974302391","https://openalex.org/W1987519033","https://openalex.org/W1994655585","https://openalex.org/W2005184520","https://openalex.org/W2029807522","https://openalex.org/W2039540101","https://openalex.org/W2082531061","https://openalex.org/W2086213036","https://openalex.org/W2086550610","https://openalex.org/W2088563966","https://openalex.org/W2098484962","https://openalex.org/W2100610688","https://openalex.org/W2101210596","https://openalex.org/W2108441393","https://openalex.org/W2112809725","https://openalex.org/W2114415669","https://openalex.org/W2118373646","https://openalex.org/W2121372686","https://openalex.org/W2124706784","https://openalex.org/W2133152596","https://openalex.org/W2134305125","https://openalex.org/W2137966987","https://openalex.org/W2142410791","https://openalex.org/W2146603609","https://openalex.org/W2150104766","https://openalex.org/W2154917318","https://openalex.org/W2156834994","https://openalex.org/W2162294057","https://openalex.org/W2162561534","https://openalex.org/W2162792036","https://openalex.org/W2164497299","https://openalex.org/W2164990576","https://openalex.org/W2474865906","https://openalex.org/W2484008018","https://openalex.org/W2530098581","https://openalex.org/W2531340809","https://openalex.org/W2913405990","https://openalex.org/W3142340468","https://openalex.org/W3144368627","https://openalex.org/W3207342693","https://openalex.org/W4229715271","https://openalex.org/W4230400655","https://openalex.org/W4232516125","https://openalex.org/W4247424590","https://openalex.org/W4251251394","https://openalex.org/W4254715893","https://openalex.org/W4255229883","https://openalex.org/W4293100820","https://openalex.org/W4298102205","https://openalex.org/W4361865533","https://openalex.org/W6634297077"],"related_works":["https://openalex.org/W2810208651","https://openalex.org/W4378831103","https://openalex.org/W4238967417","https://openalex.org/W1999534928","https://openalex.org/W2600670330","https://openalex.org/W2084095376","https://openalex.org/W2017804115","https://openalex.org/W1482227363","https://openalex.org/W2145180477","https://openalex.org/W4311127686"],"abstract_inverted_index":{"Abstract":[0],"Previous":[1],"research":[2],"has":[3],"developed":[4],"a":[5,53,109,112,120],"formal":[6,127],"methods-based":[7],"(cognitive-level)":[8],"model":[9,34,68,93],"of":[10,27,38,41,55,126,138,168,193],"the":[11,25,39,96,135,139,169,191],"Interacting":[12],"Cognitive":[13],"Subsystems":[14],"central":[15],"engine,":[16],"with":[17],"which":[18,77,184],"we":[19,152],"have":[20,90],"simulated":[21],"attentional":[22,60],"capture":[23],"in":[24,119,165,183],"context":[26],"Barnard\u2019s":[28],"key-distractor":[29],"Attentional":[30],"Blink":[31],"task.":[32],"This":[33],"captures":[35],"core":[36],"aspects":[37],"allocation":[40],"human":[42,59,70,87],"attention":[43],"over":[44],"time":[45],"and":[46,106,134],"as":[47,74],"such":[48,73],"should":[49],"be":[50,79,163],"applicable":[51],"across":[52],"range":[54],"practical":[56],"settings":[57],"when":[58],"limitations":[61],"come":[62],"into":[63],"play.":[64],"In":[65],"addition,":[66],"this":[67,92],"simulates":[69],"electrophysiological":[71,83],"data,":[72],"electroencephalogram":[75],"recordings,":[76],"can":[78,161],"compared":[80],"to":[81,94,115,188],"real":[82],"data":[84],"recorded":[85],"from":[86,102,158],"participants.":[88],"We":[89],"used":[91],"evaluate":[95],"performance":[97],"trade-offs":[98],"that":[99,130,145,154],"would":[100,172],"arise":[101],"varying":[103],"key":[104],"parameters":[105],"applying":[107],"either":[108],"constructive":[110],"or":[111],"reactive":[113],"approach":[114],"improving":[116],"interactive":[117],"systems":[118],"stimulus":[121],"rich":[122],"environment.":[123],"A":[124],"strength":[125],"methods":[128],"is":[129,186],"they":[131],"are":[132,141,148],"abstract":[133],"resulting":[136],"specifications":[137],"operator":[140],"general":[142],"purpose,":[143],"ensuring":[144],"our":[146],"findings":[147],"broadly":[149],"applicable.":[150],"Thus,":[151],"argue":[153],"new":[155],"modelling":[156,167],"techniques":[157],"computer":[159],"science":[160],"also":[162],"employed":[164],"computational":[166],"mind.":[170],"These":[171],"complement":[173],"existing":[174],"techniques,":[175],"being":[176],"specifically":[177],"targeted":[178],"at":[179],"psychological":[180],"level":[181],"modelling,":[182],"it":[185],"advantageous":[187],"directly":[189],"represent":[190],"distribution":[192],"control.":[194]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2016-06-24T00:00:00"}