Print preview personal data approved: 2024. III. 01. Publications |
2023
from data base, 2023. XII. 31. |
Kolozsvári Dániel, Pataki Norbert: A static analysis approach for modern iterator development, ANNALES MATHEMATICAE ET INFORMATICAE 59: pp. 37-53. type of document: Journal paper/Article language: English URL |
2020
from data base, 2023. XII. 31. |
Babati Bence, Pataki Norbert: A static analysis method for safe comparison functors in C++, ANNALES MATHEMATICAE ET INFORMATICAE 52: pp. 5-18. type of document: Journal paper/Article language: English URL |
2020
from data base, 2023. XII. 31. |
Fülöp Endre, Pataki Norbert: A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution, OPEN COMPUTER SCIENCE 11: (1) pp. 107-115. type of document: Journal paper/Article number of independent citations: 2 language: English URL |
2019
from data base, 2023. XII. 31. |
Gábor Horváth, Norbert Pataki: Categorization of C++ Classes for Static Lifetime Analysis, In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (szerk.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19, Association for Computing Machinery (2019) 21 type of document: Part of book/Proceedings Paper number of independent citations: 2 language: English URL |
2019
from data base, 2023. XII. 31. |
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. (szerk.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19, Association for Computing Machinery (2019) 23 type of document: Part of book/Proceedings Paper language: English URL |
2011
from data base, 2023. XII. 31. |
Pataki N, Szugyi Z, Dévai G: Measuring the overhead of C++ standard template library safe variants, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 264: (5) pp. 71-83. type of document: Journal paper/Article number of independent citations: 5 language: English URL |
2011
from data base, 2023. XII. 31. |
Szugyi Z, Sinkovics Á, Pataki N, Porkoláb Z: C++ metastring library and its applications, LECTURE NOTES IN COMPUTER SCIENCE 6491 LNCS: pp. 461-480. type of document: Journal paper/Article number of independent citations: 1 language: English URL |
2011
from data base, 2023. XII. 31. |
Pataki N, Porkoláb Z: Extension of iterator traits in the C++ standard template library, In: Maria, Ganzha; Leszek, A Maciaszek; Marcin, Paprzycki (szerk.) 2011 Federated Conference on Computer Science and Information Systems, FedCSIS 2011, IEEE Computer Society Press (2011) pp. 911-914. type of document: Part of book/Proceedings Paper number of independent citations: 5 language: English
|
2010
from data base, 2023. XII. 31. |
Borók-Nagy Zoltán, Májer Viktor, Mihalicza József, Pataki Norbert, Porkoláb Zoltán: Visualization of C++ Template Metaprograms, In: Vinju, J; Marinescu, C (szerk.) 10th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, IEEE Computer Society (2010) pp. 167-176. type of document: Part of book/Proceedings Paper number of independent citations: 2 language: English URL |
2006
from data base, 2023. XII. 31. |
Pataki Norbert, Sipos Ádám, Porkoláb Zoltán: Measuring the Complexity of Aspect-Oriented Programs with Multiparadigm Metric, In: Michele, Lanza; Fernando, Brito e Abreu; Coral, Calero; Yann-Gaël, Guéhéneuc; Houari, Sahraouri (szerk.) QAOOSE 2006 Proceedings, Universitá della Svizzera italiana (2006) pp. 1-10. type of document: Part of book/Proceedings Paper number of independent citations: 16 language: English
|
| Number of independent citations to these publications: | 33 |
|
|