1. COMPARISON OF AMBULATORY AND HOME BLOOD PRESSURE TELEMONITORING WITH PHYSICAL INACTIVITY MONITORING. (June 2022) Authors: Muzik, Jan; Peleska, Jan; Holubova, Anna; Camek, Rene; Navratil, Vojtech; Fiala, Dominik; Doksansky, Marek; Hana, Karel; Vranka, Jakub; Hronova, Julie; Chrolenko, Anna; Jiravova, Maria; Dolezil, David; Jizofova, Marie Journal: Journal of hypertension Issue: Volume 40(2022)Supplement 1 Page Start: e96 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. COMPARISON OF OFFICE BP MEASUREMENTS BY VARIOUS BP MONITORS IN DIFFERENT CONDITIONS. (April 2021) Authors: Muzik, Jan; Peleska, Jan; Holubova, Anna; Canek, Rene; Navratil, Vojtech; Fiala, Dominik; Doksansky, Marek; Kaspar, Jan; Vranka, Jakub; Hronova, Julie; Chrolenko, Anna; Jiravova, Maria; Dolezil, David; Jozifova, Marie; Jedlickova, Petra Journal: Journal of hypertension Issue: Volume 39(2021)e-Supplement 1 Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Effective grey‐box testing with partial FSM models. (17th January 2022) Authors: Sachtleben, Robert; Peleska, Jan Journal: Software testing, verification & reliability Issue: Volume 32:Number 2(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /: 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. (2018) Editors: Havelund, Klaus, 1955-; Peleska, Jan; Roscoe, A. W; Vink, Erik de Other Names: International Symposium of Formal Methods Europe, 22nd; Federated Logic Conference Record Type: Book Extent: 1 online resource (xiv, 692 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. PS-C10-8: ANALYSIS OF OFFICE SYSTOLIC BLOOD PRESSURE MEASURED BY VARIOUS METHODS IN DIFFERENT CONDITIONS. (January 2023) Authors: Muzik, Jan; Peleska, Jan; Holubova, Anna; Camek, Rene; Navratil, Vojtech; Fiala, Dominik; Doksansky, Marek; Hana, Karel; Kaspar, Jan; Vranka, Jakub; Hronova, Julie; Chrolenko, Anna; Jiravova, Maria; Dolezil, David; Jozifova, Marie Journal: Journal of hypertension Issue: Volume 41(2023)Supplement 1 Page Start: e213 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗