Concepedia

Jan Peleška

JP

Statistics

Publications

37

Citations

1.4K

H-Index

21

Active since

1984

Affiliations

University of Bremen(Current)

Charles University

General University Hospital in Prague

University of Padua

Jagiellonian University

Jan Peleška is an author at University of Bremen specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1984–2019

37

Publications

37

Association of the Glu298Asp Polymorphism in the Endothelial Nitric Oxide Synthase Gene with Essential Hypertension Resistant to Conventional Therapy

M Jáchymová, K Horký, Jan Bultas et al. · Biochemical and Biophysical Research Communications · 2001 · 119 citations

, , +16

Formal development and verification of a distributed railway control system

Anne E. Haxthausen, Jan Peleška · IEEE Transactions on Software Engineering · 2000 · 115 citations

, , +13

Industrial-Strength Model-Based Testing - State of the Art and Current Challenges

Jan Peleška · Electronic Proceedings in Theoretical Computer Science · 2013 · 106 citations · Full text

, , +17

Quality control of the blood pressure phenotype in the European Project on Genes in Hypertension

Tatiana Kuznetsova, Jan A. Staessen, Kalina Kawecka−Jaszcz et al. · Blood Pressure Monitoring · 2002 · 105 citations · Full text

, , +14

Circulating intercellular cell adhesion molecule-1, endothelin-1 and von Willebrand factor-markers of endothelial dysfunction in uncomplicated essential hypertension: the effect of treatment with ACE inhibitors

Zuzana Hlubocká, V. Umnerová, Samuel Heller et al. · Journal of Human Hypertension · 2002 · 73 citations

, , +17

1–5 of 37