1.
Babati, Bence ; Pataki, Norbert
The Role of Implementation-Specific Static Analysis
In: 2023 International Conference on Software and System Engineering (ICoSSE)
Institute of Electrical and Electronics Engineers (2023) pp. 1-6. , 6 p.
DOI IEEE Xplore Scopus Other URL
Publication:34156166 Validated Core Citing Suspect Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[34156166] [Validated]
2.
Bence, Babati ; Norbert, Pataki
EVALUATION OF PREDICATES IN THE C++ STANDARD TEMPLATE LIBRARY
ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 52 pp. 57-72. , 16 p. (2021)
Teljes dokumentum Zentralblatt für Mathematik
Publication:32305034 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[32305034] [Admin approved]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
3.
Babati, Bence ; Pataki, Norbert
A static analysis method for safe comparison functors in C++
ANNALES MATHEMATICAE ET INFORMATICAE 52 pp. 5-18. , 14 p. (2020)
DOI WoS Scopus Other URL Teljes dokumentum Other URL Zentralblatt für Mathematik
Publication:31783779 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[31783779] [Validated]
4.
Bence, Babati ; Norbert, Pataki
The Role of Implementation-specific Static Analysis
In: Zoltán, Horváth; Adrian, Petruşel (eds.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Bp, Hungary : ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar, Universitatea Babeș-Bolyai UBB, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Universitatea Babeș-Bolyai UBB (2020) 201 p. pp. 17-18. , 2 p.
Publication:31622865 Admin approved Core Citing Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31622865] [Admin approved]
5.
Bence, Babati ; Endre, Fülöp ; Norbert, Pataki
Static Analysis of Multithreaded C++ Code (2020)
Poster at The 11th International Conference on Applied Informatics (ICAI 2020),
Publication:31152682 Admin approved Core Miscellaneous (Not classified ) Scientific
Not classified (Miscellaneous) | Scientific[31152682] [Admin approved]
6.
Bence, Babati ; Gábor, Horváth ; Norbert, Pataki ; Attila, Páter-Részeg
On the Validated Usage of the C++ Standard Template Library
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (eds.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York City, United States of America : Association for Computing Machinery (2019) Paper: 23 , 8 p.
DOI ACM Digital Library Scopus Other URL
Publication:30796615 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 6 | Independent citation: 0 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[30796615] [Validated]
All citations+mentions: 6, External citations: 0, Self citations: 6, Unhandled citations: 0
7.
Babati, Bence ; Norbert, Pataki
Static analysis of functors’ mathematical properties in C++ source code
In: Theodore, Simos; Charalambos, Tsitouras (eds.) Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)
College Park (MD), United States of America : AIP (2019) Paper: 350002 , 4 p.
DOI WoS Scopus Other URL ADS
Publication:30746433 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 2 | Independent citation: 1 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 2
Conference paper (Chapter in Book) | Scientific[30746433] [Validated]
All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0
8.
Babati, Bence ; Pataki, Norbert
Comprehensive Performance Analysis of C++ Smart Pointers
POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES 12 : 3 pp. 157-166. , 10 p. (2017)
DOI REAL EDIT Scopus Google scholar
Publication:3283737 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[3283737] [Admin approved]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
9.
Bence, Babati ; Norbert, Pataki
Analysis of Include Dependencies in C++ Source Code
ACSIS-ANNALS OF COMPUTER SCIENCE AND INFORMATION SYSTEMS 13 pp. 149-156. , 8 p. (2017)
DOI Teljes dokumentum
Publication:3272050 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 9 | Independent citation: 1 | Self citation: 8 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[3272050] [Admin approved]
All citations+mentions: 9, External citations: 1, Self citations: 8, Unhandled citations: 0
10.
Bence, Babati ; Gábor, Horváth ; Viktor, Májer ; Norbert, Pataki
Static Analysis Toolset with Clang (2017)
Poster at 10th International Conference on Applied Informatics, Eger, Hungary, Country: Hungary,
Publication:3177281 Admin approved Core Miscellaneous (Notices/Catalogue ) Scientific
Notices/Catalogue (Miscellaneous) | Scientific[3177281] [Admin approved]
2024-05-06 01:28