https://m2.mtmt.hu/ hun 2026-09-21 03:42 JournalArticle 34768428 APPROVED true 0 false 2026-09-01T13:27:39.015+0000 2025-09-24T15:23:02.997+0000 2024-04-04T09:44:30.157+0000 true 10073063 Mondok Milán /api/author/10073063 Author Mondok Milán (informatika) true 2025-09-24T15:23:03.228+0000 2025-09-24T15:23:03.228+0000 true false true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType Szakcikk (Folyóiratcikk) 101 true 10000059 true 1 /api/category/1 Category Tudományos true 1 Bajczi, Levente true true /api/journal/3029 REVIEWED LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 true false 3029 false 3029 true 0302-9743 1611-3349 Journal FOREIGN 14572 412 417 Chapter 30 412, Chapter 30 6 2024 true 318724 /api/conference/318724 true 10913 true 10122 /api/country/10122 Country Luxemburg true 2151683 /api/city/10913 City Luxembourg City, Luxemburg true 2015312 Conference 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 2024-04-06 [Luxembourg City, Luxemburg] true Theta is a model checking framework, with a strong emphasis on effectively handling concurrency in software using abstraction refinement algorithms. In SV-COMP 2024, we use 1) an abstraction-aware partial order reduction; 2) a dynamic statement reduction technique; and 3) enhanced support for call stacks to handle recursive programs. We integrate these techniques in an improved architecture with inherent support for portfolio-based verification using dynamic algorithm selection, with a diverse selection of supported SMT solvers as well. In this paper we detail the advances of Theta regarding concurrent and recursive software support. true true 2024 true true true true true false GOLD 2026-09-01 true https://doi.org/10.1007/978-3-031-57256-2_30 4 0 4 3 1 4 4 2 3 3 3 2 2 3 1 0 4 3 4 3 0 3 3 Folyóiratcikk Journal Article 24 0 Könyvrészlet Chapter in Book 25 4 Könyv Book 23 0 Egyéb konferenciaközlemény Conference paper 31 0 Egyéb konferenciakötet Conference proceedings 32 0 Oltalmi formák Protection forms 26 0 Disszertáció Thesis 28 0 Egyéb Miscellaneous 29 0 Alkotás Achievement 22 0 Kutatási adat Research data 33 0 Folyóiratcikk Journal Article 24 0 0 0 Könyvrészlet Chapter in Book 25 0 0 0 Könyv Book 23 0 0 0 Egyéb konferenciaközlemény Conference paper 31 0 0 0 Egyéb konferenciakötet Conference proceedings 32 0 0 0 Oltalmi formák Protection forms 26 0 0 0 Disszertáció Thesis 28 0 0 0 Egyéb Miscellaneous 29 0 0 0 Alkotás Achievement 22 0 0 0 Kutatási adat Research data 33 0 0 0 2024 0 1 1 1 1 2025 0 1 0 1 0 2026 0 2 2 2 2 Q2 A false false false false 2024-07-03T09:44:30.990+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 8 19 2 8 0 false Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 116011355 /api/authorship/116011355 Bajczi, Levente ✉ [Bajczi, Levente (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 1 0.125 true false true Author 10073070 /api/author/10073070 Bajczi Levente (informatika) Bajczi Levente true true Bajczi Levente true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 116011356 /api/authorship/116011356 Telbisz, Csanád [Telbisz, Csanád Ferenc (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 2 0.125 false false false Author 10094717 /api/author/10094717 Telbisz Csanád Ferenc (informatika) Telbisz Csanád Ferenc true true Telbisz Csanád true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 116011357 /api/authorship/116011357 Somorjai, Márk [Somorjai, Márk (Informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 3 0.125 false false false Author 10088738 /api/author/10088738 Somorjai Márk (Informatika) Somorjai Márk true true Somorjai Márk true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 116011358 /api/authorship/116011358 Ádám, Zsófia [Ádám, Zsófia (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 4 0.125 false false false Author 10077295 /api/author/10077295 Ádám Zsófia (informatika) Ádám Zsófia true true Ádám Zsófia true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 116011359 /api/authorship/116011359 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) 5 0.125 false 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 116011360 /api/authorship/116011360 Szekeres, Dániel [Szekeres, Dániel (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 6 0.125 false false false Author 10078570 /api/author/10078570 Szekeres Dániel (informatika) Szekeres Dániel true true Szekeres Dániel true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 116011361 /api/authorship/116011361 Mondok, Milán [Mondok, Milán (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 7 0.125 false false false Author 10073063 /api/author/10073063 Mondok Milán (informatika) Mondok Milán true true Mondok Milán true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 116011362 /api/authorship/116011362 Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 8 0.125 false true false Author 10049620 /api/author/10049620 Molnár Vince (informatika) Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 25940159 /api/publicationidentifier/25940159 DOI: 10.1007/978-3-031-57256-2_30 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true 10.1007/978-3-031-57256-2_30 https://doi.org/10.1007/978-3-031-57256-2_30 false true PublicationIdentifier 27324080 /api/publicationidentifier/27324080 WoS: 001284187100030 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 001284187100030 https://www.webofscience.com/wos/woscc/full-record/001284187100030 false true PublicationIdentifier 26198261 /api/publicationidentifier/26198261 Scopus: 85192253521 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 85192253521 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85192253521 false true PublicationIdentifier 25940160 /api/publicationidentifier/25940160 Egyéb URL: https://link.springer.com/10.1007/978-3-031-57256-2_30 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://link.springer.com/10.1007/978-3-031-57256-2_30 https://link.springer.com/10.1007/978-3-031-57256-2_30 false true MtaRating 11435124 /api/mtarating/11435124 X. Földtudományok Osztálya:A LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 RatingType 10031 /api/ratingtype/10031 X. Földtudományok Osztálya X. FTO Institute 70 /api/institute/70 X. Földtudományok Osztálya XFO 0 false false false X. Földtudományok Osztálya HAS Section of Earth Sciences (X.) true 70 true true true A true true SjrRating 11451949 /api/sjrrating/11451949 sjr:Q2 (2024) Scopus - Computer Science (miscellaneous) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 174 0.49 book series RatingType 10002 /api/ratingtype/10002 sjr sjr true true ClassificationExternal 1701 /api/classificationexternal/1701 Scopus - Computer Science (miscellaneous) true 1701 true Q2 DIRECT true true Reference 51596449 /api/reference/51596449 1. Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.: Comparing source sets and persistent sets for partial order reduction. Lecture Notes in Computer Science, vol. 10460, pp. 516–536. Springer (2017). https://doi.org/10.1007/978-3-319-63121-9_26, DOI: 10.1007/978-3-319-63121-9_26 1 10.1007/978-3-319-63121-9_26 false true Reference 51596450 /api/reference/51596450 2. Ádám, Z., Bajczi, L., Dobos-Kovács, M., Hajdu, Á., Molnár, V.: Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). In: Fisman, D., Rosu, G. (eds.) TACAS 2021. Lecture Notes in Computer Science, vol. 13244, pp. 474–478. Springer (2022). https://doi.org/10.1007/978-3-030-99527-0_34, DOI: 10.1007/978-3-030-99527-0_34 2 10.1007/978-3-030-99527-0_34 false true Reference 51596451 /api/reference/51596451 3. Bajczi, L., Telbisz, C., Somorjai, M., Ádám, Z., Dobos-Kovács, M., Szekeres, D., Molnár, V.: Theta - SV-COMP’24 Verifier Archive (Nov 2023). https://doi.org/10.5281/zenodo.10202679, DOI: 10.5281/zenodo.10202679 3 10.5281/zenodo.10202679 false true Reference 51596452 /api/reference/51596452 4. Barbosa, H., et al.: cvc5: A Versatile and Industrial-Strength SMT Solver. In: Fisman, D., Rosu, G. (eds.) TACAS 2022. pp. 415–442. Springer International Publishing, Cham (2022). https://doi.org/10.1007/978-3-030-99524-9_24, DOI: 10.1007/978-3-030-99524-9_24 4 10.1007/978-3-030-99524-9_24 false true Reference 51596453 /api/reference/51596453 5. Berezin, S., Campos, S.V.A., Clarke, E.M.: Compositional Reasoning in Model Checking. Lecture Notes in Computer Science, vol. 1536, pp. 81–102. Springer (1997). https://doi.org/10.1007/3-540-49213-5_4, DOI: 10.1007/3-540-49213-5_4 5 10.1007/3-540-49213-5_4 false true Reference 51596454 /api/reference/51596454 6. Beyer, D.: State of the art in software verification and witness validation: SV-COMP 2024. In: Proc. TACAS. LNCS , Springer (2024) 6 false true Reference 51596455 /api/reference/51596455 7. Cimatti, A., Griggio, A., Schaafsma, B., Sebastiani, R.: The MathSAT5 SMT Solver. In: TACAS 2013, LNCS, vol. 7795, pp. 93–107. Springer (2013). https://doi.org/10.1007/978-3-642-36742-7_7, DOI: 10.1007/978-3-642-36742-7_7 7 10.1007/978-3-642-36742-7_7 false true Reference 51596456 /api/reference/51596456 8. Hajdu, Á., Micskei, Z.: Efficient Strategies for CEGAR-based Model Checking. Journal of Automated Reasoning 64(6), 1051–1091 (2020). https://doi.org/10.1007/s10817-019-09535-x, DOI: 10.1007/s10817-019-09535-x 8 10.1007/s10817-019-09535-x false true Reference 51596457 /api/reference/51596457 9. Harman, M., Hierons, R.M.: An overview of program slicing. Softw. Focus 2(3), 85–92 (2001). https://doi.org/10.1002/swf.41, DOI: 10.1002/swf.41 9 10.1002/swf.41 false true Reference 51596458 /api/reference/51596458 10. de Moura, L., Bjørner, N.: Z3: An Efficient SMT Solver. In: TACAS 2008, LNCS, vol. 4963, pp. 337–340. Springer (2008). https://doi.org/10.1007/978-3-540-78800-3_24, DOI: 10.1007/978-3-540-78800-3_24 10 10.1007/978-3-540-78800-3_24 false true Reference 51596459 /api/reference/51596459 11. Rümmer, P.: A constraint sequent calculus for first-order logic with linear integer arithmetic. LNCS, vol. 5330, pp. 274–289. Springer (2008). https://doi.org/10.1007/978-3-540-89439-1_20, DOI: 10.1007/978-3-540-89439-1_20 11 10.1007/978-3-540-89439-1_20 false true Reference 51596460 /api/reference/51596460 12. Somorjai, M.: Abstraction-Based Interprocedural Software Verification. Students’ scientific association (tdk) submission, Budapest University of Technology and Economics (2023), https://tdk.bme.hu/VIK/DownloadPaper/Absztrakcioalapu-interproceduralis 12 false true Reference 51596461 /api/reference/51596461 13. Telbisz, C.: Partial Order Reduction for Abstraction-Based Verification of Concurrent Software in the Theta Framework. Bachelor’s thesis, Budapest University of Technology and Economics (2022), https://tdk.bme.hu/VIK/DownloadPaper/Reszleges-rendezes-redukcio-tobbszalu 13 false true Reference 51596462 /api/reference/51596462 14. Telbisz, C.: Abstract Data-Flow-Based Statement Reduction for Model Checking Concurrent Software. Students’ scientific association (tdk) submission, Budapest University of Technology and Economics (2023), https://tdk.bme.hu/VIK/DownloadPaper/Absztrakt-adatfolyamalapu-utasitasredukcio 14 false true Reference 51596463 /api/reference/51596463 15. Tóth, T., Hajdu, Á., Vörös, A., Micskei, Z., Majzik, I.: Theta: a Framework for Abstraction Refinement-Based Model Checking. In: FMCAD 2017. pp. 176–179 (2017). https://doi.org/10.23919/FMCAD.2017.8102257, DOI: 10.23919/FMCAD.2017.8102257 15 10.23919/FMCAD.2017.8102257 false true /api/publication/34768428 Bajczi Levente et al. Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). (2024) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 14572 412-417<div class="JournalArticle 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="10073070"><a href="/gui2/?type=authors&mode=browse&sel=10073070" target="_blank">Bajczi Levente ✉ (<span class="authorship-author-name">Bajczi Levente</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="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10094717"><a href="/gui2/?type=authors&mode=browse&sel=10094717" target="_blank">Telbisz Csanád (<span class="authorship-author-name">Telbisz Csanád Ferenc</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="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10088738"><a href="/gui2/?type=authors&mode=browse&sel=10088738" target="_blank">Somorjai Márk (<span class="authorship-author-name">Somorjai Márk</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>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10077295"><a href="/gui2/?type=authors&mode=browse&sel=10077295" target="_blank">Ádám Zsófia (<span class="authorship-author-name">Ádám Zsófia</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="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <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="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10078570"><a href="/gui2/?type=authors&mode=browse&sel=10078570" target="_blank">Szekeres Dániel (<span class="authorship-author-name">Szekeres Dániel</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="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10073063"><a href="/gui2/?type=authors&mode=browse&sel=10073063" target="_blank">Mondok Milán (<span class="authorship-author-name">Mondok Milán</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="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</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="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;34768428" target="_blank">Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)</a></div> <div> <span class="journal-title">LECTURE NOTES IN COMPUTER SCIENCE</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0302-9743">0302-9743</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1611-3349">1611-3349</a>)</span>: <span class="journal-volume">14572</span> <span class="page"> pp 412-417 Paper Chapter 30. </span> <span class="year">(2024)</span> <div class="conference"> 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. Konferencia helye, ideje: <span class="location">Luxembourg City, Luxemburg <span class="conference-date">2024.04.06. - 2024.04.11.</span> </div> </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_GOLD" title=" Gold "> <a style="color:black" title="10.1007/978-3-031-57256-2_30" target="_blank" href="https://doi.org/10.1007/978-3-031-57256-2_30"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001284187100030" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001284187100030"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85192253521" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85192253521"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/978-3-031-57256-2_30" target="_blank" href="https://link.springer.com/10.1007/978-3-031-57256-2_30"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Science (miscellaneous)&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Theoretical Computer Science&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> <div class="journal-subject">X. Földtudományok Osztálya XFO&nbsp;&nbsp;&nbsp;A</div> </div></OnlyViewableByAuthor> <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: 4</span> | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt:&nbsp;3 | WoS/Scopus jelölt:&nbsp;3 | DOI jelölt:&nbsp;4 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;34768428&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: 34768428</span> | <span class="status-data status-APPROVED"> Nyilvános </span> Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2025.09.24. 17:23 Szatmári Erika (BME admin4) </div> </div></div>