21.
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 zbMATH
Közlemény:32305034 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[32305034] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
22.
Attila, Gyen ; Norbert, Pataki
An Approach for Formalizing the Memory Consumption of C++ Standard Template Library Containers
In: 8th International Conference on Mathematics and Informatics
(2021) pp. 25-25. , 1 p.
Egyéb URL
Közlemény:32189145 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[32189145] [Admin láttamozott]
23.
Ádám, Révész ; Norbert, Pataki
LambdaKube - A Functional Programming Approach in a Distributed Realm
In: Association, for Computing Machinery 2021 4th International Conference on Geoinformatics and Data Analysis
New York, Amerikai Egyesült Államok : ACM (2021) pp. 67-72. , 6 p.
DOI Scopus Egyéb URL
Közlemény:32115563 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[32115563] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
24.
Gábor, Horváth ; Norbert, Pataki
IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS
ACTA ELECTROTECHNICA ET INFORMATICA 20 : 4 pp. 10-18. , 9 p. (2020)
DOI Teljes dokumentum
Közlemény:31819027 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[31819027] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
25.
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. , 9 p. (2020)
DOI WoS Scopus Egyéb URL Egyéb URL Egyéb URL
Közlemény:31787944 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[31787944] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
26.
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 Egyéb URL Teljes dokumentum Egyéb URL zbMATH
Közlemény:31783779 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[31783779] [Egyeztetett]
27.
Endre, Fülöp ; Norbert, Pataki ; Csaba, Rotter
Modeling Resource Allocations in Cloud Deployment with P Colonies
In: Zoltán, Horváth; Adrian, Petruşel (szerk.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Budapest, Magyarország : ELTE Informatikai Kar, Babes-Bolyai Tudományegyetem, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Babes-Bolyai Tudományegyetem (2020) 201 p. pp. 70-71. , 2 p.
Közlemény:31660490 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31660490] [Nyilvános]
28.
Endre, Fülöp ; Norbert, Pataki
A Pragmatic Static Analysis Method with An Applied Model of Formalized Concurrency
In: Zoltán, Horváth; Adrian, Petruşel (szerk.) Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics
Budapest, Magyarország : ELTE Informatikai Kar, Babes-Bolyai Tudományegyetem, Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar, Babes-Bolyai Tudományegyetem (2020) 201 p. pp. 69-69. , 1 p.
Közlemény:31660484 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31660484] [Admin láttamozott]
29.
Ádám, Révész ; Norbert, Pataki
User-defined types for programming serverless applications
In: Iványi, Péter (szerk.) Abstract book for the 16th MIKLÓS IVÁNYI INTERNATIONAL PHD & DLA SYMPOSIUM
Pécs, Magyarország : Pollack Press (2020) Paper: 147 , 1 p.
Közlemény:31655003 Admin láttamozott Forrás Könyvrészlet (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Könyvrészlet) | Tudományos[31655003] [Admin láttamozott]
30.
Attila, Gyén ; Norbert, Pataki
Comprehension of thread scheduling for the C++ programming language
In: Iványi, Péter (szerk.) Abstract book for the 16th MIKLÓS IVÁNYI INTERNATIONAL PHD & DLA SYMPOSIUM
Pécs, Magyarország : Pollack Press (2020) Paper: 134 , 1 p.
Közlemény:31654997 Admin láttamozott Forrás Könyvrészlet (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Könyvrészlet) | Tudományos[31654997] [Admin láttamozott]
2024-04-26 05:25