31.
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, Megjelenés: Magyarország,
Közlemény:3177281 Admin láttamozott Forrás Egyéb (Ismertetés/Katalógus ) Tudományos
Ismertetés/Katalógus (Egyéb) | Tudományos[3177281] [Admin láttamozott]
32.
Gábor, Horváth ; Attila, Páter-Részeg ; Norbert, Pataki
Detecting Misusages of the C++ Standard Template Library (2017)
Poster at 10th International Conference on Applied Informatics, Eger, Hungary,
Közlemény:3177275 Admin láttamozott Forrás Egyéb (Ismertetés/Katalógus ) Tudományos
Ismertetés/Katalógus (Egyéb) | Tudományos[3177275] [Admin láttamozott]
33.
Gábor, Horváth ; Norbert, Pataki
Source language representation of function summaries in static analysis
In: Stefan, Marr; Eric, Jul (szerk.) Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
New York, Amerikai Egyesült Államok : ACM Press (2016) 58 p. Paper: 6 , 9 p.
DOI Scopus
Közlemény:3170466 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 17 | Független: 2 | Függő: 15 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 10 | WoS/Scopus jelölt: 11 | DOI jelölt: 13
Konferenciaközlemény (Könyvrészlet) | Tudományos[3170466] [Egyeztetett]
Nyilvános idéző összesen: 17, Független: 2, Függő: 15, Nem jelölt: 0
34.
Melinda, Simon ; Zoltán, Porkoláb ; Gábor, Horváth
Code Complexity Estimation for Java Programs
In: Valerie, Novitzka; Štefan, Korečko; Anikó, Szakál (szerk.) Proceedings of 13th International Scientific Conference on Informatics
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2015) pp. 232-235. , 4 p.
DOI Scopus
Közlemény:3068094 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[3068094] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
35.
Gábor, Horváth ; Norbert, Pataki
Clang matchers for verified usage of the C++ Standard Template Library
ANNALES MATHEMATICAE ET INFORMATICAE 44 pp. 99-109. , 11 p. (2015)
WoS Scopus Teljes dokumentum
Közlemény:2906009 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 19 | Független: 5 | Függő: 14 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 6 | WoS/Scopus jelölt: 7 | DOI jelölt: 12
Szakcikk (Folyóiratcikk) | Tudományos[2906009] [Admin láttamozott]
Nyilvános idéző összesen: 19, Független: 5, Függő: 14, Nem jelölt: 0
36.
Tamás, Cséri ; Gábor, Horváth ; Zalán, Szűgyi
Examining test coverage of C++ template metaprograms
In: The 9th International Conference on Applied Informatics : ICAI 2014
(2014) Paper: 158
Közlemény:2921302 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[2921302] [Nyilvános]
37.
Baráth, Áron ; Cséri, Tamás ; Horváth, Gábor ; Pataki, Norbert ; Porkoláb, Zoltán ; Simon, Melinda ; Szűgyi, Zalán
A projekteszközök oktatásának didaktikai kérdései
In: Kunkli, Roland; Papp, Ildikó; Rutkovszky, Edéné (szerk.) Informatika a felsőoktatásban 2014
Debrecen, Magyarország : Debreceni Egyetem Informatikai Kar (2014) pp. 566-571. , 6 p.
Közlemény:2729697 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0
Konferenciaközlemény (Könyvrészlet) | Tudományos[2729697] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
38.
Gábor, Horváth ; Gábor, Kozár ; Zalán, Szűgyi
Generating type-safe script languages from functional APIs
ACTA ELECTROTECHNICA ET INFORMATICA 13 : 4 pp. 45-50. , 6 p. (2013)
DOI
Közlemény:3179844 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[3179844] [Admin láttamozott]
2024-05-22 08:29