https://m2.mtmt.hu/ hun 2026-09-22 16:47 Author 10053159 APPROVED true 0 2018-07-30T13:19:59.000+0000 false 10053159 2026-09-13T21:51:02.244+0000 2025-03-18T13:22:12.254+0000 2016-02-18T23:00:00.000+0000 2018-11-15T10:29:01.252+0000 2018-11-15T10:29:01.252+0000 Hajdu Ákos formális módszerek true false false Author false 2016-02-18T23:00:00.000+0000 2021-02-10T12:24:53.102+0000 2020-12-11T13:04:20.477+0000 2021-02-10T12:25:14.128+0000 2017-01-12T12:37:04.000+0000 false false 2020-05-30 false false 2020-05-30 false true false false false 2021-01-15T09:16:11.215+0000 27 308 253 0 51 283 280 236 254 254 207 207 126 308 253 0 Folyóiratcikk Journal Article 24 9 Könyvrészlet Chapter in Book 25 14 Könyv Book 23 0 Egyéb konferenciaközlemény Conference paper 31 2 Egyéb konferenciakötet Conference proceedings 32 0 Oltalmi formák Protection forms 26 0 Disszertáció Thesis 28 1 Egyéb Miscellaneous 29 1 Alkotás Achievement 22 0 Kutatási adat Research data 33 0 Folyóiratcikk Journal Article 24 0 106 26 Könyvrészlet Chapter in Book 25 0 133 27 Könyv Book 23 0 1 0 Egyéb konferenciaközlemény Conference paper 31 0 4 2 Egyéb konferenciakötet Conference proceedings 32 0 0 0 Oltalmi formák Protection forms 26 0 0 0 Disszertáció Thesis 28 0 9 0 Egyéb Miscellaneous 29 0 0 0 Alkotás Achievement 22 0 0 0 Kutatási adat Research data 33 0 0 0 2013 1 0 0 0 0 GREEN 1 GREEN 1 2014 2 1 0 1 0 GOLD 1 GREEN 1 GOLD 1 GREEN 1 2015 2 2 1 2 1 GREEN 1 NONE 1 GREEN 1 2016 2 6 3 6 3 GOLD 1 GREEN 1 GOLD 1 GREEN 1 2017 5 10 4 10 4 GOLD 2 GREEN 3 GOLD 2 GREEN 3 2018 2 11 4 11 4 GREEN 2 GREEN 2 2019 2 11 8 11 8 GOLD 1 NONE 1 GOLD 1 NONE 1 2020 7 31 25 31 25 GOLD 2 NONE 5 GOLD 2 NONE 4 2021 2 34 28 34 28 NONE 2 NONE 2 2022 1 44 40 44 40 NONE 1 NONE 1 2023 1 26 22 26 22 NONE 1 NONE 1 2024 0 54 47 54 47 2025 0 63 57 63 57 2026 0 15 14 15 14 false false true true Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 0 false false false true Affiliation 208188 /api/affil/208188 Institute 10254 /api/institute/10254 3 false true false Méréstechnika és Információs Rendszerek Tanszék Department of Measurement and Information Systems true 10254 true 1 2024-06-22T00:00:00.000+0000 false 208188 true Affiliation 215653 /api/affil/215653 Institute 16007 /api/institute/16007 0 false true false MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport true 16007 true 2 2024-01-01T02:00:02.000+0000 false 215653 true Affiliation 321792 /api/affil/321792 Institute 22230 /api/institute/22230 0 false true false Kritikus Rendszerek Kutatócsoport Critical Systems Research Group true true 3 2024-01-01T02:00:02.000+0000 false true AuthorIdentifier 51467 /api/authoridentifier/51467 AuthorSource 48 /api/authorsource/48 Honlap Honlap @@@ true true 48 true https://inf.mit.bme.hu/members/hajdua/ https://inf.mit.bme.hu/members/hajdua/ false 51467 true AuthorIdentifier 51466 /api/authoridentifier/51466 AuthorSource 49 /api/authorsource/49 Homepage Homepage @@@ true true 49 true https://inf.mit.bme.hu/en/members/hajdua https://inf.mit.bme.hu/en/members/hajdua false 51466 true AuthorIdentifier 51468 /api/authoridentifier/51468 AuthorSource 83 /api/authorsource/83 ORCID ORCID https://orcid.org/@@@ true true 83 true 0000-0001-8001-8865 https://orcid.org/0000-0001-8001-8865 false 51468 true AuthorIdentifier 51464 /api/authoridentifier/51464 AuthorSource 46 /api/authorsource/46 Google Scholar ID https://scholar.google.com/citations?pagesize=100&user=@@@ true true 46 true 7z74iO8AAAAJ https://scholar.google.com/citations?pagesize=100&user=7z74iO8AAAAJ false 51464 true AuthorIdentifier 51469 /api/authoridentifier/51469 AuthorSource 44 /api/authorsource/44 ResearcherID ResearcherID https://www.webofscience.com/wos/author/record/@@@ true true 44 true C-3742-2016 https://www.webofscience.com/wos/author/record/C-3742-2016 false 51469 true AuthorIdentifier 51470 /api/authoridentifier/51470 AuthorSource 139 /api/authorsource/139 ResearchGate ResearchGate http://www.researchgate.net/profile/@@@/ true true 139 true Akos_Hajdu2 http://www.researchgate.net/profile/Akos_Hajdu2/ false 51470 true Discipline 10026 /api/discipline/10026 true true AuthorName 237842 /api/authorname/237842 false Á Hajdu false true AuthorName 364727 /api/authorname/364727 false Akos Hajdu false true AuthorName 237840 /api/authorname/237840 false Ákos Hajdu false true AuthorName 237841 /api/authorname/237841 false Hajdu Á false true AuthorName 364726 /api/authorname/364726 false Hajdu Akos false true AuthorName 237839 /api/authorname/237839 false Hajdu Ákos false true Author /api/author/10053159 <div class="Author User long-list"> <div> <b>Hajdu Ákos</b> (formális módszerek) </div> <div> [ Szerző:<b>10053159</b> ] </div> <div>2016.02.19. 00:00 | Nyilvános | Belépés engedélyezve | Email cím jóváhagyva </div> <div class="affiliation invalidTimeLimited "> Méréstechnika és Információs Rendszerek Tanszék <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span> / <span title="Villamosmérnöki és Informatikai Kar">VIK</span> [2000-2024] sz: - 2024-06-22 </div> <div class="affiliation invalidTimeLimited "> MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span> / <span title="Villamosmérnöki és Informatikai Kar">VIK</span> / <span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span> [2015-] sz: - 2024 </div> <div class="affiliation invalidTimeLimited "> Kritikus Rendszerek Kutatócsoport <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span> / <span title="Villamosmérnöki és Informatikai Kar">VIK</span> / <span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span> [2021-] sz: - 2024 </div> <div class="publications"> <a target="_blank" href="/api/publication?cond=authors;eq;10053159&cond=core;eq;true&sort=publishedYear,desc&sort=firstAuthor">Közleményjegyzék</a> </div> </div>