Michael D. Harrison - Publications, H-index & Citations

Michael D. Harrison

INESC TEC

26H指数

225论文数

3.3K被引数

收录论文 10

发表时间

Verification Templates for the Analysis of User Interface Software Design

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2019-08-01

OAAI

Harrison, Michael D.; Masci, Paolo; Campos, Jose C.

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices

IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS

IF4.4

2017-12-01

OAAI

Harrison, Michael D.; Masci, Paolo; Campos, Jose Creissac; Curzon, Paul

Formal Verification of a Space System's User Interface With the IVY Workbench

IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS

IF4.4

2016-04-01

OAAI

Campos, Jose Creissac; Sousa, Manuel; Bergue Alves, Miriam C.; Harrison, Michael D.

Prototyping and analysing ubiquitous computing environments using multiple layers

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES

IF5.1

2014-05-01

OAAI

Silva, Jose Luis; Campos, Jose Creissac; Harrison, Michael D.

Analysing interactive devices based on information resource constraints

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES

IF5.1

2014-03-01

OAAI

Campos, Jose Creissac; Doherty, Gavin; Harrison, Michael D.

Phosducin influences sympathetic activity and prevents stress-induced hypertension in humans and mice (vol 119, pg 3597, 2009)

JOURNAL OF CLINICAL INVESTIGATION

IF13.6

2011-01-04

OAAI

Beetz, Nadine; Harrison, Michael D.; Brede, Marc; Zong, Xiangang; Urbanski, Michal J.; Sietmann, Anika; Kaufling, Jennifer; Lorkowski, Stefan; Barrot, Michel; Seeliger, Mathias W.; Vieira Coelha, Maria Augusta; Hamet, Pavel; Gaudet, Daniel; Seda, Ondrej; Tremblay, Johanne; Kotchen, Theodore A.; Kaldunski, Mary; Nusing, Rolf; Szabo, Bela; Jacob, Howard J.; Cowley, Allen W., Jr.; Biel, Martin; Stoll, Monika; Lohse, Martin J.; Broeckel, Ulrich; Hein, Lutz

Phosducin influences sympathetic activity and prevents stress-induced hypertension in humans and mice

JOURNAL OF CLINICAL INVESTIGATION

IF13.6

2009-11-23

OAAI

Beetz, Nadine; Harrison, Michael D.; Brede, Marc; Zong, Xiangang; Urbanski, Michal J.; Sietmann, Anika; Kaufling, Jennifer; Barrot, Michel; Seeliger, Mathias W.; Vieira-Coelho, Maria Augusta; Hamet, Pavel; Gaudet, Daniel; Seda, Ondrej; Tremblay, Johanne; Kotchen, Theodore A.; Kaldunski, Mary; Nuesing, Rolf; Szabo, Bela; Jacob, Howard J.; Cowley, Allen W., Jr.; Biel, Martin; Stoll, Monika; Lohse, Martin J.; Broeckel, Ulrich; Hein, Lutz

Genetic Determinants of Hypertension: An Update

CURRENT HYPERTENSION REPORTS

IF5.1

2008-11-23

PREAI

Harrison, Michael; Maresso, Karen; Broeckel, Ulrich

A locus on chromosome 10 influences C-reactive protein levels in two independent populations

HUMAN GENETICS

IF3.6

2007-05-26

PREAI

Broeckel, Ulrich; Hengstenberg, Christian; Mayer, Bjoern; Maresso, Karen; Gaudet, Daniel; Seda, Ondrej; Tremblay, Johanne; Holmer, Stephan; Erdmann, Jeanette; Gloeckner, Christian; Harrison, Michael; Martin, Lisa J.; Williams, Jeff T.; Schmitz, Gerd; Riegger, Guenter A. J.; Jacob, Howard J.; Hamet, Pavel; Schunkert, Heribert

Allocation of function: scenarios, context and the economics of effort

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES

IF5.1

2000-02-01

PREAI

Dearden, A; Harrison, M; Wright, P

研究方向