Otsing - TalTech teadusportaal

kuva

reasta

51

artikkel kogumikus EST / artikkel kogumikus ENG

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

52

artikkel ajakirjas EST / artikkel ajakirjas ENG

artikkel ajakirjas EST / artikkel ajakirjas ENG

53

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editorial: New boundaries for roboticsKruusmaa, Maarja; Tan, Xiaobo; Laschi, Cecilia; Fioroni, Paolo; Madhavan, RajRobotics and autonomous systems2014 / p. 1-2 https://doi.org/10.1016/j.robot.2012.12.002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

54

artikkel kogumikus EST / artikkel kogumikus ENG

Heightened cyber vulnerability to patients with cardiac implantable electronic devicesTorgersen, Leanne N.S.; Whitaker, Rupert E.D.; Lugo, Ricardo Gregorio; Sütterlin, Stefan; Schulz, Stefan M.HCI International 2023 Posters : 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I2023 / p. 519-528 https://doi.org/10.1007/978-3-031-35989-7_66 Conference Proceedings at scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

55

artikkel ajakirjas EST / artikkel ajakirjas ENG

artikkel ajakirjas EST / artikkel ajakirjas ENG

56

artikkel ajakirjas EST / artikkel ajakirjas ENG

The Hermite - Minkowski domain of reduction of positive definite quadratic forms in six variablesTammela, PaulJournal of Soviet Mathematics1976 / p. 677-688 : ill https://doi.org/10.1007/BF01092512

artikkel ajakirjas EST / artikkel ajakirjas ENG

57

artikkel kogumikus EST / artikkel kogumikus ENG

Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana-Maria2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 13 p https://doi.org/10.1109/LICS56636.2023.10175726 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

58

artikkel ajakirjas EST / artikkel ajakirjas ENG

artikkel ajakirjas EST / artikkel ajakirjas ENG

59

artikkel kogumikus EST / artikkel kogumikus ENG

How do NATO members define cyber operations?Arik, MarkoHCI International 2023 – Late Breaking Posters |b 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I2024 / p. 8-14 https://doi.org/10.1007/978-3-031-49212-9_2 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

60

artikkel ajakirjas EST / artikkel ajakirjas ENG