Pataki Norbert

Az adatok frissességéről nyilatkozott: 2025-03-05

Eötvös Loránd Tudományegyetem

Informatika Doktori Iskola

2014-03-13 –

patakino@elte.hu

Eötvös Loránd Tudományegyetem

egyetemi oktató

programozási nyelvek, generatív technológiák, szoftver metrikák, statikus analízis, DevOps

informatikai tudományok

publikációs lista az MTMT-ben
MTMT közlemény és idéző összefoglaló táblázat

aktuális témakiírások és összes témakiírás

Szauter Ábel

2029-08-31

Informatika Doktori Iskola (ELTE)

Babati Bence	2018-08-01	Informatika Doktori Iskola (ELTE)
Fülöp Endre	2023-08-01	Informatika Doktori Iskola (ELTE)
Gyén Attila	2023-08-01	Informatika Doktori Iskola (ELTE)
Révész Ádám	2024-08-01	Informatika Doktori Iskola (ELTE)

Horváth Gábor

2021

Informatika Doktori Iskola (ELTE)

Fülöp Endre, Pataki Norbert: Temporal Logic-driven Symbolic Execution with the Clang Static Analyzer

In: Salah, Bourennane; Vit, Vozenilek (szerk.) 2024 7th International Conference on Software and System Engineering (ICoSSE), Institute of Electrical and Electronics Engineers (IEEE) (2024) pp. 78-82.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Kolozsvári Dániel, Pataki Norbert: A static analysis approach for modern iterator development

ANNALES MATHEMATICAE ET INFORMATICAE 59: pp. 37-53.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 1

nyelv: angol

Révész Ádám, Pataki Norbert: Visualisation of Jenkins Pipelines

ACTA CYBERNETICA 25: (4) pp. 877-895.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 5

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

Babati Bence, Pataki Norbert: A static analysis method for safe comparison functors in C++

ANNALES MATHEMATICAE ET INFORMATICAE 52: pp. 5-18.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

Szugyi Z, Sinkovics Á, Pataki N, Porkoláb Z: C++ metastring library and its applications

LECTURE NOTES IN COMPUTER SCIENCE 6491 LNCS: pp. 461-480.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 1

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 6

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 7

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

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.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 16

nyelv: angol