학술논문
'학술논문'
에서 검색결과 65건 | 목록
1~10
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings - 18th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2023 and 10th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 23 April 2024, 402:105-117)
Book
Bajczi, L.; Telbisz, C.; Somorjai, M.; Ádám, Z.; Dobos-Kovács, M.; Szekeres, D.; Mondok, M.; Molnár, V.
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14572 LNCS:412-417)
Book
Bajczi, L.; Szekeres, D.; Mondok, M.; Ádám, Z.; Somorjai, M.; Telbisz, C.; Dobos-Kovács, M.; Molnár, V.
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14572 LNCS:371-375)
Academic Journal
Fazekas, C.L.; Bellardie, M.; Török, B.; Sipos, E.; Baranyi, M.; Sperlágh, B.; Dobos-Kovács, M.; Zelena, D.; Chaillou, E.; Tóth, B.
In: Life Sciences . (Life Sciences, 1 December 2021, 286)
Conference
In: ACM International Conference Proceeding Series , Proceedings of 2022 11th Latin-American Symposiumon Dependable Computing, LADC 2022. (ACM International Conference Proceeding Series, 21 November 2022, :109-116)
Academic Journal
Nemes, C. S.; Glávits, R.; Dobos-Kovács, M.; Ivanics, Éva; Kaszanyitzky, Éva; Beregszászi, Anikó; Szeredi, L.; Dencsõ, L.
Academic Journal
Academic Journal
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13244 LNCS:474-478)
Conference
In: 2021 10th Latin-American Symposium on Dependable Computing, LADC 2021 - Proceedings , 2021 10th Latin-American Symposium on Dependable Computing, LADC 2021 - Proceedings. (2021 10th Latin-American Symposium on Dependable Computing, LADC 2021 - Proceedings, 2021)
검색 결과 제한하기
제한된 항목
[AR] Dobos-Kovács, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어