https://m2.mtmt.hu/ hun 2026-05-26 08:56 BookChapter 33575796 VALIDATED true Export Date: 20 February 2023 0 false 2026-05-22T16:29:51.522+0000 2023-01-24T23:49:10.828+0000 2023-01-19T13:39:07.082+0000 true 10073065 Dobos-Kovács Mihály /api/author/10073065 Author Dobos-Kovács Mihály (informatika) true 2023-11-18T13:19:52.983+0000 2023-11-12T08:25:11.352+0000 true 521 Szuper Admin /api/admin/521 Admin Szuper Admin (admin) true true false true 25 25 /api/publicationtype/25 PublicationType Könyvrészlet 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType Könyvrészlet 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType Konferenciaközlemény (Könyvrészlet) 228 true 10000312 true 1 /api/category/1 Category Tudományos true 1 Dobos-Kovács, Mihály 109 116 109 8 2022 Funding 2022403 /api/funding/2022403 (ÚNKP-23-I-BME-217) Támogató: ÚNKP false true Funding 2022404 /api/funding/2022404 ADVANCE(823788) Támogató: Horizon 2020 false true true true 2023 true true true true false NONE 2026-05-22 false 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 false false false false 2023-04-19T13:00:36.483+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 2 17 2 2 0 true true 10002 English /api/language/10002 Angol Language Angol true 2 false true 10367 true 10017 /api/country/10017 Country Amerikai Egyesült Államok true 13 /api/city/10367 City New York, Amerikai Egyesült Államok true 870 true 22872414 /api/publicationidentifier/22872414 https://doi.org/10.1145/3569902 10.1145/3569902 PublicationIdentifier DOI: 10.1145/3569902 true 6 DOI https://doi.org/@@@ /api/publicationsource/6 DOI PlainSource DOI true true 10001 /api/publicationsourcetype/10001 PublicationSourceType DOI true true 6 true false true 22872415 /api/publicationidentifier/22872415 https://www.worldcat.org/search?q=isbn%3A9781450397377 9781450397377 PublicationIdentifier ISBN: 9781450397377 true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource ISBN true true 10002 /api/publicationsourcetype/10002 PublicationSourceType Egyéb true false 122 true false /api/publication/33575797 Anon A. Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22. (2022) ISBN:9781450397377 true true 23 23 /api/publicationtype/23 PublicationType Könyv 3 true 23 Book false 33575797 false true true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType Könyv 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType Konferenciakötet (Könyv) 345 true 10000144 false Book 2022 true 1 /api/category/1 Category Tudományos true 1 false Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 106360130 /api/authorship/106360130 Dobos-Kovács, Mihály [Dobos-Kovács, Mihály (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 1 0.5 true false false Author 10073065 /api/author/10073065 Dobos-Kovács Mihály (informatika) Dobos-Kovács Mihály true true Dobos-Kovács Mihály true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 106360131 /api/authorship/106360131 Vörös, András [Vörös, András (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 2 0.5 false true false Author 10042280 /api/author/10042280 Vörös András (informatika) Vörös András true 10042280 true Vörös András true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 22872416 /api/publicationidentifier/22872416 DOI: 10.1145/3569902.3570187 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.1145/3569902.3570187 https://doi.org/10.1145/3569902.3570187 false true PublicationIdentifier 24802102 /api/publicationidentifier/24802102 WoS: 001066220400017 PlainSource 1 /api/publicationsource/1 WoS PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 001066220400017 https://www.webofscience.com/wos/woscc/full-record/001066220400017 false true PublicationIdentifier 23097272 /api/publicationidentifier/23097272 Scopus: 85147009560 PlainSource 3 /api/publicationsource/3 Scopus PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 85147009560 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85147009560 false true PublicationIdentifier 22872417 /api/publicationidentifier/22872417 Egyéb URL: https://dl.acm.org/doi/10.1145/3569902.3570187 PlainSource 40 /api/publicationsource/40 Egyéb URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link true true true Egyéb URL Other URL @@@ true true 40 true https://dl.acm.org/doi/10.1145/3569902.3570187 https://dl.acm.org/doi/10.1145/3569902.3570187 false true Reference 37538425 /api/reference/37538425 1. Zsófia Ádám , Levente Bajczi , Mihály Dobos-Kovács , Ákos Hajdu , and Vince Molnár . 2022. Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) . In Tools and Algorithms for the Construction and Analysis of Systems , Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing , Cham , 474–478. Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, and Vince Molnár. 2022. Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems, Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing, Cham, 474–478. 1 false true Reference 37538426 /api/reference/37538426 2. Haniel Barbosa , Clark Barrett , Martin Brain , Gereon Kremer , Hanna Lachnitt , Makai Mann , Abdalrhman Mohamed , Mudathir Mohamed , Aina Niemetz , Andres Nötzli , Alex Ozdemir , Mathias Preiner , Andrew Reynolds , Ying Sheng , Cesare Tinelli , and Yoni Zohar . 2022. cvc5: A Versatile and Industrial-Strength SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing , Cham , 415–442. Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, and Yoni Zohar. 2022. cvc5: A Versatile and Industrial-Strength SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing, Cham, 415–442. 2 false true Reference 37538427 /api/reference/37538427 3. Clark Barrett , Christopher L. Conway , Morgan Deters , Liana Hadarean , Dejan Jovanović , Tim King , Andrew Reynolds , and Cesare Tinelli . 2011. CVC4 . In Computer Aided Verification, Ganesh Gopalakrishnanand Shaz Qadeer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 171–177. Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, and Cesare Tinelli. 2011. CVC4. In Computer Aided Verification, Ganesh Gopalakrishnanand Shaz Qadeer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 171–177. 3 false true Reference 37538428 /api/reference/37538428 4. Clark Barrett , Aaron Stump , Cesare Tinelli , 2010 . The smt-lib standard: Version 2.0 . In Proceedings of the 8th international workshop on satisfiability modulo theories ( Edinburgh, England), Vol. 13. 14. Clark Barrett, Aaron Stump, Cesare Tinelli, 2010. The smt-lib standard: Version 2.0. In Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, England), Vol. 13. 14. 4 false true Reference 37538429 /api/reference/37538429 5. Clark Barrett and Cesare Tinelli . 2018. Satisfiability Modulo Theories . Springer International Publishing , Cham , 305–343. https://doi.org/10.1007/978-3-319-10575-8_11 10.1007/978-3-319-10575-8_11 Clark Barrett and Cesare Tinelli. 2018. Satisfiability Modulo Theories. Springer International Publishing, Cham, 305–343. https://doi.org/10.1007/978-3-319-10575-8_11 5 false true Reference 37538430 /api/reference/37538430 6. Dirk Beyer . 2012. Competition on Software Verification . In Tools and Algorithms for the Construction and Analysis of Systems, Cormac Flanaganand Barbara König (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 504–524. Dirk Beyer. 2012. Competition on Software Verification. In Tools and Algorithms for the Construction and Analysis of Systems, Cormac Flanaganand Barbara König (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 504–524. 6 false true Reference 37538431 /api/reference/37538431 7. Dirk Beyer , Thomas A. Henzinger , and Grégory Théoduloz . 2007. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis . In Computer Aided Verification, Werner Damm and Holger Hermanns (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 504–518. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz. 2007. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. In Computer Aided Verification, Werner Damm and Holger Hermanns (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 504–518. 7 false true Reference 37538432 /api/reference/37538432 8. Dirk Beyer and Stefan Löwe . 2013. Explicit-State Software Model Checking Based on CEGAR and Interpolation . In Fundamental Approaches to Software Engineering, Vittorio Cortellessa and Dániel Varró (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 146–162. Dirk Beyer and Stefan Löwe. 2013. Explicit-State Software Model Checking Based on CEGAR and Interpolation. In Fundamental Approaches to Software Engineering, Vittorio Cortellessa and Dániel Varró (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 146–162. 8 false true Reference 37538433 /api/reference/37538433 9. DOI: 10.1007/s10817-011-9237-y 9 10.1007/s10817-011-9237-y false true Reference 37538434 /api/reference/37538434 10. Roberto Bruttomesso , Alessandro Cimatti , Anders Franzén , Alberto Griggio , and Roberto Sebastiani . 2008. The MathSAT 4 SMT Solver . In Computer Aided Verification, Aarti Gupta and Sharad Malik (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 299–303. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, and Roberto Sebastiani. 2008. The MathSAT 4 SMT Solver. In Computer Aided Verification, Aarti Gupta and Sharad Malik (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 299–303. 10 false true Reference 37538435 /api/reference/37538435 11. Jürgen Christ , Jochen Hoenicke , and Alexander Nutz . 2012. SMTInterpol: An Interpolating SMT Solver . In Model Checking Software, Alastair Donaldson and David Parker (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 248–254. Jürgen Christ, Jochen Hoenicke, and Alexander Nutz. 2012. SMTInterpol: An Interpolating SMT Solver. In Model Checking Software, Alastair Donaldson and David Parker (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 248–254. 11 false true Reference 37538436 /api/reference/37538436 12. Edmund Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , and Helmut Veith . 2000. Counterexample-Guided Abstraction Refinement . In Computer Aided Verification, E. Allen Emerson and Aravinda Prasad Sistla (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 154–169. Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. 2000. Counterexample-Guided Abstraction Refinement. In Computer Aided Verification, E. Allen Emerson and Aravinda Prasad Sistla (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 154–169. 12 false true Reference 37538437 /api/reference/37538437 13. Edmund M. Clarke , Thomas A. Henzinger , and Helmut Veith . 2018. Introduction to Model Checking . In Handbook of Model Checking, Edmund M . Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (Eds.). Springer International Publishing , Cham , 1–26. https://doi.org/10.1007/978-3-319-10575-8_1 10.1007/978-3-319-10575-8_1 Edmund M. Clarke, Thomas A. Henzinger, and Helmut Veith. 2018. Introduction to Model Checking. In Handbook of Model Checking, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (Eds.). Springer International Publishing, Cham, 1–26. https://doi.org/10.1007/978-3-319-10575-8_1 13 false true Reference 37538438 /api/reference/37538438 14. Leonardo de Moura and Nikolaj Bjørner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems, C. R . Ramakrishnanand Jakob Rehof (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 337–340. Leonardo de Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnanand Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337–340. 14 false true Reference 37538439 /api/reference/37538439 15. DOI: 10.1145/3106237.3106307 15 10.1145/3106237.3106307 false true Reference 37538440 /api/reference/37538440 16. Mihály Dobos-Kovács , Ákos Hajdu , and András Vörös . 2021 . Bitvector Support in the Theta Formal Verification Framework. In 2021 10th Latin-American Symposium on Dependable Computing (LADC). IEEE, 01–08 . https://doi.org/10.1109/LADC53747.2021.9672595 10.1109/LADC53747.2021.9672595 Mihály Dobos-Kovács, Ákos Hajdu, and András Vörös. 2021. Bitvector Support in the Theta Formal Verification Framework. In 2021 10th Latin-American Symposium on Dependable Computing (LADC). IEEE, 01–08. https://doi.org/10.1109/LADC53747.2021.9672595 16 false true Reference 37538441 /api/reference/37538441 17. DOI: 10.1007/s10817-019-09535-x 17 10.1007/s10817-019-09535-x false true Reference 37538442 /api/reference/37538442 18. Ranjit Jhala , Andreas Podelski , and Andrey Rybalchenko . 2018. Predicate Abstraction for Program Verification . Springer International Publishing , Cham , 447–491. https://doi.org/10.1007/978-3-319-10575-8_15 10.1007/978-3-319-10575-8_15 Ranjit Jhala, Andreas Podelski, and Andrey Rybalchenko. 2018. Predicate Abstraction for Program Verification. Springer International Publishing, Cham, 447–491. https://doi.org/10.1007/978-3-319-10575-8_15 18 false true Reference 37538443 /api/reference/37538443 19. Nikita Malyshev , Irina Dudina , Daniil Kutz , Alexander Novikov , and Sergey Vartanov . 2019 . SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study . In 2019 Ivannikov Ispras Open Conference (ISPRAS). IEEE, 9–15 . Nikita Malyshev, Irina Dudina, Daniil Kutz, Alexander Novikov, and Sergey Vartanov. 2019. SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study. In 2019 Ivannikov Ispras Open Conference (ISPRAS). IEEE, 9–15. 19 false true Reference 37538444 /api/reference/37538444 20. Kenneth L. McMillan . 2005. Applications of Craig Interpolants in Model Checking . In Tools and Algorithms for the Construction and Analysis of Systems . Springer Berlin Heidelberg , Berlin, Heidelberg , 1–12. Kenneth L. McMillan. 2005. Applications of Craig Interpolants in Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, 1–12. 20 false true Reference 37538445 /api/reference/37538445 21. DOI: 10.1109/COASE.2018.8560344 21 10.1109/COASE.2018.8560344 false true Reference 37538446 /api/reference/37538446 22. Tamás Tóth , Ákos Hajdu , András Vörös , Zoltán Micskei , and István Majzik . 2017 . Theta: a Framework for Abstraction Refinement-Based Model Checking . In Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Daryl Stewart and Georg Weissenbacher (Eds.). IEEE, 176–179 . https://doi.org/10.23919/FMCAD.2017.8102257 10.23919/FMCAD.2017.8102257 Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, and István Majzik. 2017. Theta: a Framework for Abstraction Refinement-Based Model Checking. In Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Daryl Stewart and Georg Weissenbacher (Eds.). IEEE, 176–179. https://doi.org/10.23919/FMCAD.2017.8102257 22 false true Reference 37538447 /api/reference/37538447 23. Tjark Weber , Sylvain Conchon , David Déharbe , Matthias Heizmann , Aina Niemetz , and Giles Reger . 2019 . The SMT competition 2015–2018 . Journal on Satisfiability, Boolean Modeling and Computation 11 , 1(2019), 221 – 259 . Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, and Giles Reger. 2019. The SMT competition 2015–2018. Journal on Satisfiability, Boolean Modeling and Computation 11, 1(2019), 221–259., DOI: 10.3233/SAT190123 23 10.3233/SAT190123 false true /api/publication/33575796 Dobos-Kovács Mihály et al. Evaluation of SMT solvers in abstraction-based software model checking. (2022) Megjelent: Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22 pp. 109-116<div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10073065"><a href="/gui2/?type=authors&mode=browse&sel=10073065" target="_blank">Dobos-Kovács Mihály (<span class="authorship-author-name">Dobos-Kovács Mihály</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/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>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Vörös András (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/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>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;33575796" target="_blank">Evaluation of SMT solvers in abstraction-based software model checking</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" >Anon A </span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;33575797" target="_blank">Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC '22 </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Fortaleza, Brazília <span class="conference-date">2022.11.21. - 2022.11.24.</span> </div> <span class="publishedAt">New York: <span class="publishers">Association for Computing Machinery (ACM)</span>, <span class="page"> pp 109-116 </span> <span class="year">(2022)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.1145/3569902.3570187" target="_blank" href="https://doi.org/10.1145/3569902.3570187"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001066220400017" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001066220400017"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85147009560" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85147009560"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://dl.acm.org/doi/10.1145/3569902.3570187" target="_blank" href="https://dl.acm.org/doi/10.1145/3569902.3570187"> Egyéb URL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1145/3569902" target="_blank" href="https://doi.org/10.1145/3569902"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9781450397377" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9781450397377"> 9781450397377 </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 0</span> | Független: 0 | Függő: 0 | Nem jelölt: 0 (Nem nyilvános:&nbsp;1) </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;33575796&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 3 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 33575796</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> <span class="long-book-mtid">Befoglaló: 33575797</span> Forrás Idéző | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> (ÚNKP-23-I-BME-217) Támogató: ÚNKP, ADVANCE(823788) Támogató: Horizon 2020 </div> <div class="lastModified">Utolsó módosítás: 2023.01.25. 00:49 Dobos-Kovács Mihály (informatika) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Export Date: 20 February 2023</pre> </div> </div>