Phosducin influences sympathetic activity and prevents stress-induced hypertension in humans and mice
Beetz, Nadine, Harrison, Michael D, Brede, Marc, Zong, Xiangang, Urbanski, Michal J, Sietmann, Anika, Kaufling, Jennifer, Lorkowski, Stefan, Barrot, Michel, Seeliger, Mathias W, Vieira-Coelho, Maria Augusta, Hamet, Pavel, Gaudet, Daniel, Seda, Ondrej, Tremblay, Johanne, Kotchen, Theodore A, Kaldunski, Mary, Nüsing, Rolf, Szabo, Bela, Jacob, Howard J, Cowley, Jr, Allen W, Biel, Martin, Stoll, Monika, Lohse, Martin J, Broeckel, Ulrich, Hein, Lutz
Published in The Journal of clinical investigation (01.12.2009)
Published in The Journal of clinical investigation (01.12.2009)
Get full text
Journal Article
Verification Templates for the Analysis of User Interface Software Design
Harrison, Michael D., Masci, Paolo, Campos, Jose C.
Published in IEEE transactions on software engineering (01.08.2019)
Published in IEEE transactions on software engineering (01.08.2019)
Get full text
Journal Article
Balancing the formal and the informal in user-centred design
Harrison, Michael D, Masci, Paolo, Campos, José Creissac
Published in Interacting with computers (01.01.2021)
Published in Interacting with computers (01.01.2021)
Get full text
Journal Article
Analyzing Human-Computer Interaction as Distributed Cognition: The Resources Model
Wright, Peter C., Fields, Robert E., Harrison, Michael D.
Published in Human-computer interaction (01.01.2000)
Published in Human-computer interaction (01.01.2000)
Get full text
Journal Article
Analysing interactive devices based on information resource constraints
Campos, José Creissac, Doherty, Gavin, Harrison, Michael D.
Published in International journal of human-computer studies (01.03.2014)
Published in International journal of human-computer studies (01.03.2014)
Get full text
Journal Article
Demonstrating that Medical Devices Satisfy User Related Safety Requirements
Harrison, Michael D., Masci, Paolo, Campos, Jose Creissac, Curzon, Paul
Published in Software Engineering in Health Care (01.01.2017)
Published in Software Engineering in Health Care (01.01.2017)
Get full text
Book Chapter
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Fayollas, Camille, Martinie, Célia, Palanque, Philippe, Masci, Paolo, Harrison, Michael D., Campos, José C., Rodrigues e Silva, Saulo
Published in Electronic proceedings in theoretical computer science (01.01.2017)
Published in Electronic proceedings in theoretical computer science (01.01.2017)
Get full text
Journal Article
Demonstration of Safety in Healthcare Organisations
Sujan, Mark A., Harrison, Michael D., Steven, Alison, Pearson, Pauline H., Vernon, Susan J.
Published in Computer Safety, Reliability, and Security (2006)
Published in Computer Safety, Reliability, and Security (2006)
Get full text
Book Chapter
Conference Proceeding
Measuring reuse in hazard analysis
Smith, Shamus P., Harrison, Michael D.
Published in Reliability engineering & system safety (01.07.2005)
Published in Reliability engineering & system safety (01.07.2005)
Get full text
Journal Article
Conference Proceeding
IMPROVED SWEETENER
COHEN JASON C, ZHOU YUQING, HARRISON MICHAEL D, WOODYER RYAN D, BRIDGES JOHN R
Year of Publication 23.11.2015
Get full text
Year of Publication 23.11.2015
Patent