https://m2.mtmt.hu/ hun 2026-06-24 07:08 BookChapter 37023540 VALIDATED true Zs. Ádám and L. Bajczi were supported by projects EKOP-24-3-BME-{288,213}, DKÖP 400433/2023, DKÖP 400434/2023, Erasmus, BAYHOST MobFA2025/15, and BAYHOST MobFA2025/16. P. Ayaziová and J. Strejček were supported by the Czech Science Foundation grant GA23- 06506S and by the Bayerisch-Tschechische Hochschulagentur BTHA-MOB-2025-7 and BTHA-MOB-2025-9. D. Beyer, M. Jankola, and M. Lingsch-Rosenfeld were supported by the Deutsche Forschungsgemeinschaft (DFG) – 378803395 (ConVeY) and 496588242 (IdeFix). 0 false 2026-05-23T16:57:00.384+0000 2026-05-19T13:35:25.904+0000 2026-03-22T10:32:42.534+0000 true 10073070 Bajczi Levente /api/author/10073070 Author Bajczi Levente (informatika) true 2026-05-23T16:55:48.141+0000 2026-04-08T07:20:46.673+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin Andódy Katalin (BME admin4) true 2026-05-19T13:35:24.651+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 Ádám, Zsófia 1969 1981 1969 13 2025 Designing algorithms for complex problems as certifying algorithms is an important approach to ensure correctness of computational results. Instead of producing an output y for an input x, a certifying algorithm produces as output for x not only y but also a witness w. The witness w (also called certificate) can now be used to check that y is indeed the correct output for input x. Witnesses and their validation also exist in the area of automatic software verification, and a large number of tools support verification witnesses. SV-COMP 2025 reports 62 verifiers producing witnesses and 18 tools for witness validation. In 2023, a new version 2.0 of the witness format for software verification was introduced to overcome several problems with the previous format, and this new format is now widely supported. However, there is no format with a clear definition and semantics for witnesses of non-termination. This paper closes this gap by presenting an extension of the witness format 2.0 to support program non-termination. Besides explaining the design of this extension, we describe various approaches to generate and validate non-termination witnesses. We also give an overview of current tool support of the extended format, i.e., the verifiers that can generate non-termination witnesses and the witness validators able to analyze these witnesses. Finally, we present an experimental evaluation showing the performance of these tools on program-termination tasks of SV-COMP 2025. true INTERNATIONAL 2026 true true true true true false NONE 2026-05-23 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 false false false false 2026-04-07T07:20:46.418+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 2 5 2 7 0 true true 10002 English /api/language/10002 Angol Language Angol true 2 false true 10939 true 10017 /api/country/10017 Country Amerikai Egyesült Államok true 13 /api/city/10939 City Piscataway (NJ), Amerikai Egyesült Államok true 2054246 true 31316256 /api/publicationidentifier/31316256 https://www.worldcat.org/search?q=isbn%3A9798350357332 9798350357332 PublicationIdentifier ISBN: 9798350357332 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/36910403 IEEE [szerk.]. 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE). (2025) ISBN:9798350357332 true true 23 23 /api/publicationtype/23 PublicationType Könyv 3 true 23 Book false 36910403 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 2025 true 1 /api/category/1 Category Tudományos true 1 false Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 135104302 /api/authorship/135104302 Ádám, Zsófia [Ádám, Zsófia (informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 1 0.143 true 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 135104303 /api/authorship/135104303 Ayaziová, Paulína 2 0.14285715 false false false Ayaziová Paulína true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 135104304 /api/authorship/135104304 Bajczi, Levente [Bajczi, Levente (informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 0.143 false false false 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 135104305 /api/authorship/135104305 Beyer, Dirk 4 0.14285715 false false false Beyer Dirk true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 135104306 /api/authorship/135104306 Jankola, Marek 5 0.14285715 false false false Jankola Marek true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 135104307 /api/authorship/135104307 Lingsch-Rosenfeld, Marian 6 0.14285715 false false false Lingsch-Rosenfeld Marian true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 135104308 /api/authorship/135104308 Strejček, Jan 7 0.14285715 false true false Strejček Jan true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 31685863 /api/publicationidentifier/31685863 DOI: 10.1109/ASE63991.2025.00164 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.1109/ASE63991.2025.00164 https://doi.org/10.1109/ASE63991.2025.00164 false true PublicationIdentifier 31800492 /api/publicationidentifier/31800492 WoS: 001706323100156 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 001706323100156 https://www.webofscience.com/wos/woscc/full-record/001706323100156 false true PublicationIdentifier 31879168 /api/publicationidentifier/31879168 Scopus: 105034650206 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 105034650206 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105034650206 false true PublicationIdentifier 31685864 /api/publicationidentifier/31685864 Egyéb URL: https://ieeexplore.ieee.org/document/11334721/ 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 IDENTICAL https://ieeexplore.ieee.org/document/11334721/ https://ieeexplore.ieee.org/document/11334721/ false true Reference 73872247 /api/reference/73872247 1. DOI: 10.1145/2786805.2786867 1 10.1145/2786805.2786867 false true Reference 73872248 /api/reference/73872248 2. DOI: 10.1007/978-3-662-46681-0_31 2 10.1007/978-3-662-46681-0_31 false true Reference 73872249 /api/reference/73872249 3. DOI: 10.1145/2950290.2950351 3 10.1145/2950290.2950351 false true Reference 73872250 /api/reference/73872250 4. DOI: 10.1145/3477579 4 10.1145/3477579 false true Reference 73872251 /api/reference/73872251 5. DOI: 10.1007/978-3-031-66149-5_11 5 10.1007/978-3-031-66149-5_11 false true Reference 73872252 /api/reference/73872252 6. DOI: 10.1007/978-3-031-57256-2_15 6 10.1007/978-3-031-57256-2_15 false true Reference 73872253 /api/reference/73872253 7. DOI: 10.1007/978-3-031-57256-2_29 7 10.1007/978-3-031-57256-2_29 false true Reference 73872254 /api/reference/73872254 8. DOI: 10.1007/978-3-031-57256-2_30 8 10.1007/978-3-031-57256-2_30 false true Reference 73872255 /api/reference/73872255 9. DOI: 10.1007/978-3-032-06847-7_1 9 10.1007/978-3-032-06847-7_1 false true Reference 73872256 /api/reference/73872256 10. DOI: 10.1007/978-3-031-71177-0_30 10 10.1007/978-3-031-71177-0_30 false true Reference 73872257 /api/reference/73872257 11. DOI: 10.1007/978-3-031-57256-2_18 11 10.1007/978-3-031-57256-2_18 false true Reference 73872258 /api/reference/73872258 12. DOI: 10.1007/978-3-031-90660-2_9 12 10.1007/978-3-031-90660-2_9 false true Reference 73872304 /api/reference/73872304 13. DOI: 10.1007/978-3-319-21690-4_20 13 10.1007/978-3-319-21690-4_20 false true Reference 73872305 /api/reference/73872305 14. Ernst : KORN: Horn clause based verification of C programs (competition contribution)., Proc. TACAS, p. 559 14 false true Reference 73872306 /api/reference/73872306 15. DOI: 10.1109/fmcad.2009.5351147 15 10.1109/fmcad.2009.5351147 false true Reference 73872307 /api/reference/73872307 16. DOI: 10.1007/978-3-031-90660-2_11 16 10.1007/978-3-031-90660-2_11 false true Reference 73872308 /api/reference/73872308 17. DOI: 10.1007/978-3-540-73368-3_51 17 10.1007/978-3-540-73368-3_51 false true Reference 73872309 /api/reference/73872309 18. DOI: 10.1007/s10817-017-9432-6 18 10.1007/s10817-017-9432-6 false true Reference 73872310 /api/reference/73872310 19. Cadar : KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs., Proc. OSDI, p. 209 19 false true Reference 73872311 /api/reference/73872311 20. DOI: 10.1007/s10009-017-0469-y 20 10.1007/s10009-017-0469-y false true Reference 73872312 /api/reference/73872312 21. DOI: 10.1145/3691620.3695358 21 10.1145/3691620.3695358 false true Reference 73872313 /api/reference/73872313 22. DOI: 10.1007/978-3-031-90660-2_22 22 10.1007/978-3-031-90660-2_22 false true Reference 73872314 /api/reference/73872314 23. DOI: 10.1007/978-3-031-90660-2_15 23 10.1007/978-3-031-90660-2_15 false true Reference 73872315 /api/reference/73872315 24. Heizmann : ULTIMATE AUTOMIZER and the abstraction of bitwise operations (competition contribution)., Proc. TACAS, p. 418 24 false true Reference 73872316 /api/reference/73872316 25. DOI: 10.1007/978-3-031-30820-8_31 25 10.1007/978-3-031-30820-8_31 false true Reference 73872317 /api/reference/73872317 26. DOI: 10.1007/978-3-031-90660-2_19 26 10.1007/978-3-031-90660-2_19 false true Reference 73872318 /api/reference/73872318 27. Heizmann : ULTIMATE AU- TOMIZER 2023 (competition contribution)., Proc. TACAS, p. 577 27 false true Reference 73872319 /api/reference/73872319 28. DOI: 10.1002/9780471462422.eoct979 28 10.1002/9780471462422.eoct979 false true Reference 73872320 /api/reference/73872320 29. Beyer 2025: Verification witnesses from verification tools (SV-COMP 2025)., Zenodo 29 false true Reference 73872321 /api/reference/73872321 30. Beyer 2025: SV-Witnesses – Format 2.1., Zenodo 30 false true Reference 73872322 /api/reference/73872322 31. Ádám 2025: Reproduction package for ASE 2025 proceedings ‘Non-termination witnesses and their validation’., Zenodo 31 false true Reference 73872302 /api/reference/73872302 32. DOI: 10.1007/978-3-642-31424-7_23 32 10.1007/978-3-642-31424-7_23 false true Reference 73872303 /api/reference/73872303 33. DOI: 10.3311/minisy2024-012 33 10.3311/minisy2024-012 false true Reference 73872259 /api/reference/73872259 34. Ádám 2025: Non-termination witnesses in format 2.1 for ASE 2025 article ‘Non-termination witnesses and their validation’., Zenodo 34 false true Reference 73872260 /api/reference/73872260 35. DOI: 10.1007/978-3-031-82700-6_4 35 10.1007/978-3-031-82700-6_4 false true Reference 73872261 /api/reference/73872261 36. Heizmann 2025: Correctness witnesses with function contracts. 36 false true Reference 73872262 /api/reference/73872262 37. DOI: 10.1016/j.cosrev.2010.09.009 37 10.1016/j.cosrev.2010.09.009 false true Reference 73872263 /api/reference/73872263 38. DOI: 10.1007/978-3-642-39176-7_1 38 10.1007/978-3-642-39176-7_1 false true Reference 73872264 /api/reference/73872264 39. DOI: 10.1007/978-3-030-61362-4_26 39 10.1007/978-3-030-61362-4_26 false true Reference 73872265 /api/reference/73872265 40. DOI: 10.1007/978-3-319-92994-1_1 40 10.1007/978-3-319-92994-1_1 false true Reference 73872266 /api/reference/73872266 41. DOI: 10.1007/978-3-319-41540-6_28 41 10.1007/978-3-319-41540-6_28 false true Reference 73872267 /api/reference/73872267 42. DOI: 10.1007/978-3-319-21401-6_6 42 10.1007/978-3-319-21401-6_6 false true Reference 73872268 /api/reference/73872268 43. DOI: 10.4204/eptcs.167.8 43 10.4204/eptcs.167.8 false true Reference 73872269 /api/reference/73872269 44. DOI: 10.1112/plms/s2-42.1.230 44 10.1112/plms/s2-42.1.230 false true Reference 73872270 /api/reference/73872270 45. DOI: 10.1007/bf01933419 45 10.1007/bf01933419 false true Reference 73872271 /api/reference/73872271 46. DOI: 10.1145/1476936.1476956 46 10.1145/1476936.1476956 false true Reference 73872272 /api/reference/73872272 47. DOI: 10.1007/978-3-540-24622-0_20 47 10.1007/978-3-540-24622-0_20 false true Reference 73872273 /api/reference/73872273 48. DOI: 10.1145/1040305.1040317 48 10.1145/1040305.1040317 false true Reference 73872274 /api/reference/73872274 49. DOI: 10.1007/11817963_37 49 10.1007/11817963_37 false true Reference 73872275 /api/reference/73872275 50. DOI: 10.1145/1133981.1134029 50 10.1145/1133981.1134029 false true Reference 73872276 /api/reference/73872276 51. DOI: 10.1016/j.entcs.2005.11.018 51 10.1016/j.entcs.2005.11.018 false true Reference 73872277 /api/reference/73872277 52. Metta : PROTON: Probes for non-termination and termination (competition contribution)., Proc. TACAS, p. 393 52 false true Reference 73872278 /api/reference/73872278 53. DOI: 10.1007/978-3-031-30820-8_42 53 10.1007/978-3-031-30820-8_42 false true Reference 73872279 /api/reference/73872279 54. DOI: 10.1007/978-3-031-90660-2_13 54 10.1007/978-3-031-90660-2_13 false true Reference 73872280 /api/reference/73872280 55. DOI: 10.1007/978-3-031-90660-2_14 55 10.1007/978-3-031-90660-2_14 false true Reference 73872281 /api/reference/73872281 56. DOI: 10.1145/1328438.1328459 56 10.1145/1328438.1328459 false true Reference 73872282 /api/reference/73872282 57. DOI: 10.1109/icse48619.2023.00115 57 10.1109/icse48619.2023.00115 false true Reference 73872283 /api/reference/73872283 58. DOI: 10.1007/978-3-662-49674-9_2 58 10.1007/978-3-662-49674-9_2 false true Reference 73872284 /api/reference/73872284 59. DOI: 10.23919/fmcad.2019.8894271 59 10.23919/fmcad.2019.8894271 false true Reference 73872285 /api/reference/73872285 60. DOI: 10.1007/s10009-022-00670-2 60 10.1007/s10009-022-00670-2 false true Reference 73872286 /api/reference/73872286 61. DOI: 10.1145/3453483.3454093 61 10.1145/3453483.3454093 false true Reference 73872287 /api/reference/73872287 62. DOI: 10.1007/978-3-642-54862-8_11 62 10.1007/978-3-642-54862-8_11 false true Reference 73872288 /api/reference/73872288 63. DOI: 10.1007/978-3-642-31762-0_9 63 10.1007/978-3-642-31762-0_9 false true Reference 73872289 /api/reference/73872289 64. DOI: 10.1007/978-3-540-79124-9_11 64 10.1007/978-3-540-79124-9_11 false true Reference 73872290 /api/reference/73872290 65. DOI: 10.1007/978-3-030-45237-7_31 65 10.1007/978-3-030-45237-7_31 false true Reference 73872291 /api/reference/73872291 66. DOI: 10.1145/24039.24041 66 10.1145/24039.24041 false true Reference 73872292 /api/reference/73872292 67. DOI: 10.1007/978-3-030-81688-9_41 67 10.1007/978-3-030-81688-9_41 false true Reference 73872293 /api/reference/73872293 68. DOI: 10.1007/s10817-019-09535-x 68 10.1007/s10817-019-09535-x false true Reference 73872294 /api/reference/73872294 69. DOI: 10.1145/3524482.3527646 69 10.1145/3524482.3527646 false true Reference 73872295 /api/reference/73872295 70. DOI: 10.1007/978-3-030-99527-0_34 70 10.1007/978-3-030-99527-0_34 false true Reference 73872296 /api/reference/73872296 71. Mondok : Abstraction-based model checking of linear temporal properties., Proc. PhD Mini-Symposium, p. 29 71 false true Reference 73872297 /api/reference/73872297 72. DOI: 10.1007/10722167_15 72 10.1007/10722167_15 false true Reference 73872298 /api/reference/73872298 73. DOI: 10.23919/fmcad.2018.8603013 73 10.23919/fmcad.2018.8603013 false true Reference 73872299 /api/reference/73872299 74. DOI: 10.1016/s0065-2458(03)58003-2 74 10.1016/s0065-2458(03)58003-2 false true Reference 73872300 /api/reference/73872300 75. DOI: 10.1007/978-3-642-23702-7_26 75 10.1007/978-3-642-23702-7_26 false true Reference 73872301 /api/reference/73872301 76. DOI: 10.1007/s10817-024-09702-9 76 10.1007/s10817-024-09702-9 false true /api/publication/37023540 Ádám Zsófia et al. Non-termination Witnesses and Their Validation. (2025) Megjelent: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 1969-1981<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="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>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/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>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Ayaziová Paulína </span> ;&nbsp;&nbsp;&nbsp; <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>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/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>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Beyer Dirk </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Jankola Marek </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Lingsch-Rosenfeld Marian </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Strejček Jan </span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;37023540" target="_blank">Non-termination Witnesses and Their Validation</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-affil">IEEE</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;36910403" target="_blank">2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Seoul, Dél-Korea <span class="conference-date">2025.11.16. - 2025.11.20.</span> </div> <span class="publishedAt">Piscataway (NJ): <span class="publishers">IEEE</span>, <span class="page"> pp 1969-1981 </span> <span class="year">(2025)</span> ( <span class="seriesTitle">IEEE/ACM International Conference on Automated Software Engineering</span> <span class="issn">1938-4300</span> <span class="issn">2643-1572</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.1109/ASE63991.2025.00164" target="_blank" href="https://doi.org/10.1109/ASE63991.2025.00164"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001706323100156" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001706323100156"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="105034650206" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105034650206"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="https://ieeexplore.ieee.org/document/11334721/" target="_blank" href="https://ieeexplore.ieee.org/document/11334721/"> 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"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9798350357332" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9798350357332"> 9798350357332 </a> </span> </span> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;37023540&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 4 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 37023540</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> <span class="long-book-mtid">Befoglaló: 36910403</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">DOI XML</span> </div> <div class="lastModified">Utolsó módosítás: 2026.05.19. 15:35 Szuper Admin (admin) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Zs. Ádám and L. Bajczi were supported by projects EKOP-24-3-BME-{288,213}, DKÖP 400433/2023, DKÖP 400434/2023, Erasmus, BAYHOST MobFA2025/15, and BAYHOST MobFA2025/16. P. Ayaziová and J. Strejček were supported by the Czech Science Foundation grant GA23- 06506S and by the Bayerisch-Tschechische Hochschulagentur BTHA-MOB-2025-7 and BTHA-MOB-2025-9. D. Beyer, M. Jankola, and M. Lingsch-Rosenfeld ...</pre> </div> </div>