Ann Blandford

From MaRDI portal
Person:878109

Available identifiers

zbMath Open blandford.annDBLPb/AnnBlandfordWikidataQ47364634 ScholiaQ47364634MaRDI QIDQ878109

List of research outcomes





PublicationDate of PublicationType
Verification-guided modelling of salience and cognitive load2010-01-04Paper
An approach to formal verification of human-computer interaction2007-11-28Paper
Providing a formal linkage between MDG and HOL2007-04-26Paper
https://portal.mardi4nfdi.de/entity/Q47375612004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44752662004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44203422003-08-17Paper
https://portal.mardi4nfdi.de/entity/Q44153492003-07-28Paper
https://portal.mardi4nfdi.de/entity/Q48036242003-04-27Paper
Demonstrating the cognitive plausability of interactive system specifications2001-04-17Paper

Research outcomes over time

This page was built for person: Ann Blandford

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:878109&oldid=6054577"
Powered by MediaWiki