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
Publication:31360895 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[31360895] [Validated]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 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 (eds.) Performance Evaluation and Benchmarking : 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers
Cham, Switzerland : Springer (2021) 126 p. pp. 1-17. , 17 p.
DOI WoS Scopus
Publication:32398430 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 3 | Independent citation: 2 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[32398430] [Approved]
All citations+mentions: 3, External citations: 2, Self citations: 1, Unhandled citations: 0
3.
Szabó, Tamás ; Erdweg, Sebastian ; Bergmann, Gábor
Incremental whole-program analysis in Datalog with lattices
In: Stephen, N. Freund; Eran, Yahav (eds.) Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
New York City, United States of America : ACM (2021) pp. 1-15. , 15 p.
DOI WoS Scopus Other URL
Publication:32098587 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 9 | Independent citation: 7 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 9 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 9 | Number of citations with DOI: 9
Conference paper (Chapter in Book) | Scientific[32098587] [Validated]
All citations+mentions: 9, External citations: 7, Self citations: 2, Unhandled citations: 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
Publication:32028274 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 6 | Independent citation: 6 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 6 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 6 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[32028274] [Validated]
All citations+mentions: 6, External citations: 6, Self citations: 0, Unhandled citations: 0
5.
Bergmann, Gábor ✉
Controllable and decomposable multidirectional synchronizations
SOFTWARE AND SYSTEMS MODELING 20 pp. 1735-1774. , 40 p. (2021)
DOI WoS Scopus Other URL
Publication:31965063 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[31965063] [Admin approved]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 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 (eds.) 2020 IEEE High Performance Extreme Computing Conference (HPEC)
Piscataway (NJ), United States of America : Institute of Electrical and Electronics Engineers (2020) pp. 1-7. , 7 p.
DOI REAL WoS Scopus Other URL
Publication:31861479 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[31861479] [Approved]
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
Publication:31374125 Admin approved Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[31374125] [Admin approved]
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
Publication:31361799 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[31361799] [Approved]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 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 (eds.) Proceedings of the 3rd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)
New York City, United States of America : ACM (2020) pp. 1-8. , 8 p.
DOI Scopus
Publication:31344297 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 3 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[31344297] [Validated]
All citations+mentions: 5, External citations: 3, Self citations: 2, Unhandled citations: 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
Publication:31343505 Published Core Journal Article (Article ) Scientific
Citing papers: 11 | Independent citation: 9 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 8 | Number of citations in Scopus: 7 | WoS/Scopus assigned: 9 | Number of citations with DOI: 11
Article (Journal Article) | Scientific[31343505] [Approved]
All citations+mentions: 11, External citations: 9, Self citations: 2, Unhandled citations: 0
2024-05-08 15:44