المؤلفون: Shi, H., Peleska, J., Kouvaras, M.

المصدر: Proceedings 1999 Pacific Rim International Symposium on Dependable Computing Dependable computing Dependable Computing, 1999. Proceedings. 1999 Pacific Rim International Symposium on. :135-142 1999

Relation: Proceedings 1999 Pacific Rim International Symposium on Dependable Computing

المؤلفون: Urban, G., Kolinowitz, H.-J., Peleska, J.

المصدر: Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224) Fault-tolerant computing Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on. :372-381 1998

Relation: Proceedings of 28th International Symposium on Fault Tolerant Computing

المؤلفون: Haxthausen, A.E., Peleska, J.

المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 26(8):687-701 Aug, 2000

المؤلفون: Peleska, J., Svejda, D., Zvarova, J.

المصدر: Information Technology Applications in Biomedicine. ITAB '97. Proceedings of the IEEE Engineering in Medicine and Biology Society Region 8 International Conference Information technology applications in biomedicine Information Technology Applications in Biomedicine, 1997. ITAB '97., Proceedings of the IEEE Engineering in Medicine and Biology Society Region 8 International Conference. :81 1997

Relation: Information Technology Applications in Biomedicine. ITAB '97. Proceedings of the IEEE Engineering in Medicine and Biology Society Region 8 International Conference

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Azadbakht, Keyvan, de Boer, Frank S., de Vink, Erik, Havelund, K., Peleska, J., Roscoe, B., de Vink, E.

المساهمون: Formal System Analysis, Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

المصدر: Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings, 39-54
STARTPAGE=39;ENDPAGE=54;TITLE=Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings
Formal Methods ISBN: 9783319955810
FM

مصطلحات موضوعية: Predicate abstraction, Programming language, Coroutine, Computer science, Deadlock detection, 020207 software engineering, 02 engineering and technology, Cooperative scheduling, Transition system, Deadlock, Software_PROGRAMMINGTECHNIQUES, computer.software_genre, Asynchronous method invocation, Scheduling (computing), Decidability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Actor, computer, Deadlock prevention algorithms

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1be865af42bec53bcb4381f125450bf3
http://www.scopus.com/inward/record.url?scp=85050348788&partnerID=8YFLogxK

المؤلفون: Hlubocká, Z^{Aff1, ID1001403_cor1}, Umnerová, V, Heller, S, Peleska, J, Jindra, A, Jáchymová, M, Kvasnicka, J, Horký, K, Aschermann, M

المصدر: Journal of Human Hypertension. 16(8):557-562

المؤلفون: de Putter, Sander, Wijs, Anton, Havelund, K., Peleska, J., Roscoe, B., de Vink, E.

المساهمون: Software Engineering and Technology

المصدر: Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings, 485-504
STARTPAGE=485;ENDPAGE=504;TITLE=Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings
Formal Methods ISBN: 9783319955810
FM

مصطلحات موضوعية: 010201 computation theory & mathematics, Computer science, 0202 electrical engineering, electronic engineering, information engineering, State space, 020201 artificial intelligence & image processing, 0102 computer and information sciences, 02 engineering and technology, Composition (combinatorics), State space generation, 01 natural sciences, Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6474560608706617256ea5527de5fa46
https://research.tue.nl/en/publications/404aacdd-317a-41ad-99a1-a064394d0559

المؤلفون: Katarzyna Stolarz, Wiktoria Wojciechowska, Lutgarde Thijs, Speranta Babeanu, Tomasz Grodzicki, Stefan-Martin Brand-Herrmann, Giuseppe Bianchi, Peleska J, Jan A. Staessen, Yuri Nikitin, Kalina Kawecka-Jaszcz, Jan Filipovsky, Eva Brand, Valérie Tikhonoff, Marcin Cwynar, Harry A.J. Struijker-Boudier, Tatiana Kuznetsova, Edoardo Casiglia

المصدر: Current Hypertension Reviews. 2:275-281

مصطلحات موضوعية: Epidemiology, business.industry, Gene-environment interactions, Context (language use), Disease, Cardiovascular system, Genetics, Bioinformatics, Phenotype, Review article, Blood pressure, Internal Medicine, Medicine, Salt intake, business, Gene, Homeostasis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5cf6650614e644f5384909fb86ba93d
https://doi.org/10.2174/157340206778742557

المؤلفون: Zuzana Hlubocká, Heller S, Jindra A, Michael Aschermann, V. Umnerová, J Kvasnicka, Peleska J, Karel Horký, Marie Jáchymová

المصدر: Journal of Human Hypertension. 16:557-562

مصطلحات موضوعية: medicine.medical_specialty, biology, Endothelium, business.industry, Angiotensin-converting enzyme, Essential hypertension, medicine.disease, Endothelin 1, medicine.anatomical_structure, Endocrinology, Von Willebrand factor, Quinapril, Internal medicine, ACE inhibitor, Internal Medicine, medicine, biology.protein, Endothelial dysfunction, business, medicine.drug

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::963b9e824a9586c1447db4a82da0da2f
https://doi.org/10.1038/sj.jhh.1001403