{"id":"https://openalex.org/W2081803968","doi":"https://doi.org/10.1016/s1571-0661(04)80896-x","title":"Towards Integrated Cognitive and Interface Analysis","display_name":"Towards Integrated Cognitive and Interface Analysis","publication_year":2001,"publication_date":"2001-05-01","ids":{"openalex":"https://openalex.org/W2081803968","doi":"https://doi.org/10.1016/s1571-0661(04)80896-x","mag":"2081803968"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80896-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80896-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80896-x","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Howard Bowman","raw_affiliation_strings":["Computing Lab University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Lab University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, UK","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027001288","display_name":"G. Faconti","orcid":null},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Giorgio Faconti","raw_affiliation_strings":["CNR-Istituto CNUCE, Via V. Alfieri 1, Loc. Ghezzano - 56100, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNR-Istituto CNUCE, Via V. Alfieri 1, Loc. Ghezzano - 56100, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049483818","display_name":"Mieke Massink","orcid":"https://orcid.org/0000-0001-5089-002X"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mieke Massink","raw_affiliation_strings":["CNR-Istituto CNUCE, Via V. Alfieri 1, Loc. Ghezzano - 56100, Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNR-Istituto CNUCE, Via V. Alfieri 1, Loc. Ghezzano - 56100, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5011062278","https://openalex.org/A5027001288","https://openalex.org/A5049483818"],"corresponding_institution_ids":["https://openalex.org/I122991210","https://openalex.org/I20581793"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.12600536,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"43","issue":null,"first_page":"97","last_page":"112"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12031","display_name":"Speech and dialogue systems","score":0.9872000217437744,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9850999712944031,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.8000199794769287},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.6720000505447388},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.6694713830947876},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5852136611938477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5744945406913757},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.49786925315856934},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.48730599880218506},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.46660301089286804},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.4278201460838318},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36369940638542175},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.16968289017677307},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.09073394536972046}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8000199794769287},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.6720000505447388},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.6694713830947876},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5852136611938477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5744945406913757},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.49786925315856934},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.48730599880218506},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.46660301089286804},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.4278201460838318},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36369940638542175},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.16968289017677307},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.09073394536972046},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"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":6,"locations":[{"id":"doi:10.1016/s1571-0661(04)80896-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80896-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:kar.kent.ac.uk:21954","is_oa":false,"landing_page_url":"https://kar.kent.ac.uk/21954/1/Towards_Integrated_Cognitive_and_Interface_Analysis.ps","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":"Conference proceeding"},{"id":"pmh:oai:kar.kent.ac.uk:21874","is_oa":true,"landing_page_url":"https://kar.kent.ac.uk/21874/2/towards_integrated_cognitive_bowman.ps","pdf_url":"https://kar.kent.ac.uk/21874/1/towards_integrated_cognitive_bowman.pdf","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":null,"raw_type":"Reports and Papers"},{"id":"pmh:oai:dnet:people______::014b28fb5e78d699e8e088742f247f01","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::014b28fb5e78d699e8e088742f247f01","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic notes in theoretical computer science 43 (2001): 97\u2013112. doi:10.1016/S1571-0661(04)80896-X","raw_type":"http://purl.org/coar/resource_type/c_6501"},{"id":"pmh:oai:dnet:people______::7ea3d0faa56e828c6549f332fd893a53","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::7ea3d0faa56e828c6549f332fd893a53","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISTI Technical reports, pp.1\u20138, 1999","raw_type":"http://purl.org/coar/resource_type/c_1843"},{"id":"pmh:oai:dnet:people______::a6c5a6bf7ba609a6a998a69d5607c1d3","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::a6c5a6bf7ba609a6a998a69d5607c1d3","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Workshop on Formal Methods Elsewhere, Pisa, Italy, 2000","raw_type":"http://purl.org/coar/resource_type/c_5794"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80896-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80896-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W159949534","https://openalex.org/W258022877","https://openalex.org/W1489828373","https://openalex.org/W1503973138","https://openalex.org/W1514802904","https://openalex.org/W2029807522","https://openalex.org/W2081630252","https://openalex.org/W2113355185","https://openalex.org/W2121372686","https://openalex.org/W2160883697","https://openalex.org/W2166858357","https://openalex.org/W2169541176","https://openalex.org/W2589217375","https://openalex.org/W2913405990","https://openalex.org/W3144368627","https://openalex.org/W4252942094","https://openalex.org/W4285719527","https://openalex.org/W6606388528","https://openalex.org/W6630970254"],"related_works":["https://openalex.org/W4389670110","https://openalex.org/W2187546663","https://openalex.org/W2429057255","https://openalex.org/W148745890","https://openalex.org/W2611942503","https://openalex.org/W4315621326","https://openalex.org/W2899790217","https://openalex.org/W1576092969","https://openalex.org/W1649706580","https://openalex.org/W3195608031"],"abstract_inverted_index":{"Using":[0],"cognitive":[1,34],"architectures":[2],"to":[3,19,50],"analyse":[4],"the":[5,29,32,39,44,48,75],"usability":[6],"of":[7,47,80],"human-computer":[8],"interfaces":[9],"is":[10,23,69],"an":[11],"extensively":[12],"investigated":[13],"strategy.":[14],"A":[15],"particularly":[16],"powerful":[17],"way":[18],"perform":[20],"such":[21],"analysis":[22],"through":[24],"syndetic":[25,59,67],"modelling,":[26],"where":[27],"both":[28],"interface":[30],"and":[31,72],"chosen":[33],"model":[35],"are":[36],"described":[37],"in":[38],"same":[40],"specification":[41],"framework;":[42],"allowing":[43],"combined":[45],"behaviour":[46],"two":[49],"be":[51],"analysed.":[52],"This":[53],"paper":[54],"proposes":[55],"LOTOS":[56,76],"as":[57],"a":[58],"modelling":[60,68],"language.":[61],"We":[62],"highlight":[63],"four":[64,82],"reasons":[65],"why":[66],"so":[70],"difficult":[71],"show":[73],"how":[74],"notation":[77],"addresses":[78],"each":[79],"these":[81],"reasons.":[83]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}