1.
Kristóf, Marussy ; Oszkár, Semeráth ; Dániel, Varró
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 48 : 5 pp. 1610-1629. , 20 p. (2022)
DOI WoS Scopus
Közlemény:31360895 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[31360895] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
2.
Waudby, Jack ; Steer, Benjamin A. ; Karimov, Karim ; Marton, Jozsef ; Boncz, Peter ; Szarnyas, Gabor ✉
Towards Testing ACID Compliance in the LDBC Social Network Benchmark
In: Nambiar, R; Poess, M (szerk.) Performance Evaluation and Benchmarking : 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers
Cham, Svájc : Springer-Verlag (2021) 126 p. pp. 1-17. , 17 p.
DOI WoS Scopus
Közlemény:32398430 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 3 | Független: 2 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[32398430] [Nyilvános]
Nyilvános idéző összesen: 3, Független: 2, Függő: 1, Nem jelölt: 0
3.
Szabó, Tamás ; Erdweg, Sebastian ; Bergmann, Gábor
Incremental whole-program analysis in Datalog with lattices
In: Stephen, N. Freund; Eran, Yahav (szerk.) Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2021) pp. 1-15. , 15 p.
DOI WoS Scopus Egyéb URL
Közlemény:32098587 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 9 | Független: 7 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt: 4 | WoS/Scopus jelölt: 9 | DOI jelölt: 9
Konferenciaközlemény (Könyvrészlet) | Tudományos[32098587] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 7, Függő: 2, Nem jelölt: 0
4.
Oszkár, Semeráth ; Aren, A. Babikian ; Boqi, Chen ; Chuning, Li ; Kristóf, Marussy ; Gábor, Szárnyas ; Dániel, Varró
Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models
SOFTWARE AND SYSTEMS MODELING 20 : 5 pp. 1713-1734. , 22 p. (2021)
DOI WoS Scopus
Közlemény:32028274 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 6 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 2 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos[32028274] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 6, Függő: 0, Nem jelölt: 0
5.
Bergmann, Gábor ✉
Controllable and decomposable multidirectional synchronizations
SOFTWARE AND SYSTEMS MODELING 20 pp. 1735-1774. , 40 p. (2021)
DOI WoS Scopus Egyéb URL
Közlemény:31965063 Admin láttamozott 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: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[31965063] [Admin láttamozott]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
6.
Elekes, Márton ; Nagy, Attila ; Sándor, Dávid ; Antal, János Benjamin ; Davis, Timothy A. ; Szárnyas, Gábor
A GraphBLAS solution to the SIGMOD 2014 Programming Contest using multi-source BFS
In: IEEE (szerk.) 2020 IEEE High Performance Extreme Computing Conference (HPEC)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2020) pp. 1-7. , 7 p.
DOI REAL WoS Scopus Egyéb URL
Közlemény:31861479 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31861479] [Nyilvános]
7.
Nagy, Simon József ; Graics, Bence ; Marussy, Kristóf ; Vörös, András
Simulation-based Safety Assessment of High-level Reliability Models
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 316 pp. 240-260. , 21 p. (2020)
DOI Scopus Egyéb URL
Közlemény:31374125 Admin láttamozott Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[31374125] [Admin láttamozott]
8.
Kristóf, Marussy ; Oszkár, Semeráth ; Aren, A. Babikian ; Dániel, Varró
A specification language for consistent model generation based on partial models
JOURNAL OF OBJECT TECHNOLOGY 19 : 3 pp. 1-22. , 22 p. (2020)
DOI WoS Scopus
Közlemény:31361799 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[31361799] [Nyilvános]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
9.
Waudby, Jack ; Steer, Benjamin A. ; Prat-Pérez, Arnau ; Szárnyas, Gábor
Supporting Dynamic Graphs and Temporal Entity Deletions in the LDBC Social Network Benchmark's Data Generator
In: Akhil, Arora; Semih, Salihoglu; Nikolay, Yakovets (szerk.) Proceedings of the 3rd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2020) pp. 1-8. , 8 p.
DOI Scopus
Közlemény:31344297 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 3 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[31344297] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 3, Függő: 2, Nem jelölt: 0
10.
Graics, Bence ; Molnár, Vince ; Vörös, András ; Majzik, István ; Varró, Dániel
Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems
SOFTWARE AND SYSTEMS MODELING 19 pp. 1483-1517. , 35 p. (2020)
DOI WoS Scopus
Közlemény:31343505 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 11 | Független: 9 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 7 | WoS/Scopus jelölt: 9 | DOI jelölt: 11
Szakcikk (Folyóiratcikk) | Tudományos[31343505] [Nyilvános]
Nyilvános idéző összesen: 11, Független: 9, Függő: 2, Nem jelölt: 0
2024-04-27 06:18