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 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
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
Publication:32189145 Admin approved Core Citing Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[32189145] [Admin approved]
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 City, United States of America : ACM (2021) pp. 67-72. , 6 p.
DOI Scopus Other URL
Publication:32115563 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 0 | 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: 1
Conference paper (Chapter in Book) | Scientific[32115563] [Validated]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 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
Publication:31819027 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[31819027] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 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 Other URL Other URL Other URL
Publication:31787944 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[31787944] [Validated]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 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 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]
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 (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. 70-71. , 2 p.
Publication:31660490 Published Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31660490] [Approved]
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 (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. 69-69. , 1 p.
Publication:31660484 Admin approved Core Citing Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[31660484] [Admin approved]
29.
Ádám, Révész ; Norbert, Pataki
User-defined types for programming serverless applications
In: Iványi, Péter (eds.) Abstract book for the 16th MIKLÓS IVÁNYI INTERNATIONAL PHD & DLA SYMPOSIUM
Pécs, Hungary : Pollack Press (2020) Paper: 147 , 1 p.
Publication:31655003 Admin approved Core Chapter in Book (Abstract ) Scientific
Abstract (Chapter in Book) | Scientific[31655003] [Admin approved]
30.
Attila, Gyén ; Norbert, Pataki
Comprehension of thread scheduling for the C++ programming language
In: Iványi, Péter (eds.) Abstract book for the 16th MIKLÓS IVÁNYI INTERNATIONAL PHD & DLA SYMPOSIUM
Pécs, Hungary : Pollack Press (2020) Paper: 134 , 1 p.
Publication:31654997 Admin approved Core Chapter in Book (Abstract ) Scientific
Abstract (Chapter in Book) | Scientific[31654997] [Admin approved]
2024-04-19 06:56